Analysis of PDEs (math.AP)

Abstract: This paper concerns studies on smooth transonic flows with nonzero vorticity in De Laval nozzles for a quasi two dimensional steady Euler flow model which is a generalization of the classical quasi one dimensional model. First, the existence and uniqueness of smooth transonic flows to the quasi one-dimensional model, which start from a subsonic state at the entrance and accelerate to reach a sonic state at the throat and then become supersonic are proved by a reduction of degeneracy of the velocity near the sonic point and the implicit function theorem. These flows can have positive or zero acceleration at their sonic points and the degeneracy types near the sonic point are classified precisely. We then establish the structural stability of the smooth one dimensional transonic flow with positive acceleration at the sonic point for the quasi two dimensional steady Euler flow model under small perturbations of suitable boundary conditions, which yields the existence and uniqueness of a class of smooth transonic flows with nonzero vorticity and positive acceleration to the quasi two dimensional model. The positive acceleration of the one dimensional transonic solutions plays an important role in searching for an appropriate multiplier for the linearized second order mixed type equations. A deformation-curl decomposition for the quasi two dimensional model is utilized to deal with the transonic flows with nonzero vorticity.

Abstract: This paper is divided into three parts. The first part focuses on periodic layer heat potentials, demonstrating their smooth dependence on regular perturbations of the support of integration. In the second part, we present an application of the results from the first part. Specifically, we consider a transmission problem for the heat equation in a periodic two-phase composite material and we show that the solution depends smoothly on the shape of the transmission interface, boundary data, and conductivity parameters. Finally, in the last part of the paper, we fix all parameters except for the contrast parameter and outline a strategy to deduce an explicit expansion of the solution using a Neumann-type series.

Abstract: Let $\Omega \subset \mathbb{R}^d$ with $d\geq 2$ be a bounded domain of class $\mathcal{C}^{1,\beta }$ for some $\beta \in (0,1)$. For $p\in (1, \infty )$ and $s\in (0,1)$, let $\Lambda ^s_{p}(\Omega )$ be the first eigenvalue of the mixed local-nonlocal operator $-\Delta _p+(-\Delta _p)^s$ in $\Omega $ with the homogeneous nonlocal Dirichlet boundary condition. We establish a strict Faber-Krahn type inequality for $\Lambda _{p}^s(\cdot )$ under polarization. As an application of this strict inequality, we obtain the strict monotonicity of $\Lambda _{p}^s(\cdot )$ over annular domains, and characterize the uniqueness of the balls in the classical Faber-Krahn inequality for $-\Delta _p+(-\Delta _p)^s$.

Abstract: We study the null-controllability properties of heat-like equations posed on the whole Euclidean space $\mathbb R^n$. These evolution equations are associated with Fourier multipliers of the form $\rho(\vert D_x\vert)$, where $\rho\colon[0,+\infty)\rightarrow\mathbb C$ is a measurable function such that $\Re\rho$ is bounded from below. We consider the ``weakly dissipative'' case, a typical example of which is given by the fractional heat equations associated with the multipliers $\rho(\xi) = \xi^s$ in the regime $s\in(0,1)$, for which very few results exist. We identify sufficient conditions and necessary conditions on the control supports for the null-controllability to hold. More precisely, we prove that these equations are null-controllable in any positive time from control supports which are sufficiently thick at all scales. Under assumptions on the multiplier $\rho$, in particular assuming that $\rho(\xi) = o(\xi)$, we also prove that the null-controllability implies that the control support is thick at all scales, with an explicit lower bound of the thickness ratio in terms of the multiplier $\rho$.Finally, using Smith-Volterra-Cantor sets, we provide examples of non-trivial control supports that satisfy these necessary or sufficient conditions.

Abstract: The present article investigates the existence, multiplicity and regularity of weak solutions of problems involving a combination of critical Hartree type nonlinearity along with singular and discontinuous nonlinearity. By applying variational methods and using the notion of generalized gradients for Lipschitz continuous functional, we obtain the existence and the multiplicity of weak solutions for some suitable range of $\lambda$ and $\gamma$. Finally by studying the $L^\infty$-estimates and boundary behavior of weak solutions, we prove their H\"{o}lder and Sobolev regularity.

Abstract: This is the first of a series of papers in which we investigate the decay estimates for dispersive equations with Aharonov-Bohm solenoids in a uniform magnetic field. In this first starting paper, we prove the local-in-time dispersive estimates and Strichartz estimates for Schr\"odinger equation with one Aharonov-Bohm solenoid in a uniform magnetic field. The key ingredient is the construction of Schr\"odinger propagator, we provide two methods to construct the propagator. The first one is combined the strategies of \cite{FFFP1} and \cite{GYZZ22, FZZ22}, and the second one is based on the Schulman-Sunada formula in sprit of \cite{stov, stov1} in which the heat kernel has been studied. In future papers, we will continue investigating this quantum model for wave with one or multiple Aharonov-Bohm solenoids in a uniform magnetic field.

