Analysis of PDEs

Date: Wed, 8 May 2024 | Total: 25

#1 Harnack inequality for parabolic equations in double-divergence form with singular lower order coefficients [PDF] [Copy] [Kimi]

Authors: Istvan Gyöngy ; Seick Kim

This paper investigates the Harnack inequality for nonnegative solutions to second-order parabolic equations in double divergence form. We impose conditions where the principal coefficients satisfy the Dini mean oscillation condition in $x$, while the drift and zeroth-order coefficients belong to specific Morrey classes. Our analysis contributes to advancing the theoretical foundations of parabolic equations in double divergence form, including Fokker-Planck-Kolmogorov equations for probability densities.

#2 Nonlinear Landau damping and wave operators in sharp Gevrey spaces [PDF] [Copy] [Kimi]

Authors: A. D. Ionescu ; B. Pausader ; X. Wang ; K. Widmayer

We prove nonlinear Landau damping in optimal weighted Gevrey-3 spaces for solutions of the confined Vlasov-Poisson system on $\T^d\times\R^d$ which are small perturbations of homogeneous Penrose-stable equilibria. We also prove the existence of nonlinear scattering operators associated to the confined Vlasov-Poisson evolution, as well as suitable injectivity properties and Lipschitz estimates (also in weighted Gevrey-3 spaces) on these operators. Our results give definitive answers to two well-known open problems in the field, both of them stated in the recent review of Bedrossian [4, Section 6].

#3 Derivation of kinetic and diffusion equations from a hard-sphere Rayleigh gas using collision trees and semigroups [PDF] [Copy] [Kimi]

Authors: Karsten Matthies ; Theodora Syntaka

We will revisit the classical questions of understanding the statistics of various deterministic dynamics of $N$ hard spheres of diameter $\varepsilon$ with random initial data in the Boltzmann-Grad scaling as $\varepsilon$ tends to zero and $N$ tends to infinity. The convergence of the empiric particle dynamics to the Boltzmann-type dynamics is shown using semigroup methods to describe probability measures on collision trees associated to physical trajectories in the case of a Rayleigh gas. As an application we derive the diffusion equation by a further rescaling.

#4 Boundary unique continuation in planar domains by conformal mapping [PDF] [Copy] [Kimi]

Author: Stefano Vita

Let $\Omega\subset\mathbb R^2$ be a chord arc domain with small constant. We show that a nontrivial harmonic function which vanishes continuously on a relatively open set of the boundary cannot have the norm of the gradient which vanishes on a subset of positive surface measure (arc length). This result was previously known to be true, and conjectured in higher dimensions by Lin, in Lipschitz domains. Let now $\Omega\subset\mathbb R^2$ be a $C^1$ domain with Dini mean oscillations. We prove that a nontrivial harmonic function which vanishes continuously on a relatively open subset of the boundary $\partial\Omega\cap B_1$ has a finite number of critical points in $\overline\Omega\cap B_{1/2}$. The latter improves some recent results by Kenig and Zhao. Our technique involves a conformal mapping which moves the boundary where the harmonic function vanishes into an interior nodal line of a new harmonic function, after a further reflection. Then, size estimates of the critical set - up to the boundary - of the original harmonic function can be understood in terms of estimates of the interior critical set of the new harmonic function and of the critical set - up to the boundary - of the conformal mapping.

#5 Overdetermined elliptic problems in nontrivial exterior domains of the hyperbolic space [PDF] [Copy] [Kimi]

Authors: Guowei Dai ; Pieralberto Sicbaldi ; Yong Zhang

We construct nontrivial unbounded domains $\Omega$ in the hyperbolic space $\mathbb{H}^N$, $N \in \{2,3,4\}$, bifurcating from the complement of a ball, such that the overdetermined elliptic problem \begin{equation} -\Delta_{\mathbb{H}^N} u+u-u^p=0\,\, \text{in}\,\,\Omega, \,\, u=0,\,\,\partial_\nu u=\text{const}\,\,\text{on}\,\,\partial\Omega\nonumber \end{equation} has a positive bounded solution in $C^{2,\alpha}\left(\Omega\right) \cap H^1\left(\Omega\right)$. We also give a condition under which this construction holds for larger dimensions $N$. This is linked to the Berestycki-Caffarelli-Nirenberg conjecture on overdetermined elliptic problems, and, as far as we know, is the first nontrivial example of solution to an overdetermined elliptic problem in the hyperbolic space.

