Analysis of PDEs
See recent articles
Showing new listings for Thursday, 1 May 2025
- [1] arXiv:2504.21222 [pdf, html, other]
-
Title: Normalized solutions for nonhomogeneous Chern-Simons-Schrödinger equations with critical exponential growthSubjects: Analysis of PDEs (math.AP)
This paper investigates the existence of normalized solutions for the following Chern-Simons-Schrödinger equation: \begin{equation*}
\left\{
\begin{array}{ll}
-\Delta u+\lambda u+\left(\frac{h^{2}(\vert x\vert)}{\vert x\vert^{2}}+\int_{\vert x\vert}^{\infty}\frac{h(s)}{s}u^{2}(s)\mathrm{d}s\right)u
=\left(e^{u^2}-1\right)u+g(x), & x\in \R^2,
u\in H_r^1(\R^2),\ \int_{\R^2}u^2\mathrm{d}x=c,
\end{array}
\right.
\end{equation*}
where $c>0$, $\lambda\in \R$ acts as a Lagrange multiplier and $g\in \mathcal {C}(\mathbb{R}^2,[0,+\infty))$ satisfies suitable assumptions. In addition to the loss of compactness caused by the nonlinearity with critical exponential growth, the intricate interactions among it, the nonlocal term, and the nonhomogeneous term significantly affect the geometric structure of the constrained functional, thereby making this research particularly challenging. By specifying explicit conditions on $c$, we subtly establish a structure of local minima of the constrained functional. Based on the structure, we employ new analytical techniques to prove the existence of two solutions: one being a local minimizer and one of mountain-pass type. Our results are entirely new, even for the Schrödinger equation that is when nonlocal terms are absent. We believe our methods may be adapted and modified to deal with more constrained problems with nonhomogeneous perturbation. - [2] arXiv:2504.21249 [pdf, html, other]
-
Title: Nonhomogeneous div-curl type estimates for system of complex vector fields on local Hardy spacesComments: 17 pagesSubjects: Analysis of PDEs (math.AP)
In this work, we present a nonhomogeneous version of the classical div-curl type estimates in the setup of elliptic system of complex vector fields with constant coefficients on local Hardy space $h^1$. As an application, we obtain a decomposition of the local $bmo$ space via a family of vector fields depending on div-curl terms.
- [3] arXiv:2504.21253 [pdf, html, other]
-
Title: Regularity and classification of the free boundary for a Monge-Ampère obstacle problemComments: 48 pagesSubjects: Analysis of PDEs (math.AP)
We study convex solutions to the Monge-Ampère obstacle problem \[ \operatorname{det} D^2 v=g v^q\chi_{\{v>0\}}, \quad v \geq 0, \] where $q \in [0,n)$ is a constant and $g$ is a bounded positive function. This problem emerges from the $L_p$ Minkowski problem. We establish $C^{1, \alpha}$ regularity for the strictly convex part of the free boundary $\partial\{v=0\}$. Furthermore, when $g \in C^{\alpha}$, we prove a Schauder-type estimate. As a consequence, when $g\equiv 1$, we obtain a Liouville theorem for entire solutions with unbounded coincidence sets $\{v=0\}$. Combined with existing results, this provides a complete classification of entire solutions for the case $q=0$.
- [4] arXiv:2504.21257 [pdf, html, other]
-
Title: On the uniqueness of the quasi-geostrophic equation with the fractional LaplacianComments: 24 pagesSubjects: Analysis of PDEs (math.AP)
We consider the uniqueness of the solution of the surface quasi-geostrophic equation with fractional Laplacian. We show that the uniqueness holds in non-homogeneous Besov spaces without any additional assumption which is supposed to constract solutions. When the power of the fractional Laplacian is close to 2, we prove that the uniqueness with the regularity index $s=-1/2$. We extract the least regularity $s=-1/2$ for the well-definedness of the nonlinear term of the equation.
- [5] arXiv:2504.21258 [pdf, html, other]
-
Title: On a phase field model for binary mixtures of micropolar fluids with non-matched densities and moving contact linesComments: 40 pagesSubjects: Analysis of PDEs (math.AP)
We introduce a new phase field model for binary mixtures of incompressible micropolar fluids, which are among the simplest categories of fluids exhibiting internal rotations. The model fulfils local and global dissipation inequalities so that thermodynamic consistency is guaranteed. Our model consists of a Navier--Stokes--Cahn--Hilliard system for the fluid velocity, pressure, phase field variable and chemical potential, coupled to an additional system of Navier--Stokes type for the micro-rotation. Our model accounts for non-matched densities as well as moving contact line dynamics, and serve as a generalisation to earlier models for binary fluid flows based on a volume averaged velocity formulation. We also establish the existence of global weak solutions in three spatial dimensions for the model equipped with singular logarithmic and double obstacle potentials.
- [6] arXiv:2504.21300 [pdf, html, other]
-
Title: A decomposition lemma in convex integration via classical algebraic geometryComments: 26 pages, 2 figures. Comments are welcome!Subjects: Analysis of PDEs (math.AP); Algebraic Geometry (math.AG); Differential Geometry (math.DG)
In this paper, we introduce a decomposition lemma that allows error terms to be expressed using fewer primitive matrices than $\frac{n(n+1)}{2}$ within the convex integration scheme of constructing flexible $C^{1,\alpha}$ solutions to a system of nonlinear PDEs in dimension $n\geq 2$, which can be viewed as a kind of truncation of the codimension one local isometric embedding equation in Nash-Kuiper Theorem. This leads to flexible solutions with higher Hölder regularity, and consequently, improved very weak solutions to certain induced equations for any $n$, including Monge-Ampère systems and $2$-Hessian systems. The Hölder exponent of the solutions can be taken as any $\alpha <(n^2+1)^{-1}$ for $n=2,4,8,16$, and any $\alpha<(n^2+n-2\rho(\frac{n}{2})-1)^{-1}$ for other $n$, thereby improving the previously known bound $\alpha<(n^2+n+1)^{-1}$ for $n\geq 3$. Here, $\rho(n)$ is the Radon-Hurwitz number, which exhibits an $8$-fold periodicity on $n$ that is related to Bott periodicity.
Our arguments involve novel applications of several results from algebraic geometry and topology, including Adams' theorem on maximum linearly independent vector fields on spheres, the intersection of projective varieties, and projective duality. We also use an elliptic method ingeniously that avoids loss of differentiability. - [7] arXiv:2504.21339 [pdf, html, other]
-
Title: Note on elliptic equations on closed manifolds with singular nonlinearitiesSubjects: Analysis of PDEs (math.AP)
We consider a general elliptic equation $$ -\Delta_g u+V(x)u=f(x,u)+g(x,u^2)u $$ on a closed Riemannian manifold $(M, g)$ and utilize a recent variational approach by Hebey, Pacard, Pollack to show the existence of a nontrivial solution under general assumptions on nonlinear terms $f$ and $g$.
- [8] arXiv:2504.21365 [pdf, html, other]
-
Title: Self-sustaining traveling fronts for a model related to bushfiresComments: 39 pages, 6 figuresSubjects: Analysis of PDEs (math.AP)
This article investigates a mathematical model for bushfire propagation, focusing on the existence and properties of translating solutions. We obtain quantitative bounds on the environmental diffusion coefficient and ignition kernels, identifying conditions under which fires either propagate across the entire region or naturally extinguish.
Our analysis also reveals that vertically translating solutions do not exist, whereas traveling wave solutions with a front moving at any prescribed velocity always exist for kernels that are either of mild intensity or short range. These traveling waves exhibit unbounded profiles.
Although evolutionary unstable, these traveling waves demonstrate stability under perturbations localized in a small region. - [9] arXiv:2504.21479 [pdf, html, other]
-
Title: Shifted wave equation on noncompact symmetric spacesSubjects: Analysis of PDEs (math.AP); Functional Analysis (math.FA); Representation Theory (math.RT)
Let $G$ be a semisimple, connected, and noncompact Lie group with a finite center. We consider the Laplace-Beltrami operator $\Delta$ on the homogeneous space $G/K=S$ by a maximal compact subgroup $K$. We obtain pointwise estimates for the kernel of an oscillating function $\exp( it\sqrt{|x|}) \psi(x) $ applied to the shifted Laplacian $\Delta+|\rho|^2$, a case not available before. We obtain a polynomial decay in time of the kernel, and of the $L^{p'}-L^p$ norms of the operator, for $2<p<\infty$.
- [10] arXiv:2504.21492 [pdf, html, other]
-
Title: Global solutions to the thin obstacle problem with superquadratic growthSubjects: Analysis of PDEs (math.AP)
We study rigidity/flexibility properties of global solutions to the thin obstacle problem. For solutions with bounded positive sets, we give a classification in terms of their expansions at infinity. For solutions with bounded contact sets, we show that the contact sets are highly flexible and can approximate arbitrary compact sets.
These phenomena have no counterparts in the classical obstacle problem. - [11] arXiv:2504.21587 [pdf, html, other]
-
Title: Long time dynamics of the Cauchy problem for the predator-prey model with cross-diffusionComments: 37Subjects: Analysis of PDEs (math.AP)
This paper is concerned with a predator-prey model in $N$-dimensional spaces ($N=1, 2, 3$), given by \begin{align*}\left\{\begin{aligned} &\frac{\partial u}{\partial t}=\Delta u-\chi\nabla\cdot(u\nabla v),\\ &\frac{\partial v}{\partial t}=\Delta v+\xi\nabla\cdot(v\nabla u), \end{aligned}\right. \end{align*} which describes random movement of both predator and prey species, as well as the spatial dynamics involving predators pursuing prey and prey attempting to evade predators. It is shown that any global strong solutions of the corresponding Cauchy problem converge to zero in the sense of $L^p$-norm for any $1<p\le \infty$, and also converge to the heat kernel with respect to $L^p$-norm for any $1\le p\le \infty$. In particular, the decay rate thereof is optimal in the sense that it is consistent with that of the heat equation in $\mathbb R^N$ ($N=2, 3$). Undoubtedly, the global existence of solutions appears to be among the most challenging topic in the analysis of this model.
Indeed even in the one-dimensional setting, only global weak solutions in a bounded domain have been successfully constructed by far. Nevertheless, to provide a comprehensive understanding of the main results, we append the conclusion on the global existence and asymptotic behavior of strong solutions, although certain smallness conditions on the initial data are required. - [12] arXiv:2504.21591 [pdf, other]
-
Title: Time periodic problem of compressible Euler equations with damping on the whole spaceSubjects: Analysis of PDEs (math.AP)
In this article, time periodic problem of the compressible Euler equations with damping on the whole space is studied. It is well known that in the Euler system, long-time behavior of solutions is a more delicate problem due to lack of the viscosity. By virtue of a damping effect, time global solutions barely exist. Under such circumstances, existence of a time periodic solution is obtained for sufficiently small time periodic external force when the space dimension is greater than or equal to $3$. In addition, its stability is also obtained. The solution is asymptotically stable under sufficiently small initial perturbations and the $L^\infty$ norm of the perturbation decays as time goes to infinity. The potential theoretical estimates work well on a low frequency part of solutions, while a new energy estimate with weights is established to avoid derivative loss.
- [13] arXiv:2504.21607 [pdf, html, other]
-
Title: Optimality and stability of the radial shapes for the Sobolev trace constantComments: 3 figuresSubjects: Analysis of PDEs (math.AP)
In this work we establish the optimality and the stability of the ball for the Sobolev trace operator $W^{1,p}(\Omega)\hookrightarrow L^q(\partial\Omega)$ among convex sets of prescribed perimeter for any $1< p <+\infty$ and $1\le q\le p$. More precisely, we prove that the trace constant $\sigma_{p,q}$ is maximal for the ball and the deficit is estimated from below by the Hausdorff asymmetry. With similar arguments, we prove the optimality and the stability of the spherical shell for the Sobolev exterior trace operator $W^{1,p}(\Omega_0\setminus\overline{\Theta})\hookrightarrow L^q(\partial\Omega_0)$ among open sets obtained removing from a convex set $\Omega_0$ a suitably smooth open hole $\Theta\subset\subset\Omega_0$, with $\Omega_0\setminus\overline{\Theta}$ satisfying a volume and an outer perimeter constraint.
- [14] arXiv:2504.21613 [pdf, html, other]
-
Title: ODE and PDE models for COVID-19, with reinfection and vaccination process for Cameroon and GermanyComments: 31 pages, 30 figuresSubjects: Analysis of PDEs (math.AP)
The goal of this work is to develop and analyze a reaction-diffusion model for the transmission dynamics of the Coronavirus (COVID-19) that accounts for reinfection and vaccination, as well as to compare it to the ODE model. After developing a time-dependent ODE model, we calculate the control reproduction number $\mathcal{R}_c$ and demonstrate the global stability of the COVID-19 free equilibrium for $\mathcal{R}_c<1$. We also show that when $\mathcal{R}_c>1$, the free equilibrium of COVID-19 becomes unstable and co-exists with at least one endemic equilibrium point. We then used data from Germany and Cameroon to calibrate our model and estimate some of its characteristics. We find $\mathcal{R}_c\approx 1.13$ for Germany and $\mathcal R_c \approx 1.2554$ for Cameroon, indicating that the disease persists in both populations. Following that, we modify the prior model into a reaction-diffusion PDE model to account for spatial mobility. We show that the solutions to the final initial value boundary problem (IVBP) exist and are nonnegative and unique. We also show that the disease-free equilibrium is stable locally, and globally when $\mathcal{R}_c<1$. In contrast, when $\mathcal{R}_c>1$, the DFE is unstable and coexists with at least one endemic equilibrium point. We ran multiple numerical simulations to validate our theoretical predictions. We then compare the ODE and the PDE models.
- [15] arXiv:2504.21637 [pdf, html, other]
-
Title: On the justification of Koiter's model for elliptic membranes subjected to an interior normal compliance contact conditionSubjects: Analysis of PDEs (math.AP)
The purpose of this paper is twofold. First, we rigorously justify Koiter's model for linearly elastic elliptic membrane shells in the case where the shell is subject to a geometrical constraint modelled via a normal compliance contact condition defined in the interior of the shell. To achieve this, we establish a novel density result for non-empty, closed, and convex subsets of Lebesgue spaces, which are applicable to cases not covered by the ``density property'' established in [Ciarlet, Mardare \& Piersanti, \emph{Math. Mech. Solids}, 2019].
Second, we demonstrate that the solution to the two-dimensional obstacle problem for linearly elastic elliptic membrane shells, subjected to the interior normal compliance contact condition, exhibits higher regularity throughout its entire definition domain. A key feature of this result is that, while the transverse component of the solution is, in general, only of class $L^2$ and its trace is \emph{a priori} undefined, the methodology proposed here, partially based on [Ciarlet \& Sanchez-Palencia, \emph{J. Math. Pures Appl.}, 1996], enables us to rigorously establish the well-posedness of the trace for the transverse component of the solution by means of an \emph{ad hoc} formula. - [16] arXiv:2504.21729 [pdf, other]
-
Title: Diffusion Limit and the optimal convergence rate of the classical solution to the one-species Vlasov-Maxwell-Boltzmann systemSubjects: Analysis of PDEs (math.AP)
In the present paper, we study the diffusion limit of the strong solution to the one-species Vlasov-Maxwell-Boltzmann (VMB) system with initial data near a global Maxwellian. Based on spectral analysis techniques, we prove the convergence and establish the convergence rate of the classical solution to the VMB system towards the solution to the incompressible Navier--Stokes--Maxwell system with a precise estimation on the initial layer.
- [17] arXiv:2504.21768 [pdf, html, other]
-
Title: Steklov eigenvalues of nearly circular area-normalized domainsSubjects: Analysis of PDEs (math.AP)
We consider Steklov eigenvalues of nearly circular domains in $\R^{2}$ of fixed unitary area. In \cite{viator2018}, the authors treated such domains as perturbations of the disk, and they computed the first-order term of the asymptotic expansions of the Steklov eigenvalues for reflection-symmetric perturbations; here, we expand these first-order results beyond reflection-symmetry. We also recover the second-order asymptotic expansions, which enable us to prove that no Steklov eigenvalue beyond the first positive one is locally shape-optimized by the disk.
- [18] arXiv:2504.21830 [pdf, html, other]
-
Title: Existence of Large Boundary Layer Solutions to Inflow Problem of 1D Full Compressible Navier-Stokes EquationsComments: 17 pages, 5 figures. All comments are welcomeSubjects: Analysis of PDEs (math.AP)
We present the existence/non-existence criteria for large-amplitude boundary layer solutions to the inflow problem of the one-dimensional (1D) full compressible Navier-Stokes equations on a half line $\mathbb{R}_+$. Instead of the classical center manifold approach for the existence of small-amplitude boundary layer solutions in the previous results, the delicate global phase plane analysis, based on the qualitative theory of ODEs, is utilized to obtain the sufficient and necessary conditions for the existence/non-existence of large boundary layer solutions to the half-space inflow problem when the right end state belongs to the supersonic, transonic, and subsonic regions, respectively, which completely answers the existence/non-existence of boundary layer solutions to the half-space inflow problem of 1D full compressible Navier-Stokes equations.
New submissions (showing 18 of 18 entries)
- [19] arXiv:2504.21150 (cross-list from math.OC) [pdf, html, other]
-
Title: On feedback stabilisation for the Cahn-Hilliard equation and its numerical approximationSubjects: Optimization and Control (math.OC); Analysis of PDEs (math.AP); Numerical Analysis (math.NA)
We consider the stabilisation of solutions to the Cahn-Hilliard equation towards a given trajectory by means of a finite-dimensional static output feedback mechanism. Exponential stabilisation of the controlled state around the target trajectory is proven using careful energy estimates and a spectral condition which characterizes the strength of the feedback. The analysis is general enough to allow for pointwise and distributed measurements and actuation. The main results are derived via arguments that carry over to appropriate discretisation schemes which allows us to establish corresponding exponential stabilisation results also on the discrete level. The validity of our results and the importance of some of our assumptions are illustrated by numerical tests.
- [20] arXiv:2504.21350 (cross-list from math.PR) [pdf, html, other]
-
Title: Ergodicity for the fractional Magneto-Hydrodynamic equations driven by a degenerate pure jump noiseSubjects: Probability (math.PR); Analysis of PDEs (math.AP)
This paper is concerned with the ergodicity for stochastic 2D fractional magneto-hydrodynamic equations on the two-dimensional torus driven by a highly degenerate pure jump Lévy noise. We focus on the challenging case where the noise acts in as few as four directions, establishing new results for such high degeneracy. We first employ Malliavin calculus and anticipative stochastic calculus to demonstrate the equi-continuity of the semigroup (or so-called the e-property), and then verify the weak irreducibility of the solution process. Therefore, the uniqueness of invariant measure is proven.
- [21] arXiv:2504.21396 (cross-list from physics.ao-ph) [pdf, html, other]
-
Title: Square Root Operators and the Well-Posedness of Pseudodifferential Parabolic Models of Wave PhenomenaComments: 7 pagesSubjects: Atmospheric and Oceanic Physics (physics.ao-ph); Analysis of PDEs (math.AP); Functional Analysis (math.FA)
Pseudodifferential parabolic equations with an operator square root arise in wave propagation problems as a one-way counterpart of the Helmholtz equation. The expression under the square root usually involves a differential operator and a known function. We discuss a rigorous definition of such operator square roots and show well-posedness of the pseudodifferential parabolic equation by using the theory of strongly continuous semigroups. This provides a justification for a family of widely-used numerical methods for wavefield simulations in various areas of physics.
- [22] arXiv:2504.21597 (cross-list from math-ph) [pdf, html, other]
-
Title: Optimizing the ground state energy of the three-dimensional magnetic Dirichlet Laplacian with constant magnetic fieldComments: 19 pages, 4 figuresSubjects: Mathematical Physics (math-ph); Analysis of PDEs (math.AP); Optimization and Control (math.OC); Spectral Theory (math.SP)
This paper concerns the shape optimization problem of minimizing the ground state energy of the magnetic Dirichlet Laplacian with constant magnetic field among three-dimensional domains of fixed volume. In contrast to the two-dimensional case, a generalized ''magnetic'' Faber-Krahn inequality does not hold and the minimizers are not expected to be balls when the magnetic field is turned on. An analysis of the problem among cylindrical domains reveals geometric constraints for general minimizers. In particular, minimizers must elongate with a certain rate along the direction of the magnetic field as the field strength increases. In addition to the theoretical analysis, we present numerical minimizers which confirm this prediction and give rise to further conjectures.
- [23] arXiv:2504.21658 (cross-list from math.NA) [pdf, html, other]
-
Title: Approximation and regularity results for the Heston model and related processesSubjects: Numerical Analysis (math.NA); Analysis of PDEs (math.AP); Probability (math.PR); Computational Finance (q-fin.CP)
This Ph.D. thesis explores approximations and regularity for the Heston stochastic volatility model through three interconnected works.
The first work focuses on developing high-order weak approximations for the Cox-Ingersoll-Ross (CIR) process, essential for financial modelling but challenging due to the square root diffusion term preventing standard methods. By employing the random grid technique (Alfonsi & Bally, 2021) built upon Alfonsi's (2010) second-order scheme, the work proves that weak approximations of any order can be achieved for smooth test functions. This holds under a condition that is less restrictive than the famous Feller's one. Numerical results confirm convergence for both CIR and Heston models and show significant computational time improvements.
The second work extends the random grid technique to the log-Heston process. Two second-order schemes are introduced (one using exact volatility simulation, another using Ninomiya-Victoir splitting under a the same restriction used above). Convergence to any desired order is rigorously proven. Numerical experiments validate the schemes' effectiveness for pricing European and Asian options and suggest potential applicability to multifactor/rough Heston models.
The third work investigates the partial differential equation (PDE) associated with the log-Heston model. It extends classical solution results and establishes the existence and uniqueness of viscosity solutions without relying on the Feller condition. Uniqueness is proven even for certain discontinuous initial data, relevant for pricing instruments like digital options. Furthermore, the convergence of a hybrid numerical scheme to the viscosity solution is shown under relaxed regularity (continuity) for the initial data.
An appendix includes supplementary results for the CIR process.
Cross submissions (showing 5 of 5 entries)
- [24] arXiv:2404.17407 (replaced) [pdf, html, other]
-
Title: Interior regularity of area minimizing currents within a $C^{2,α}$-submanifoldComments: 3 figures, comments are welcomeSubjects: Analysis of PDEs (math.AP); Differential Geometry (math.DG)
Given an area-minimizing integral $m$-current in $\Sigma$, we prove that the Hausdorff dimension of the interior singular set of $T$ cannot exceed $m-2$, provided that $\Sigma$ is an embedded $(m+\bar{n})$-submanifold of $\mathbb{R}^{m+n}$ of class $C^{2,\alpha}$, where $\alpha>0$. This result establishes the complete counterpart, in the arbitrary codimension setting, of the interior regularity theory for area-minimizing integral hypercurrents within a Riemannian manifold of class $C^{2,\alpha}$.
- [25] arXiv:2405.20154 (replaced) [pdf, html, other]
-
Title: A variational analysis of nematic axisymmetric films: the covariant derivative caseSubjects: Analysis of PDEs (math.AP)
Nematic surfaces are thin fluid structures, ideally two-dimensional, endowed with an in-plane nematic order. In 2012, two variational models have been introduced by Giomi [11] and by Napoli and Vergori [29,28]. Both penalize the area of the surface and the gradient of the director: in [11] the covariant derivative of the director is considered, while [28] deals with the surface gradient. In this paper, a complete variational analysis of the model proposed by Giomi is performed for revolution surfaces spanning two coaxial rings.
- [26] arXiv:2406.11604 (replaced) [pdf, other]
-
Title: The dimension of planar elliptic measures arising from Lipschitz matrices in Reifenberg flat domainsComments: The reverse Hölder inequality in the proof of (5.11) has been replaced by standard estimates in NTA domains. Minor typos corrected. References updated. Accepted for publication in Analysis and Mathematical PhysicsSubjects: Analysis of PDEs (math.AP); Classical Analysis and ODEs (math.CA)
In this paper we show that, given a planar Reifenberg flat domain with small constant and a divergence form operator associated to a real (not necessarily symmetric) uniformly elliptic matrix with Lipschitz coefficients, the Hausdorff dimension of its elliptic measure is at most 1. More precisely, we prove that there exists a subset of the boundary with full elliptic measure and with $\sigma$-finite one-dimensional Hausdorff measure. For Reifenberg flat domains, this result extends a previous work of Thomas H. Wolff for the harmonic measure.
- [27] arXiv:2408.03557 (replaced) [pdf, html, other]
-
Title: The local complex Calderón problem. Stability in a layered medium for a special type of anisotropic admittivitySubjects: Analysis of PDEs (math.AP); Mathematical Physics (math-ph)
We deal with Calderón's problem in a layered anisotropic medium $\Omega\subset\mathbb{R}^n$, $n\geq 3$, with complex anisotropic admittivity $\sigma=\gamma A$, where $A$ is a known Lipschitz matrix-valued function.{\color{blue} We assume that the layers of $\Omega$ are fixed and known and that $\gamma$ is an unknown affine complex-valued function on each layer.} We provide Hölder and Lipschitz stability estimates of $\sigma$ in terms of an ad hoc misfit functional as well as the more classical Dirichlet to Neumann map localised on some open portion $\Sigma$ of $\partial\Omega$, respectively.
- [28] arXiv:2411.16029 (replaced) [pdf, html, other]
-
Title: Pointwise dispersive estimates for Schrodinger and wave equations in a conical singular spaceSubjects: Analysis of PDEs (math.AP); Differential Geometry (math.DG); Spectral Theory (math.SP)
We study the pointwise decay estimates for the Schrödinger and wave equations on a product cone $(X,g)$, where the metric $g=dr^2+r^2 h$ and $X=C(Y)=(0,\infty)\times Y$ is a product cone over the closed Riemannian manifold $(Y,h)$ with metric $h$. Under the assumption that the conjugate radius $\epsilon$ of $Y$ satisfies $\epsilon>\pi$, we prove the pointwise dispersive estimates for the Schrödinger and half-wave propagator in this setting. The key ingredient is the modified Hadamard parametrix on $Y$ in which the role of the conjugate points does not come to play if $\epsilon>\pi$. In a work in progress, we will further study the case that $\epsilon\leq\pi$ in which the role of conjugate points come. A new finding is that a threshold of the conjugate radius of $Y$ for $L^p$-estimates in this setting is the magical number $\pi$.
- [29] arXiv:2501.01976 (replaced) [pdf, html, other]
-
Title: The radiative transport equation with waiting time and its diffusion approximation with a time-fractional derivativeSubjects: Analysis of PDEs (math.AP); Fluid Dynamics (physics.flu-dyn)
Albeit the past intensive research, the governing equation of anomalous diffusion which is observed for the transport of particles underground is still an open problem. In this paper, as a governing equation, the advection-diffusion equation with a time-fractional derivative term is derived from the radiative transport equation with an integral term for waiting time.
- [30] arXiv:2501.05083 (replaced) [pdf, html, other]
-
Title: Existence and multiplicity of solutions for a critical Kirchhoff type elliptic equation with a logarithmic perturbationComments: In the new version, we have made minor revisions to the paper and provided a detailed proof of Lemma 3.4Subjects: Analysis of PDEs (math.AP)
In this paper, we are interested in the following critical Kirchhoff type elliptic equation with a logarithmic perturbation \begin{equation}\label{eq0} \begin{cases} -\left(1+b\int_{\Omega}|\nabla{u}|^2\mathrm{d}x\right) \Delta{u}=\lambda u+\mu u\log{u^2}+|u|^{2^{*}-2}u, &x\in\Omega,\\ u=0,&x\in\partial\Omega, \end{cases} \end{equation} where $\Omega$ is a bounded domain in $\mathbb{R}^{N}(N\geq3)$ with smooth boundary $\partial \Omega$, $b$, $\lambda$ and $\mu$ are parameters and $2^{*}=\frac{2N}{N-2}$ is the critical Sobolev exponent. The presence of a nonlocal term, together with a critical nonlinearity and a logarithmic term, prevents to apply in a straightforward way the classical critical point theory. Moreover, the geometry structure of the energy functional changes as the space dimension $N$ varies, which has a crucial influence on the existence of solutions to the problem. On the basis of some careful analysis on the structure of the energy functional, existence and (or) multiplicity results are obtained by using variational methods. More precisely, if $N=3$, problem (0.1) admits a local minimum solution, a ground state solution and a sequence of solutions with their $H_0^1(\Omega)$-norms converging to $0$. If $N=4$, the existence of infinitely many solutions is also obtained. When $N\geq5$, problem (0.1) admits a local minimum solution with negative energy. Sufficient conditions are also derived for the local minimum solution to be a ground state solution.
- [31] arXiv:2502.03735 (replaced) [pdf, html, other]
-
Title: On various models describing behaviour of thermoviscoelastic rate-type fluidsSubjects: Analysis of PDEs (math.AP)
Viscoelastic rate-type fluid models are essential for describing the behavior of a wide range of complex materials, with applications in fields such as engineering, biomaterials, and medicine. These models are particularly useful for understanding the rheological properties of materials that exhibit both elastic and viscous behavior under deformation. However, many real-world applications involve significant thermal effects, where heat conduction and the temperature dependence of material properties must also be considered. In this paper, we introduce a thermodynamically consistent model for heat-conducting viscoelastic rate-type fluids and establish the existence of a global weak solution in a two-dimensional setting. The result holds under the condition that the initial energy and entropy are controlled in appropriate natural norms.
- [32] arXiv:2503.12606 (replaced) [pdf, html, other]
-
Title: Strichartz estimates for a class of Schrödinger equations with a driftComments: The content of the paper remains unchanged from version one; only the order of the sections has been modifiedSubjects: Analysis of PDEs (math.AP)
We establish new intrinsic Strichartz estimates for solutions of the Cauchy problem for a class of possibly degenerate Schrödinger equations with a real drift.
- [33] arXiv:2503.14676 (replaced) [pdf, html, other]
-
Title: An Inverse Problem for symmetric hyperbolic Partial Differential Operators on Complete Riemannian ManifoldsComments: 44 pages, 2 figuresSubjects: Analysis of PDEs (math.AP); Differential Geometry (math.DG); Spectral Theory (math.SP)
We show that a complete Riemannian manifold, as well as time independent smooth lower order terms appearing in a first order symmetric perturbation of a Riemannian wave operator can be uniquely recovered, up to the natural obstructions, from a local source to solution map of the respective hyperbolic initial value problem. Our proofs are based on an adaptation of the classical Boundary Control method (BC-method) originally developed by Belishev and Kurylev. The BC-method reduces the PDE-based problem to a purely geometric problem involving the so-called travel time data. For each point in the manifold the travel time data contains the distance function from this point to any point in a fixed \textit{a priori} known compact observation set. It is well known that this geometric problem is solvable. The main novelty of this paper lies in our strategy to recover the lower order terms via a further adaptation of the BC-method.
- [34] arXiv:2504.01674 (replaced) [pdf, other]
-
Title: Classification of the minimal-mass blowup solutions to the two dimensional focusing cubic nonlinear Schrödinger systemSubjects: Analysis of PDEs (math.AP)
In this article, we study the two dimensional focusing finitely and infinitely coupled cubic nonlinear Schrödinger system when the mass is equal to the scattering threshold. For the focusing finitely coupled cubic nonlinear Schrödinger system, we present a complete classification of minimal-mass blowup solutions. Specifically, we demonstrate that all such solutions must be either solitons or their pseudo-conformal transformations. To prove this result, we develop a modulation analysis that accounts for multi-component interactions to overcome the multiply phase transformations caused by the multi-component. A long time Strichartz estimate for vector-valued solutions is established to solve the difficulty posed by the Galilean transformations and spatial translation, where a new vector-valued bilinear estimate is proven to address the challenges caused by the coupled nonlinear interaction. For the infinitely coupled focusing nonlinear Schrödinger system when the mass is equal or slightly above the scattering threshold in \cite{CGHY}, we show that scattering is the only dynamical behavior of the solutions to the infinitely coupled system.
- [35] arXiv:2504.16687 (replaced) [pdf, other]
-
Title: Non-uniqueness of (Stochastic) Lagrangian Trajectories for Euler EquationsComments: 76 pages, 1 figureSubjects: Analysis of PDEs (math.AP); Mathematical Physics (math-ph); Probability (math.PR)
We are concerned with the (stochastic) Lagrangian trajectories associated with Euler or Navier-Stokes equations. First, in the vanishing viscosity limit, we establish sharp non-uniqueness results for positive solutions to transport equations advected by weak solutions of the 3D Euler equations that exhibit kinetic energy dissipation with $C_{t,x}^{1/3-}$ regularity. As a corollary, in conjunction with the superposition principle, this yields the non-uniqueness of associated (deterministic) Lagrangian trajectories. Second, in dimension $d\geq2$, for any $\frac{1}{p}+\frac{1}{r}>1$ or $p\in(1,2),r=\infty$, we construct solutions to the Euler or Navier-Stokes equations in the space $L_t^rL^p\cap L_t^1W^{1,1}$, demonstrating that the associated (stochastic) Lagrangian trajectories are not unique. Our result is sharp in 2D in the sense that: (1) in the stochastic case, for any vector field $v\in C_tL^p$ with $p>2$, the associated stochastic Lagrangian trajectory associated with $v$ is unique (see \cite{KR05}); (2) in the deterministic case, the LPS condition guarantees that for any weak solution $v\in C_tL^p$ with $p>2$ to the Navier-Stokes equations, the associated (deterministic) Lagrangian trajectory is unique. Our result is also sharp in dimension $d\geq2$ in the sense that for any divergence-free vector field $v\in L_t^1W^{1,s}$ with $s>d$, the associated (deterministic) Lagrangian trajectory is unique (see \cite{CC21}).
- [36] arXiv:2504.20753 (replaced) [pdf, html, other]
-
Title: Vladimirov-Pearson Operators on $ζ$-regular Ultrametric Cantor SetsComments: 15 pages. v2 has typo in References correctedSubjects: Analysis of PDEs (math.AP); Probability (math.PR)
A new operator for certain types of ultrametric Cantor sets is constructed using the measure coming from the spectral triple associated with the Cantor set, as well as its zeta function. Under certain mild conditions on that measure, it is shown that it is an integral operator similar to the Vladimirov-Taibleson operator on the p-adic integers. Its spectral properties are studied, and the Markov property and kernel representation of the heat kernel generated by this so-called \emph{Vladimirov-Pearson} operator is shown, viewed as acting on a certain Sobolev space. A large class of these operators have a heat kernel and a Green function explicitly given by the ultrametric wavelets on the Cantor set, which are eigenfunctions of the operator.
- [37] arXiv:1911.05562 (replaced) [pdf, other]
-
Title: Stochastic Lagrangian Flows for SDEs with rough coefficientsComments: Theorem 2.4 presents a result that is, to some extent, already known in the literature, and the proof of Theorem 5.1 contains some errorsSubjects: Probability (math.PR); Analysis of PDEs (math.AP)
We prove the existence and uniqueness of Stochastic Lagrangian Flows and almost everywhere Stochastic Flows for non-degenearted SDEs with rough coefficients. As an application of our main result, we show that there exists a unique Stochastic Flow corresponding to each Leray-Hopf solution of 3D Navier-Stokes equation in the DiPerna-Lions sense.
- [38] arXiv:2201.04705 (replaced) [pdf, html, other]
-
Title: Analysis of the Anderson operatorComments: Big revision to make the exposition smootherSubjects: Probability (math.PR); Mathematical Physics (math-ph); Analysis of PDEs (math.AP)
We consider the continuous Anderson operator $H=\Delta+\xi$ on a two dimensional closed Riemannian manifold $\mathcal{S}$. We provide a short self-contained functional analysis construction of the operator as an unbounded operator on $L^2(\mathcal{S})$ and give almost sure spectral gap estimates under mild geometric assumptions on the Riemannian manifold. We prove a sharp Gaussian small time asymptotic for the heat kernel of $H$ that leads amongst others to strong norm estimates for quasimodes. We introduce a new random field, called Anderson Gaussian free field, and prove that the law of its random partition function characterizes the law of the spectrum of $H$. We also give a simple and short construction of the polymer measure on path space and relate the Wick square of the Anderson Gaussian free field to the occupation measure of a Poisson process of loops of polymer paths. We further prove large deviation results for the polymer measure and its bridges.
- [39] arXiv:2307.03312 (replaced) [pdf, html, other]
-
Title: Reconstruction of anisotropic stiffness tensors from partial data around one polarizationComments: Substantial Revision. 39 pages, 4 figures. Computer Code included in the ancillary files folderSubjects: Differential Geometry (math.DG); Algebraic Geometry (math.AG); Analysis of PDEs (math.AP)
We study inverse problems in anisotropic elasticity using tools from algebraic geometry. The singularities of solutions to the elastic wave equation in dimension $n$ with an anisotropic stiffness tensor have propagation kinematics captured by so-called slowness surfaces, which are hypersurfaces in the cotangent bundle of $\mathbb{R}^n$ that turn out to be algebraic varieties. Leveraging the algebraic geometry of families of slowness surfaces we show that, for tensors in a dense open subset in a space of anisotropic two-dimensional stiffness tensors, a small amount of data around one polarization in an individual slowness surface uniquely determines the entire slowness surface and its stiffness tensor. In three dimensions, for generic orthorhombic and monoclinic stiffness tensors, a small number of anomalous companions give rise to the same slowness surface; nevertheless, we conjecture that in the most anisotropic setting (triclinic) the tensor is unique, as in two dimensions. The partial data needed to determine a tensor arises naturally from seismological measurements or geometrized versions of seismic inverse problems. Additionally, we explain how the reconstruction of the stiffness tensor can be carried out effectively, using Gröbner bases. Our uniqueness or finiteness results fail for symmetric materials (e.g., fully isotropic), evidencing the counterintuitive claim that inverse problems in elasticity can become more tractable with increasing asymmetry.
- [40] arXiv:2410.08910 (replaced) [pdf, html, other]
-
Title: Convergence Analysis of a Schrodinger Problem with Moving BoundaryDaniel G. Alfaro Vigo (1 and 2), Daniele C.R. Gomes (2), Bruno A. do Carmo (2), Mauro A. Rincon (1 and 2) ((1) Institute of Computing, Federal University of Rio de Janeiro, Rio de Janeiro, Brazil, (2) Graduate Program in Informatics, Federal University of Rio de Janeiro, Rio de Janeiro, Brazil)Subjects: Numerical Analysis (math.NA); Analysis of PDEs (math.AP)
In this article, we present the mathematical analysis of the convergence of the linearized Crank-Nicolson Galerkin method for a nonlinear Schrodinger problem related to a domain with a moving boundary. The convergence analysis of the numerical method is carried out for both semi-discrete and fully discrete problems. An optimal error estimate in the $L^2$-norm with order ${O}(\tau^2+ h^s),~ 2\leq s\leq r$, where $h$ is the finite element mesh size parameter, $\tau$ is the time step, and $r-1$ represents the degree of the finite element polynomial basis. Numerical simulations are provided to confirm the consistency between theoretical and numerical results, validating the method and the order of convergence for different degrees $p\geq 1$ of the Lagrange polynomials and also for Hermite polynomials (degree $p=3$), which form the basis of the approximate solution.
- [41] arXiv:2504.14697 (replaced) [pdf, other]
-
Title: Quantitative Clustering in Mean-Field Transformer ModelsComments: 48 pages, 4 figuresSubjects: Machine Learning (cs.LG); Analysis of PDEs (math.AP); Dynamical Systems (math.DS); Machine Learning (stat.ML)
The evolution of tokens through a deep transformer models can be modeled as an interacting particle system that has been shown to exhibit an asymptotic clustering behavior akin to the synchronization phenomenon in Kuramoto models. In this work, we investigate the long-time clustering of mean-field transformer models. More precisely, we establish exponential rates of contraction to a Dirac point mass for any suitably regular initialization under some assumptions on the parameters of transformer models, any suitably regular mean-field initialization synchronizes exponentially fast with some quantitative rates.