Abstract: In this paper, we prove that the uniqueness of blowup at the maximum point of coincidence set of the superconductivity problem, mainly based on the Weiss-type and Monneau-type monotonicity formulas, and the proof of the main results in this paper is inspired the recent paper \cite{CFL22} by Chen-Feng-Li.

Abstract: This is the second of a series of papers in which we investigate the decay estimates for dispersive equations with Aharonov-Bohm solenoids in a uniform magnetic field. In our first starting paper \cite{WZZ}, we have studied the Strichartz estimates for Schr\"odinger equation with one Aharonov-Bohm solenoid in a uniform magnetic field. The wave equation in this setting becomes more delicate since a difficulty is raised from the square root of the eigenvalue of the Schr\"odinger operator $H_{\alpha, B_0}$ so that we cannot directly construct the half-wave propagator. An independent interesting result concerning the Gaussian upper bounds of the heat kernel is proved by using two different methods. The first one is based on establishing Davies-Gaffney inequality in this setting and the second one is straightforward to construct the heat kernel (which efficiently captures the magnetic effects) based on the Schulman-Sunada formula. As byproducts, we prove optimal bounds for the heat kernel and show the Bernstein inequality and the square function inequality for Schr\"odinger operator with one Aharonov-Bohm solenoid in a uniform magnetic field.

Abstract: By considering Radon measure solutions for boundary value problems of stationary non-isentropic compressible Euler equations on hypersonic-limit flows passing ramps with frictions on their boundaries, we construct solutions with density containing Dirac measures supported on the boundaries of the ramps, which represent the infinite-thin shock layers under different assumptions on the skin-frictions. We thus derive corresponding generalizations of the celebrated Newton-Busemann law in hypersonic aerodynamics for distributions of drags/lifts on ramps.

Abstract: In this paper we establish a new mean field-type formulation to study the problem of prescribing Gaussian and geodesic curvatures on compact surfaces with boundary, which is equivalent to the following Liouville-type PDE with nonlinear Neumann conditions: $$\left\{\begin{array}{ll} -\Delta u+2K_g=2Ke^u&\text{in }\Sigma\\ \partial_\nu u+2h_g=2he^\frac u2&\text{on }\partial\Sigma. \end{array}\right.$$ We provide three different existence results in the cases of positive, zero and negative Euler characteristics by means of variational techniques.

Abstract: This paper aims at exploring the long-term behavior of some nonlocal high-order-in-time wave equations. These equations, which have come to be known as Moore--Gibson--Thompson equations, arise in the context of acoustic wave propagation when taking into account thermal relaxation mechanisms in complex media such as human tissue. While the long-term behavior of linear local-in-time acoustic equations is well understood, their nonlocal counterparts still retain many mysteries in that regard. We establish here a set of assumptions which ensures exponential decay of the energy of the system. These assumptions are then shown to be verified by a large class of rapidly decaying memory kernels. Under weaker assumptions on the kernel we show that one may still obtain that the energy vanishes but without a rate of convergence. We furthermore refine previous results on the local well-posedness of the studied equation and establish a necessary initial-data compatibility condition for the solvability of the problem.

Abstract: In the context of providing a mathematical framework for the propagation of ultrasound waves in a random multiscale medium, we consider the scattering of classical waves (modeled by a divergence form scalar Helmholtz equation) by a bounded object with a random composite micro-structure embedded in an unbounded homogeneous background medium. Using quantitative stochastic homogenization techniques, we provide asymptotic expansions of the scattered field in the background medium with respect to a scaling parameter describing the spatial random oscillations of the micro-structure. Introducing a boundary layer corrector to compensate the breakdown of stationarity assumptions at the boundary of the scattering medium, we prove quantitative $L^2$- and $H^1$- error estimates for the asymptotic first-order expansion. The theoretical results are supported by numerical experiments.

Abstract: For each $1\leq p<\infty$ a Banach space of integrable Schwartz distributions is defined by taking the distributional derivative of all functions in $L^p({\mathbb R})$. Such distributions can be integrated when multiplied by a function that is the integral of a function in $L^q({\mathbb R})$, where $q$ is the conjugate exponent of $p$. The heat equation on the real line is solved in this space of distributions. The initial data is taken to be the distributional derivative of an $L^p({\mathbb R})$ function. The solutions are shown to be smooth functions. Initial conditions are taken on in norm. Sharp estimates of solutions are obtained and a uniqueness theorem is proved.