#6 Stress solution of static linear elasticity with mixed boundary conditions via adjoint linear operators [PDF] [Copy] [Kimi]

Authors: Ivan Gudoshnikov ; Michal Křížek

We revisit stress problems in linear elasticity to provide a perspective from the geometrical and functionalanalytic points of view. For the static stress problem of linear elasticity with mixed boundary conditions we write the associated pair of unbounded adjoint operators. The stress solution is found as an intersection of affine translations of the fundamental subspaces of the adjoint operators. In particular, we treat the equilibrium equation in the operator form, involving spaces of traces on a part of the boundary, known as Lions-Magenes spaces. Our analysis of the pair of adjoint operators for the problem with mixed boundary conditions relies on the properties of the analogous pair of operators for the problem with the displacement boundary conditions, which we also include in the paper.

#7 Time-asymptotics of a heated string [PDF] [Copy] [Kimi]

Authors: Piotr Michał Bies ; Tomasz Cieślak

In the present paper, we study a model of a thermoelastic string that is initially heated. We classify all the possible asymptotic states when time tends to infinity of such a model. Actually, we show that whatever the initial data is, a heated string must converge to a flat, steady string with uniformly distributed heat. The latter distribution is calculated from the energy conservation. In order to obtain the result, we need to take a few steps. In the first two steps, time-independent bounds from above and from below (by a positive constant) of the temperature are obtained. This is done via the Moser-like iteration. The lower bound is obtained via the Moser iteration on the negative part of the logarithm of temperature. In the third step, we obtain a time-independent higher-order estimate, which yields compactness of a sequence of the values of the solution when time tends to infinity. Here, an estimate involving the Fisher information of temperature, together with a recent functional inequality from \cite{CFHS} and an $L^2(L^2)$ estimate of the gradient of entropy, enable us to arrive at a tricky Gr\"{o}nwall type inequality. Finally, in the last steps, we define the dynamical system on a proper functional phase space and study its $\omega$-limit set. To this end, we use, in particular, the quantitative version of the second principle of thermodynamics. Also, the entropy dissipation term and the bound of the entropy from below are useful when identifying the structure of the $\omega$-limit set.

#8 On the existence and uniqueness of weak solutions to elliptic equations with a singular drift [PDF] [Copy] [Kimi]

Authors: Misha Chernobai ; Tim Shilkin

In this paper we study the Dirichlet problem for a scalar elliptic equation in a bounded Lipschitz domain $\Omega \subset \mathbb R^3$ with a singular drift of the form $b_0= b-\alpha \frac {x'}{|x'|^2}$ where $x'=(x_1,x_2,0)$, $\alpha \in \mathbb R$ is a parameter and $b$ is a divergence free vector field having essentially the same regularity as the potential part of the drift. Such drifts naturally arise in the theory of axially symmetric solutions to the Navier-Stokes equations. For $\alpha <0$ the divergence of such drifts is positive which potentially can ruin the uniqueness of solutions. Nevertheless, for $\alpha<0$ we prove existence and H\"older continuity of a unique weak solution which vanishes on the axis $\Gamma:=\{ ~x\in \mathbb R^3:~|x'|=0~\}$.

#9 Multiplicity results for critical fractional Ambrosetti-Prodi type system with nonlinearities interacting with the spectrum [PDF] [Copy] [Kimi]

Authors: Eduardo. H. Caqui ; Sandra M. de S. Lima ; Fábio R. Pereira

We investigated the existence of solutions for a class of Ambrosetti-Prodi type systems involving the fractional Laplacian operator and with nonlinearities reaching critical growth and interacting, in some sense, with the spectrum of the operator. The resonant case in $\lambda_{k,s}$ for $k>1$ is also investigated.

#10 Dynamics of an epidemic model with nonlocal di?usion and a free boundary [PDF] [Copy] [Kimi]

Authors: Lei Li ; Mingxin Wang

