arXiv daily

Analysis of PDEs (math.AP)

Fri, 21 Apr 2023

Other arXiv digests in this category:Thu, 14 Sep 2023; Wed, 13 Sep 2023; Tue, 12 Sep 2023; Mon, 11 Sep 2023; Fri, 08 Sep 2023; Tue, 05 Sep 2023; Fri, 01 Sep 2023; Thu, 31 Aug 2023; Wed, 30 Aug 2023; Tue, 29 Aug 2023; Mon, 28 Aug 2023; Fri, 25 Aug 2023; Thu, 24 Aug 2023; Wed, 23 Aug 2023; Tue, 22 Aug 2023; Mon, 21 Aug 2023; Fri, 18 Aug 2023; Thu, 17 Aug 2023; Wed, 16 Aug 2023; Tue, 15 Aug 2023; Mon, 14 Aug 2023; Fri, 11 Aug 2023; Thu, 10 Aug 2023; Wed, 09 Aug 2023; Tue, 08 Aug 2023; Mon, 07 Aug 2023; Fri, 04 Aug 2023; Thu, 03 Aug 2023; Wed, 02 Aug 2023; Tue, 01 Aug 2023; Mon, 31 Jul 2023; Fri, 28 Jul 2023; Thu, 27 Jul 2023; Wed, 26 Jul 2023; Tue, 25 Jul 2023; Mon, 24 Jul 2023; Fri, 21 Jul 2023; Thu, 20 Jul 2023; Wed, 19 Jul 2023; Tue, 18 Jul 2023; Mon, 17 Jul 2023; Fri, 14 Jul 2023; Thu, 13 Jul 2023; Wed, 12 Jul 2023; Tue, 11 Jul 2023; Mon, 10 Jul 2023; Fri, 07 Jul 2023; Thu, 06 Jul 2023; Wed, 05 Jul 2023; Tue, 04 Jul 2023; Mon, 03 Jul 2023; Fri, 30 Jun 2023; Thu, 29 Jun 2023; Wed, 28 Jun 2023; Tue, 27 Jun 2023; Mon, 26 Jun 2023; Fri, 23 Jun 2023; Thu, 22 Jun 2023; Wed, 21 Jun 2023; Tue, 20 Jun 2023; Fri, 16 Jun 2023; Thu, 15 Jun 2023; Tue, 13 Jun 2023; Mon, 12 Jun 2023; Fri, 09 Jun 2023; Thu, 08 Jun 2023; Wed, 07 Jun 2023; Tue, 06 Jun 2023; Mon, 05 Jun 2023; Fri, 02 Jun 2023; Thu, 01 Jun 2023; Wed, 31 May 2023; Tue, 30 May 2023; Mon, 29 May 2023; Fri, 26 May 2023; Thu, 25 May 2023; Wed, 24 May 2023; Tue, 23 May 2023; Mon, 22 May 2023; Fri, 19 May 2023; Thu, 18 May 2023; Wed, 17 May 2023; Tue, 16 May 2023; Mon, 15 May 2023; Fri, 12 May 2023; Thu, 11 May 2023; Wed, 10 May 2023; Tue, 09 May 2023; Mon, 08 May 2023; Fri, 05 May 2023; Thu, 04 May 2023; Wed, 03 May 2023; Tue, 02 May 2023; Mon, 01 May 2023; Fri, 28 Apr 2023; Thu, 27 Apr 2023; Wed, 26 Apr 2023; Tue, 25 Apr 2023; Mon, 24 Apr 2023; Thu, 20 Apr 2023; Wed, 19 Apr 2023; Tue, 18 Apr 2023; Mon, 17 Apr 2023; Fri, 14 Apr 2023; Thu, 13 Apr 2023; Wed, 12 Apr 2023; Tue, 11 Apr 2023; Mon, 10 Apr 2023
1.Uniqueness in determining rectangular grating profiles with a single incoming wave (Part II): TM polarization case

Authors:Jianli Xiang, Guanghui Hu

