No Arabic abstract
We develop a gradient-flow framework based on the Wasserstein metric for a parabolic moving-boundary problem that models crystal dissolution and precipitation. In doing so we derive a new weak formulation for this moving-boundary problem and we show that this formulation is well-posed. In addition, we develop a new uniqueness technique based on the framework of gradient flows with respect to the Wasserstein metric. With this uniqueness technique, the Wasserstein framework becomes a complete well-posedness setting for this parabolic moving-boundary problem.
Within the framework of variational modelling we derive a one-phase moving boundary problem describing the motion of a semipermeable membrane enclosing a viscous liquid, driven by osmotic pressure and surface tension of the membrane. For this problem we prove the existence of classical solutions for a short time.
We prove the local well-posedness in Sobolev spaces of the free-boundary problem for compressible inviscid resistive isentropic MHD system under the Rayleigh-Taylor physical sign condition, which describes the motion of a free-boundary compressible plasma in an electro-magnetic field with magnetic diffusion. We use Lagrangian coordinates and apply the tangential smoothing method introduced by Coutand-Shkoller to construct the approximation solutions. One of the key observations is that the Christodoulou-Lindblad type elliptic estimate together with magnetic diffusion not only gives the common control of magnetic field and fluid pressure directly, but also controls the Lorentz force which is a higher order term in the energy functional.
We consider a two-phase elliptic-parabolic moving boundary problem modelling an evaporation front in a porous medium. Our main result is a proof of short-time existence and uniqueness of strong solutions to the corresponding nonlinear evolution problem in an $L_{p}$-setting. It relies critically on nonstandard optimal regularity results for a linear elliptic-parabolic system with dynamic boundary condition.
In this note we consider a quantum mechanical particle moving inside an infinitesimally thin layer constrained by a parabolic well in the $x$-direction and, moreover, in the presence of an impurity modelled by an attractive Gaussian potential. We investigate the Birman-Schwinger operator associated to a model assuming the presence of a Gaussian impurity inside the layer and prove that such an integral operator is Hilbert-Schmidt, which allows the use of the modified Fredholm determinant in order to compute the bound states created by the impurity. Furthermore, we consider the case where the Gaussian potential degenerates to a $delta$-potential in the $x$-direction and a Gaussian potential in the $y$-direction. We construct the corresponding self-adjoint Hamiltonian and prove that it is the limit in the norm resolvent sense of a sequence of corresponding Hamiltonians with suitably scaled Gaussian potentials. Satisfactory bounds on the ground state energies of all Hamiltonians involved are exhibited.
We consider the model of a quantum harmonic oscillator governed by a Lindblad master equation where the typical drive and loss channels are multi-photon processes instead of single-photon ones; this implies a dissipation operator of order 2k with integer k>1 for a k-photon process. We prove that the corresponding PDE makes the state converge, for large time, to an invariant subspace spanned by a set of k selected basis vectors; the latter physically correspond to so-called coherent states with the same amplitude and uniformly distributed phases. We also show that this convergence features a finite set of bounded invariant functionals of the state (physical observables), such that the final state in the invariant subspace can be directly predicted from the initial state. The proof includes the full arguments towards the well-posedness of the corresponding dynamics in proper Banach spaces of Hermitian trace-class operators equipped with adapted nuclear norms. It relies on the Hille-Yosida theorem and Lyapunov convergence analysis.