An epidemic model, where the dispersal is approximated by nonlocal diffusion operator and spatial domain has one ?xed boundary and one free boundary, is considered in this paper. Firstly, using some elementary analysis instead of variational characterization, we show the existence and asymptotic behaviors of the principal eigenvalue of a cooperative system which can be used to characterize more epidemic models, not just ours. Then we study the existence, uniqueness and stability of a related steady state problem. Finally, we obtain a rather complete understanding for long time behaviors, spreading-vanishing dichotomy, criteria for spreading and vanishing, and spreading speed. Particularly, we prove that the asymptotic spreading speed of solution component (u; v) is equal to the spreading speed of free boundary which is ?nite if and only if a threshold condition holds for kernel functions.

#11 Two uniqueness results in the inverse boundary value problem for the weighted p-Laplace equation [PDF] [Copy] [Kimi]

Authors: Cătălin I. Cârstea ; Ali Feizmohammadi

In this paper we prove a general uniqueness result in the inverse boundary value problem for the weighted p-Laplace equation in the plane, with smooth weights. We also prove a uniqueness result in dimension 3 and higher, for real analytic weights that are subject to a smallness condition on one of their directional derivatives. Both results are obtained by linearizing the equation at a solution without critical points. This unknown solution is then recovered, together with the unknown weight.

#12 Existence and dynamical behaviour of vectorial standing waves with prescribed mass for Hartree-Fock type systems [PDF] [Copy] [Kimi]

Authors: Shuai Yao ; Juntao Sun ; Tsung-fang Wu

In this paper, we investigate vectorial standing waves with prescribed mass for the Hartree-Fock type system (HF system) with the double coupled feature. Such system is viewed as an approximation of the Coulomb system with two particles appeared in quantum mechanics. By exploring the interaction of the double coupled terms, we prove the exis?tence/nonexistence and symmetry of vectorial energy ground states for the corresponding stationary problem. Furthermore, we obtain the relation between vectorial energy ground states and vectorial action ground states in some cases. Finally, we establish conditions for global well-posedness and finite time blow-up to HF system with the initial data, and prove orbital stability/strong instability of standing waves.

#13 Weak and Perron's Solutions to Linear Kinetic Fokker-Planck Equations of Divergence Form in Bounded Domains [PDF] [Copy] [Kimi]

Authors: Benny Avelin ; Mingyi Hou

In this paper, we investigate weak solutions and Perron-Wiener-Brelot solutions to the linear kinetic Fokker-Planck equation in bounded domains. We establish the existence of weak solutions by applying the Lions-Lax-Milgram theorem and the vanishing viscosity method in product domains. Additionally, we demonstrate the regularity of weak solutions and establish a strong maximum principle. Furthermore, we construct a Perron solution and provide examples of barriers in arbitrary bounded domains. Our findings are based on recent advancements in the theory of kinetic Fokker-Planck equations with rough coefficients, particularly focusing on the characterization of a weaker notion of trace defined through convolution-translation.

#14 On the uniqueness of the mild solution of the critical quasi-geostrophic equation [PDF] [Copy] [Kimi]

Authors: Tsukasa Iwabuchi ; Taiki Okazaki

We demonstrate that the uniqueness of the mild solution of the two-dimensional quasi-geostrophic equation with the critical dissipation holds in the scaling critical homogeneous Besov space $\dot{B}^0_{\infty,1}$. We consider a solustion of integral equation, and our result does not need regularity assumption.

#15 Inhomogeneous wave kinetic equation and its hierarchy in polynomially weighted $L^\infty$ spaces [PDF] [Copy] [Kimi]

Authors: Ioakeim Ampatzoglou ; Joseph K. Miller ; Nataša Pavlović ; Maja Tasković

Inspired by ideas stemming from the analysis of the Boltzmann equation, in this paper we expand well-posedness theory of the spatially inhomogeneous 4-wave kinetic equation, and also analyze an infinite hierarchy of PDE associated with this nonlinear equation. More precisely, we show global in time well-posedness of the spatially inhomogeneous 4-wave kinetic equation for polynomially decaying initial data. For the associated infinite hierarchy, we construct global in time solutions using the solutions of the wave kinetic equation and the Hewitt-Savage theorem. Uniqueness of these solutions is proved by using a combinatorial board game argument tailored to this context, which allows us to control the factorial growth of the Dyson series.

#16 Non-preservation of concavity properties by the Dirichlet heat flow on Riemannian manifolds [PDF] [Copy] [Kimi]