Abstract: This paper is concerned with an inverse transmission problem for recovering the shape of a penetrable rectangular grating sitting on a perfectly conducting plate. We consider a general transmission problem with the coefficient \lambda\neq 1 which covers the TM polarization case. It is proved that a rectangular grating profile can be uniquely determined by the near-field observation data incited by a single plane wave and measured on a line segment above the grating. In comparision with the TE case (\lambda=1), the wave field cannot lie in H^2 around each corner point, bringing essential difficulties in proving uniqueness with one plane wave. Our approach relies on singularity analysis for Helmholtz transmission problems in a right-corner domain and also provides an alternative idea for treating the TE transmission conditions which were considered in the authors' previous work [Inverse Problem, 39 (2023): 055004.]

2.Exact Method of Moments for multi-dimensional population balance equations

Authors:Adeel Muneer, Tobias Schikarski, Lukas Pflug

Abstract: The unique properties of anisotropic and composite particles are increasingly being leveraged in modern particulate products. However, tailored synthesis of particles characterized by multi-dimensional dispersed properties remains in its infancy and few mathematical models for their synthesis exist. Here, we present a novel, accurate and highly efficient numerical approach to solve a multi-dimensional population balance equation, based on the idea of the exact method of moments for nucleation and growth \cite{pflug2020emom}. The transformation of the multi-dimensional population balance equation into a set of one-dimensional integro-differential equations allows us to exploit accurate and extremely efficient numerical schemes that markedly outperform classical methods (such as finite volume type methods) which is outlined by convergence tests. Our approach not only provides information about complete particle size distribution over time, but also offers insights into particle structure. The presented scheme and its performance is exmplified based on coprecipitation of nanoparticles. For this process, a generic growth law is derived and parameter studies as well as convergence series are performed.

3.Symmetry and Monotonicity Property of a Solution of (p,q) Laplace Equation with Singular Term

Authors:Ritabrata Jana

Abstract: This paper examines the behavior of a positive solution $u\in C^{1,\alpha}(\Bar{\Omega})$ of the $(p,q)$ Laplace equation with a singular term and zero Dirichlet boundary condition. Specifically, we consider the equation: \begin{equation*} -div(|\nabla u|^{p-2}\nabla u+ a(x) |\nabla u|^{q-2}\nabla u) &= \frac{g(x)}{u^\delta}+h(x)f(u) \, &\text{in} \thinspace B_R(x_0), \quad u & =0 \ &\text{on} \ \partial B_R(x_0). \end{equation*} We assume that $0<\delta<1$, $1<p\leq q<\infty$, and $f$ is a $C^1(\mathbb{R})$ nondecreasing function. Our analysis uses the moving plane method to investigate the symmetry and monotonicity properties of $u$. Additionally, we establish a strong comparison principle for solutions of the $(p,q)$ Laplace equation with radial symmetry under the assumptions that $1<p\leq q\leq 2$ and $f\equiv1$.

4.Positive Solutions for Fractional p- Laplace Semipositone Problem with Superlinear Growth

Authors:R. Dhanya, Ritabrata Jana, Uttam Kumar, Sweta Tiwari

Abstract: We consider a semipositone problem involving the fractional $p$ Laplace operator of the form \begin{equation*} \begin{aligned} (-\Delta)_p^s u &=\mu( u^{r}-1) \text{ in } \Omega,\\ u &>0 \text{ in }\Omega,\\ u &=0 \text{ on }\Omega^{c}, \end{aligned} \end{equation*} where $\Omega$ is a smooth bounded convex domain in $\mathbb{R}^N$, $p-1<r<p^{*}_{s}-1$, where $p_s^{*}:=\frac{Np}{N-ps}$, and $\mu$ is a positive parameter. We study the behaviour of the barrier function under the fractional $p$-Laplacian and use this information to prove the existence of a positive solution for small $\mu$ using degree theory. Additionally, the paper explores the existence of a ground state positive solution for a multiparameter semipositone problem with critical growth using variational arguments.

