Analysis of PDEs (math.AP)

Abstract: Deep neural networks that approximate nonlinear function-to-function mappings, i.e., operators, which are called DeepONet, have been demonstrated in recent articles to be capable of encoding entire PDE control methodologies, such as backstepping, so that, for each new functional coefficient of a PDE plant, the backstepping gains are obtained through a simple function evaluation. These initial results have been limited to single PDEs from a given class, approximating the solutions of only single-PDE operators for the gain kernels. In this paper we expand this framework to the approximation of multiple (cascaded) nonlinear operators. Multiple operators arise in the control of PDE systems from distinct PDE classes, such as the system in this paper: a reaction-diffusion plant, which is a parabolic PDE, with input delay, which is a hyperbolic PDE. The DeepONet-approximated nonlinear operator is a cascade/composition of the operators defined by one hyperbolic PDE of the Goursat form and one parabolic PDE on a rectangle, both of which are bilinear in their input functions and not explicitly solvable. For the delay-compensated PDE backstepping controller, which employs the learned control operator, namely, the approximated gain kernel, we guarantee exponential stability in the $L^2$ norm of the plant state and the $H^1$ norm of the input delay state. Simulations illustrate the contributed theory.

Abstract: In this paper, both smooth subsonic and transonic flows to steady Euler-Poisson system in a concentric cylinder are studied. We first establish the existence of cylindrically symmetric smooth subsonic and transonic flows to steady Euler-Poisson system in a concentric cylinder. On one hand, we investigate the structural stability of smooth cylindrically symmetric subsonic flows under three-dimensional perturbations on the inner and outer cylinders. On the other hand, the structural stability of smooth transonic flows under the axi-symmetric perturbations are examined. There is no any restrictions on the background subsonic and transonic solutions. A deformation-curl-Poisson decomposition to the steady Euler-Poisson system is utilized in our work to deal with the hyperbolic-elliptic mixed structure in subsonic region. It should be emphasized that there is a special structure of the steady Euler-Poisson system which yields a priori estimates and uniqueness of a second order elliptic system for the velocity potential and the electrostatic potential.

Abstract: In ultrasonics, nonlocal quasilinear wave equations arise when taking into account a class of heat flux laws of Gurtin--Pipkin type within the system of governing equations of sound motion. The present study extends previous work by the authors to incorporate nonlocal acoustic wave equations with quadratic gradient nonlinearities which require a new approach in the energy analysis. More precisely, we investigate the Kuznetsov and Blackstock equations with dissipation of fractional type and identify a minimal set of assumptions on the memory kernel needed for each equation. In particular, we discuss the physically relevant examples of Abel and Mittag-Leffler kernels. We perform the well-posedness analysis uniformly with respect to a small parameter on which the kernels depend and which can be interpreted as the sound diffusivity or the thermal relaxation time. We then analyze the limiting behavior of solutions with respect to this parameter, and how it is influenced by the specific class of memory kernels at hand. Through such a limiting study, we relate the considered nonlocal quasilinear equations to their limiting counterparts and establish the convergence rates of the respective solutions in the energy norm.

Abstract: We derive rigorously the reduced dynamical law for quantized vortex dynamics of the nonlinear Schr\"odinger equation with wave operator on the torus when the core size of vortex $\varepsilon \to 0$. It is proved that the reduced dynamical law of the nonlinear Schr\"odinger equation with wave operator is a mixed state of the vortex motion laws for the nonlinear wave equation and the nonlinear Schr\"odinger equation. We will also investigate the convergence of the reduced dynamical law of the nonlinear Schr\"odinger equation with wave operator to the vortex motion law of the nonlinear Schr\"odinger equation via numerical simulation.

Abstract: An asymptotic expansion with respect to a small parameter of the solution of the Cauchy problem is constructed for a system of three transfer equations, two of which are singularly perturbed by the degeneracy of the entire senior part of the transfer operator, and the third equation clearly does not contain a small parameter. The peculiarity of the problem is that it belongs to the so-called critical case: the solution of a degenerate problem is a one-parameter family. The asymptotic expansion of the solution under smooth initial conditions is constructed as the sum of the regular part and boundary functions.

Abstract: In this work we analyze the Total Variation-Wasserstein minimization problem. We propose an alternative form of deriving optimality conditions from the approach of Calier\&Poon'18, and as result obtain further regularity for the quantities involved. In the sequel we propose an algorithm to solve this problem alongside two numerical experiments.

Abstract: We first give a logarithmic gradient estimate for positive solutions of Allen-Cahn equation on Riemannian manifolds with Ricci curvature bounded below. As its natural corallary, Harnack inequality and a Liouville theorem for classical positive solutions are obtained. Later, we consider similar estimate under integral curvature condition and generalize previous results to a class nonlinear equations which contain some classical elliptic equations such as Lane-Emden equation, static Whitehead-Newell equation and static Fisher-KPP equation. Last, we briefly generalize them to equation with gradient item under Bakry-\'{E}mery curvature condition.

Abstract: We consider a Kantorovich potential associated to an optimal transportation problem between measures that are not necessarily absolutely continuous with respect to the Lebesgue measure, but are comparable to the Lebesgue measure when restricted to balls with radius greater than some $\delta>0$. Our main results extend the classical regularity theory of optimal transportation to this framework. In particular, we establish both H\"older and Sobolev regularity results for Kantorovich potentials up to some critical length scale depending on $\delta$. Our assumptions are very natural in the context of the numerical computation of optimal maps, which often involves approximating by sums of Dirac masses some measures that are absolutely continuous with densities bounded away from zero and infinity on their supports.

Abstract: In this paper, we consider the inverse problem of recovering a time-dependent nonlinearity for a third order nonlinear acoustic equation, which is known as the Jordan-Moore-Gibson-Thompson equation (J-M-G-T equation for short). This third order in time equation arises, for example, from the wave propagation in viscous thermally relaxing fluids. The well-posedness of the nonlinear equation is obtained for the small initial and boundary data. By the higher order linearization to the nonlinear equation, and construction of complex geometric optics (CGO for short) solutions for the linearized equation, we derive the uniqueness of recovering the nonlinearity.

Abstract: We study the existence, regularity, and symmetry of periodic traveling solutions to a class of Gardner-Ostrovsky type equations, including the classical Gardner-Ostrovsky equation, the (modified) Ostrovsky, and the reduced (modified) Ostrovsky equation. The modified Ostrovsky equation is also known as the short pulse equation. The Gardner-Ostrovsky equation is a model for internal ocean waves of large amplitude. We prove the existence of nontrivial, periodic traveling wave solutions using local bifurcation theory, where the wave speed serves as the bifurcation parameter. Moreover, we give a regularity analysis for periodic traveling solutions in the presence as well as absence of Boussinesq dispersion. We see that the presence of Boussinesq dispersion implies smoothness of periodic traveling wave solutions, while its absence may lead to singularities in the form of peaks or cusps. Eventually, we study the symmetry of periodic traveling solutions by the method of moving planes. A novel feature of the symmetry results in the absence of Boussinesq dispersion is that we do not need to impose a traditional monotonicity condition or a recently developed reflection criterion on the wave profiles to prove the statement on the symmetry of periodic traveling waves.