Authors: Kazuhiro Ishige ; Asuka Takatsu ; Haruto Tokunaga

We prove that no concavity properties are preserved by the Dirichlet heat flow in a totally convex domain of a Riemannian manifold unless the sectional curvature vanishes everywhere on the domain.

#17 Stability of traveling waves in non-cooperative systems with nonlocal dispersal of equal diffusivities [PDF] [Copy] [Kimi]

Authors: Jong-Shenq Guo ; Masahiko Shimojo

In this work, we first prove a stability theorem for traveling waves in a class of non-cooperative reaction-diffusion systems with nonlocal dispersal of equal diffusivities. Our stability criterion is in the sense that the initial perturbation is such that a suitable weighted relative entropy function is bounded and integrable. Then we apply our main theorem to derive the stability of traveling waves for some specific examples of non-cooperative systems arising in ecology and epidemiology.

#18 Nonlinear Schrödinger-Poisson systems in dimension two: the zero mass case [PDF] [Copy] [Kimi]

Authors: Federico Bernini ; Giulio Romani ; Cristina Tarsi

We provide an existence result for a Schr\"odinger-Poisson system in gradient form, set in the whole plane, in the case of zero mass. Since the setting is limiting for the Sobolev embedding, we admit nonlinearities with subcritical or critical growth in the sense of Trudinger-Moser. In particular, the absence of the mass term requires a nonstandard functional framework, based on homogeneous Sobolev spaces. These features, combined with the logarithmic behaviour of the kernel of the Poisson equation, make the analysis delicate, since standard variational tools cannot be applied. The system is solved by considering the corresponding logarithmic Choquard equation. We prove the existence of a mountain pass-type solution via a careful analysis on specific Cerami sequences, whose boundedness is achieved by exploiting an appropriate functional, obtained by evaluating the energy functional on particular paths.

#19 A note on Hölder regularity of weak solutions to linear elliptic equations [PDF] [Copy] [Kimi]

Author: Karthik Adimurthi

In this paper, we show that weak solutions of $$-\text{div} \mathbb{A}(x)\nabla u = 0 \qquad \text{where}\quad \mathbb{A}(x)= \mathbb{A}(x)^T \,\, \text{and} \,\, \lambda |\zeta|^2 \leq \langle \mathbb{A}(x)\zeta,\zeta\rangle \leq \Lambda |\zeta|^2,$$ and $\mathbb{A}(x) \equiv \mathbb{A}$ is a constant matrix are H\"older continuous $u \in C^{\alpha}_{\text{loc}}$ with $\alpha \geq \frac12 \left(-(n-2) + \sqrt{(n-2)^2 + \frac{4(n-1)\lambda}{\Lambda}} \right)$. This implies that the example constructed by Piccinini - Spagnolo is sharp in the class of constant matrices $\mathbb{A}(x) \equiv \mathbb{A}$. The proof of H\"older regularity does not go through a reduction of oscillation type argument and instead is achieved through a monotonicity formula. In the case of general matrices $\mathbb{A}(x)$, we obtain the same regularity under some additional hypothesis.

#20 Regularity for Fully Nonlinear Elliptic Equations with Natural Growth in Gradient and Singular Nonlinearity [PDF] [Copy] [Kimi]

Authors: Mohan Mallick ; Ram Baran Verma