5.Sharp Quantitative Stability of the Dirichlet spectrum near the ball

Authors:Dorin Bucur, Jimmy Lamboley, Mickaël Nahon, Raphaël Prunier

Abstract: Let $\Omega\subset\mathbb{R}^n$ be an open set with same volume as the unit ball $B$ and let $\lambda_k(\Omega)$ be the $k$-th eigenvalue of the Laplace operator of $\Omega$ with Dirichlet boundary conditions in $\partial\Omega$. In this work, we answer the following question: if $\lambda_1(\Omega)-\lambda_1(B)$ is small, how large can $|\lambda_k(\Omega)-\lambda_k(B)|$ be ? We establish quantitative bounds of the form $|\lambda_k(\Omega)-\lambda_k(B)|\le C (\lambda_1(\Omega)-\lambda_1(B))^\alpha$ with sharp exponents $\alpha$ depending on the multiplicity of $\lambda_k(B)$. We first show that such an inequality is valid with $\alpha=1/2$ for any $k$, improving previous known results and providing the sharpest possible exponent. Then, through the study of a vectorial free boundary problem, we show that one can achieve the better exponent $\alpha=1$ if $\lambda_{k}(B)$ is simple. We also obtain a similar result for the whole cluster of eigenvalues when $\lambda_{k}(B)$ is multiple, thus providing a complete answer to the question above. As a consequence of these results, we obtain the persistence of the ball as minimizer for a large class of spectral functionals which are small perturbations of the fundamental eigenvalue on the one hand, and a full reverse Kohler-Jobin inequality on the other hand, solving an open problem formulated by M. Van Den Berg, G. Buttazzo and A. Pratelli.

6.The evolution problem for the 1D nonlocal Fisher-KPP equation with a top hat kernel. Part 1. The Cauchy problem on the real line

Authors:D. J. Needham, J. Billingham, N. M. Ladas, J. C. Meyer

Abstract: We study the Cauchy problem on the real line for the nonlocal Fisher-KPP equation in one spatial dimension, \[ u_t = D u_{xx} + u(1-\phi*u), \] where $\phi*u$ is a spatial convolution with the top hat kernel, $\phi(y) \equiv H\left(\frac{1}{4}-y^2\right)$. After showing that the problem is globally well-posed, we demonstrate that positive, spatially-periodic solutions bifurcate from the spatially-uniform steady state solution $u=1$ as the diffusivity, $D$, decreases through $\Delta_1 \approx 0.00297$. We explicitly construct these spatially-periodic solutions as uniformly-valid asymptotic approximations for $D \ll 1$, over one wavelength, via the method of matched asymptotic expansions. These consist, at leading order, of regularly-spaced, compactly-supported regions with width of $O(1)$ where $u=O(1)$, separated by regions where $u$ is exponentially small at leading order as $D \to 0^+$. From numerical solutions, we find that for $D \geq \Delta_1$, permanent form travelling waves, with minimum wavespeed, $2 \sqrt{D}$, are generated, whilst for $0 < D < \Delta_1$, the wavefronts generated separate the regions where $u=0$ from a region where a steady periodic solution is created. The structure of these transitional travelling waves is examined in some detail.

7.The Optimal Hölder Exponent in Massari's Regularity Theorem

Authors:Thomas Schmidt, Jule Helena Schütt

Abstract: We determine the optimal H\"older exponent in Massari's regularity theorem for sets with variational mean curvature in $\mathrm{L}^p$. In fact, we obtain regularity with improved exponents and at the same time provide sharp counterexamples.

8.The evolution problem for the 1D nonlocal Fisher-KPP equation with a top hat kernel. Part 2. The Cauchy problem on a finite interval

Authors:D. J. Needham, J. Billingham

