Results 11 to 20 of about 177 (94)
A Perspective on Interactive Theorem Provers in Physics
Into an interactive theorem provers (ITPs), one can write mathematical definitions, theorems and proofs, and the correctness of those results is automatically checked. This perspective goes over the best usage of ITPs within physics and motivates the open‐source community run project PhysLean, the aim of which is to be a library for digitalized physics
Joseph Tooby‐Smith
wiley +1 more source
Symmetry‐Imposed Selection Rules for Excitations of Nontrivial Plasmonic Topologies
A unified group‐theory selection rule governs the excitation of vectorial nearfield topologies across three plasmonic spin states. Derived from first principles, it predicts spin–orbit vortex splitting and multidimensional nested vortices, confirmed by phase‐resolved in situ measurements.
Jie Yang +14 more
wiley +1 more source
Abstract The linear‐quadratic regulator (LQR) problem of optimal control of an uncertain discrete‐time linear system (DTLS) is revisited in this paper from the perspective of Tikhonov regularization. We show that an optimally chosen regularization parameter reduces, compared to the classical LQR, the values of a scalar error function, as well as the ...
Fernando Pazos, Amit Bhaya
wiley +1 more source
Stability of Viscous Three‐Dimensional Stratified Couette Flow via Dispersion and Mixing
ABSTRACT This article explores the stability of stratified Couette flow in the viscous 3d$3d$ Boussinesq equations. In this system, mixing effects arise from the shearing background, and gravity acts as a restoring force leading to dispersive internal gravity waves.
Michele Coti Zelati +2 more
wiley +1 more source
Immersed Boundary Projection Method for Boundaries With Slip Velocities
A formulation of the immersed boundary method for incompressible flow over arbitrarily‐shaped bodies with surface slip described by the Navier boundary condition is presented. The wall slip velocity and the boundary force are determined implicitly through a projection to satisfy both the boundary condition and the divergence‐free condition of the ...
Takehiro Fujii, Takeshi Omori
wiley +1 more source
Theory of Supercritical Coupling and Generalized Bound States in the Continuum
We develop a general theory of supercritical coupling and generalized bound states in the continuum (gBICs), revealing how interference between radiative and absorptive channels enables quality factors beyond conventional material‐loss limits. The framework unifies non‐Hermitian mode coupling, causality‐driven reactive interactions, and interference ...
Sergio Balestrieri +3 more
wiley +1 more source
ABSTRACT The well‐posedness results for mild solutions to the fractional neutral stochastic differential system with Rosenblatt process with Hurst index Ĥ∈12,1$$ \hat{H}\in \left(\frac{1}{2},1\right) $$ is discussed in this article. To demonstrate the results, the concept of bounded integral contractors is combined with the stochastic result and ...
Dimplekumar N. Chalishajar +3 more
wiley +1 more source
New views of some invariants associated with the Cartesian 2D velocity gradient tensor
Vorticity and divergence of horizontal flow are fundamental quantities in meteorology; both are linear functions of the four elements of the 2D velocity gradient tensor and both are formally unchanged under coordinate rotation. We explore four quadratic functions of the elements that are geometrically invariant in this sense, finding some novel ...
I. Roulstone, S. A. Clough, A. A. White
wiley +1 more source
A Note on Local Polynomial Regression for Time Series in Banach Spaces
ABSTRACT This work extends local polynomial regression to Banach space‐valued time series for estimating smoothly varying means and their derivatives in non‐stationary data. The asymptotic properties of both the standard and bias‐reduced Jackknife estimators are analyzed under mild moment conditions, establishing their convergence rates.
Florian Heinrichs
wiley +1 more source
Measure‐valued processes for energy markets
Abstract We introduce a framework that allows to employ (non‐negative) measure‐valued processes for energy market modeling, in particular for electricity and gas futures. Interpreting the process' spatial structure as time to maturity, we show how the Heath–Jarrow–Morton approach can be translated to this framework, thus guaranteeing arbitrage free ...
Christa Cuchiero +3 more
wiley +1 more source