In this article we consider the following boundary value problem \begin{equation*}\label{abs} \left\{ \begin{aligned} F(x,u,Du,D^{2}u)+c(x)u+ p(x)u^{-\alpha}&=0~\text{in}~\Omega\\ u&=0~~\text{on}~~\partial\Omega, \end{aligned} \right. \end{equation*} where $\Omega$ is a bounded and $C^{2}$ smooth domain in $\mathbb{R}^N$ and $F$ has superlinear growth in gradient and $c(c)<-c_{0}$ for some positive constant $c_{0}.$ Here, we studies the boundary behaviour of the solutions to above equation and establishes the global regularity result similar to one established in [12,16] with linear growth in gradient.

#21 Geodesic connectivity and rooftop envelopes in the Cegrell classes [PDF] [Copy] [Kimi]

Authors: Per Åhag ; Rafał Czyż ; Chinh H. Lu ; Alexander Rashkovskii

This study examines geodesics and plurisubharmonic envelopes within the Cegrell classes on bounded hyperconvex domains in $\mathbb{C}^n$. We establish that solutions possessing comparable singularities to the complex Monge-Amp\`ere equation are identical, affirmatively addressing a longstanding open question raised by Cegrell. This achievement furnishes the most general form of the Bedford-Taylor comparison principle within the Cegrell classes. Building on this foundational result, we explore plurisubharmonic geodesics, broadening the criteria for geodesic connectivity among plurisubharmonic functions with connectable boundary values. Our investigation also delves into the notion of rooftop envelopes, revealing that the rooftop equality condition and the idempotency conjecture are valid under substantially weaker conditions than previously established, a finding made possible by our proven uniqueness result. The paper concludes by discussing the core open problems within the Cegrell classes related to the complex Monge-Amp\`ere equation.

#22 Classification of solutions to the isotropic horospherical $p$-Minkowski problem in hyperbolic plane [PDF] [Copy] [Kimi]

Authors: Haizhong Li ; Yao Wan

In \cite{LX}, the first author and Xu introduced and studied the horospherical $p$-Minkowski problem in hyperbolic space $\mathbb{H}^{n+1}$. In particular, they established the uniqueness result for solutions to this problem when the prescribed function is constant and $p\ge -n$. This paper focuses on the isotropic horospherical $p$-Minkowski problem in hyperbolic plane $\mathbb{H}^{2}$, which corresponds to the equation \begin{equation}\label{0} \varphi^{-p}\left(\varphi_{\theta\theta}-\frac{\varphi_{\theta}^2}{2\varphi}+\frac{\varphi-\varphi^{-1}}{2}\right)=\gamma\quad\text{on}\ \mathbb{S}^1, \end{equation} where $\gamma$ is a positive constant. We provide a classification of solutions to the above equation for $p\ge -7$, as well as a nonuniqueness result of solutions for $p<-7$. Furthermore, we extend this problem to the isotropic horospherical $q$-weighted $p$-Minkowski problem in hyperbolic plane and derive some uniqueness and nonuniqueness results.

#23 A characterization of wavelet sets on Vilenkin groups with its application to construction of MRA wavelets [PDF] [Copy] [Kimi]

Authors: Jun Liu ; Chi Zhang

Let $G$ be a Vilenkin group. In 2008, Y. A. Farkov constructed wavelets on $G$ via the multiresolution analysis method. In this article, a characterization of wavelet sets on $G$ is established, which provides another method for the construction of wavelets. As an application, the relation between multiresolution analyses and wavelets determined from wavelet sets is also presented. To some extent, these results positively answer a question mentioned by P. Mahapatra and D. Singh in [Bull. Sci. Math. 167 (2021), Paper No. 102945, 20 pp].

#24 Collapsing immortal Kähler-Ricci flows [PDF] [Copy] [Kimi]

Authors: Hans-Joachim Hein ; Man-Chun Lee ; Valentino Tosatti

We consider the K\"ahler-Ricci flow on compact K\"ahler manifolds with semiample canonical bundle and intermediate Kodaira dimension, and show that the flow collapses to a canonical metric on the base of the Iitaka fibration in the locally smooth topology and with bounded Ricci curvature away from the singular fibers. This follows from an asymptotic expansion for the evolving metrics, in the spirit of recent work of the first and third-named authors on collapsing Calabi-Yau metrics, and proves two conjectures of Song and Tian.

#25 Logarithmic lattice models for flows with boundaries [PDF] [Copy] [Kimi]

Authors: Ciro S. Campolina ; Alexei A. Mailybaev

Many fundamental problems in fluid dynamics are related to the effects of solid boundaries. In general, they install sharp gradients and contribute to the developement of small-scale structures, which are computationally expensive to resolve with numerical simulations. A way to access extremely fine scales with a reduced number of degrees of freedom is to consider the equations on logarithmic lattices in Fourier space. Here we introduce new toy models for flows with walls, by showing how to add boundaries to the logarithmic lattice framework. The resulting equations retain many important properties of the original systems, such as the conserved quantities, the symmetries and the boundary effects. We apply this technique to many flows, with emphasis on the inviscid limit of the Navier-Stokes equations. For this setup, simulations reach impressively large Reynolds numbers and disclose interesting insights about the original problem.