Abstract: In the second part of this series of papers, we address the same Cauchy problem that was considered in part 1, namely the nonlocal Fisher-KPP equation in one spatial dimension, \[ u_t = D u_{xx} + u(1-\phi*u), \] where $\phi*u$ is a spatial convolution with the top hat kernel, $\phi(y) \equiv H\left(\frac{1}{4}-y^2\right)$, except that now the spatial domain is the finite interval $[0,a]$ rather than the whole real line. Consequently boundary conditions are required at the interval end-points, and we address the situations when these boundary conditions are of either Dirichlet or Neumann type. This model forms a natural extension to the classical Fisher-KPP model, with the introduction of the simplest possible nonlocal effect into the saturation term. Nonlocal reaction-diffusion models arise naturally in a variety of (frequently biological or ecological) contexts, and as such it is of fundamental interest to examine its properties in detail, and to compare and contrast these with the well known properties of the classical Fisher-KPP model.

9.The $L^2$-unique continuation property on manifolds with bounded geometry and the deformation operator

Authors:Nadine Große, Mirela Kohr, Victor Nistor

Abstract: A differential operator $T$ satisfies the $L^2$-unique continuation property if every $L^2$-solution of $T$ that vanishes on an open subset vanishes identically. We study the $L^2$-unique continuation property of an operator $T$ acting on a manifold with bounded geometry. In particular, we establish some connections between this property and the regularity properties of $T$. As an application, we prove that the deformation operator on a manifold with bounded geometry satisfies regularity and $L^2$-unique continuation properties. As another application, we prove that suitable elliptic operators are invertible (Hadamard well-posedness). Our results apply to compact manifolds, which have bounded geometry.

10.Pathological set with loss of regularity for nonlinear Schr{ö}dinger equations

Authors:Rémi Carles IRMAR, Louise Gassot IRMAR

Abstract: We consider the mass-supercritical, defocusing, nonlinear Schr{\"o}dinger equation. We prove loss of regularity in arbitrarily short times for regularized initial data belonging to a dense set of any fixed Sobolev space for which the nonlinearity is supercritical. The proof relies on the construction of initial data as a superposition of disjoint bubbles at different scales. We get an approximate solution with a time of existence bounded from below, provided by the compressible Euler equation, which enjoys zero speed of propagation. Introducing suitable renormalized modulated energy functionals, we prove spatially localized estimates which make it possible to obtain the loss of regularity.

11.Talbot effect for the third order Lugiato-Lefever equation

Authors:Gunwoo Cho, Seongyeon Kim, Ihyeok Seo

Abstract: We discuss the Lugiato-Lefever equation and its variant with third-order dispersion, which are mathematical models used to describe how a light beam forms patterns within an optical cavity. It is mathematically demonstrated that the solutions of these equations follow the Talbot effect, which is a phenomenon of periodic self-imaging of an object under certain conditions of diffraction. The Talbot effect is regarded as the underlying cause of pattern formation in optical cavities.

12.Reduced order modeling for elliptic problems with high contrast diffusion coefficients

Authors:Albert Cohen LJLL, Matthieu Dolbeault LJLL, Agustin Somacal LJLL, Wolfgang Dahmen

Abstract: We consider the parametric elliptic PDE $-{\rm div} (a(y)\nabla u)=f$ on a spatial domain $\Omega$, with $a(y)$ a scalar piecewise constant diffusion coefficient taking any positive values $y=(y_1, \dots, y_d)\in ]0,\infty[^d$ on fixed subdomains $\Omega_1,\dots,\Omega_d$. This problem is not uniformly elliptic as the contrast $\kappa(y)=\frac{\max y_j}{\min y_j}$ can be arbitrarily high, contrarily to the Uniform Ellipticity Assumption (UEA) that is commonly made on parametric elliptic PDEs. Based on local polynomial approximations in the $y$ variable, we construct local and global reduced model spaces $V_n$ of moderate dimension $n$ that approximate uniformly well all solutions $u(y)$. Since the solution $u(y)$ blows as $y\to 0$, the solution manifold is not a compact set and does not have finite $n$-width. Therefore, our results for approximation by such spaces are formulated in terms of relative $H^1_0$-projection error, that is, after normalization by $\|u(y)\|_{H^1_0}$. We prove that this relative error decays exponentially with $n$, yet exhibiting the curse of dimensionality as the number $d$ of subdomains grows. We also show similar rates for the Galerkin projection despite the fact that high contrast is well-known to deteriorate the multiplicative constant when applying Cea's lemma. We finally establish uniform estimates in relative error for the state estimation and parameter estimation inverse problems, when $y$ is unknown and a limited number of linear measurements $\ell_i(u)$ are observed. A key ingredient in our construction and analysis is the study of the convergence of $u(y)$ to limit solutions when some of the parameters $y_j$ tend to infinity.

13.Bilinear Strichartz estimates and almost sure global solutions for the nonlinear Schr{ö}dinger equation

Authors:Nicolas Burq IECL, Aurélien Poiret IECL, Laurent Thomann IECL

Abstract: The purpose of this article is to construct global solutions, in a probabilistic sense, for the nonlinear Schr{\"o}dinger equation posed on $\mathbb{R}^d$, in a supercritical regime. Firstly, we establish Bourgain type bilinear estimates for the harmonic oscillator which yields a gain of half a derivative in space for the local theory with randomised initial conditions, for the cubic equation in $\mathbb{R}^3$. Then, thanks to the lens transform, we are able to obtain global in time solutions for the nonlinear Schr{\"o}dinger equation without harmonic potential. Secondly, we prove a Kato type smoothing estimate for the linear Schr{\"o}dinger equation with harmonic potential. This allows us to consider the Schr{\"o}dinger equation with a nonlinearity of odd degree in a supercritical regime, in any dimension $d\geq 2$.

14.Blow-up for the 1D cubic NLS

Authors:Valeria Banica, Renato Lucà, Nikolay Tzvetkov, Luis Vega

Abstract: We consider the 1D cubic NLS on $\mathbb R$ and prove a blow-up result for functions that are of borderline regularity, i.e. $H^s$ for any $s<-\frac 12$ for the Sobolev scale and $\mathcal F L^\infty$ for the Fourier-Lebesgue scale. This is done by identifying at this regularity a certain functional framework from which solutions exit in finite time. This functional framework allows, after using a pseudo-conformal transformation, to reduce the problem to a large-time study of a periodic Schr\"odinger equation with non-autonomous cubic nonlinearity. The blow-up result corresponds to an asymptotic completeness result for the new equation. We prove it using Bourgain's method and exploiting the oscillatory nature of the coefficients involved in the time-evolution of the Fourier modes. Finally, as an application we exhibit singular solutions of the binormal flow. More precisely, we give conditions on the curvature and the torsion of an initial smooth curve such that the constructed solutions generate several singularities in finite time.

15.Classification of solutions to Hardy-Sobolev Doubly Critical Systems

Authors:Francesco Esposito, Rafael López-Soriano, Berardino Sciunzi

Abstract: This work deals with a family of Hardy-Sobolev doubly critical system defined in $\mathbb{R}^n$. More precisely, we provide a classification of the positive solutions, whose expressions comprise multiplies of solutions of the decoupled scalar equation. Our strategy is based on the symmetry of the solutions, deduced via a suitable version of the moving planes technique for cooperative singular systems, joint with the study of the asymptotic behavior by using the Moser's iteration scheme.

16.The symmetric (log-)epiperimetric inequality and a decay-growth estimate

Authors:Nick Edelen, Luca Spolaor, Bozhidar Velichkov

Abstract: We introduce a symmetric (log-)epiperimetric inequality, generalizing the standard epiperimetric inequality, and we show that it implies a growth-decay for the associated energy: as the radius increases energy decays while negative and grows while positive. One can view the symmetric epiperimetric inequality as giving a log-convexity of energy, analogous to the 3-annulus lemma or frequency formula. We establish the symmetric epiperimetric inequality for some free-boundary problems and almost-minimizing currents, and give some applications including a ``propagation of graphicality'' estimate, uniqueness of blow-downs at infinity, and a local Liouville-type theorem.