Quasilinear PDEs Research Articles

Hamiltonian Birkhoff Normal Form for Gravity-Capillary Water Waves with Constant Vorticity: Almost Global Existence

We prove an almost global existence result for space periodic solutions of the 1D gravity-capillary water waves equations with constant vorticity. The result holds for any value of gravity, vorticity and depth, a full measure set of surface tensions, and any small and smooth enough initial datum. The proof demands a novel approach—that we call paradifferential Hamiltonian Birkhoff normal form for quasi-linear PDEs—in presence of resonant wave interactions: the normal form is not integrable but it preserves the Sobolev norms thanks to its Hamiltonian nature. A major difficulty is that paradifferential calculus used to prove local well posedness (as the celebrated Alinhac good unknown) breaks the Hamiltonian structure. A major achievement of this paper is to correct (possibly) unbounded paradifferential transformations to symplectic maps, up to an arbitrary degree of homogeneity. Thanks to a deep cancellation, our symplectic correctors are smoothing perturbations of the identity. Thus we are able to preserve both the paradifferential structure and the Hamiltonian nature of the equations. Such Darboux procedure is written in an abstract functional setting applicable also in other contexts.

Two-level implicit high-order compact scheme in exponential form for 3D quasi-linear parabolic equations

We discuss a new high accuracy compact exponential scheme of order four in space and two in time to solve the three-dimensional quasi-linear parabolic partial differential equations. The derived half-step discretization based scheme is implicit in nature and demands only two levels for computation. The generalization of the proposed exponential scheme for the system of the quasi-linear parabolic PDEs is also represented. We generate unconditionally stable alternating direction implicit scheme for the linear parabolic equation in general form. The accuracy and the theoretical results of the proposed scheme are verified for high Reynolds number by several numerical problems like linear and non-linear convection-diffusion equation, coupled Burgers' equations, Navier-Stokes equations, quasi-linear parabolic equation, etc.

A diagram-free approach to the stochastic estimates in regularity structures

In this paper, we explore the version of Hairer’s regularity structures based on a greedier index set than trees, as introduced in (Otto et al. in A priori bounds for quasi-linear SPDEs in the full sub-critical regime, 2021, arXiv:2103.11039) and algebraically characterized in (Linares et al. in Comm. Am. Math. Soc. 3:1–64, 2023). More precisely, we construct and stochastically estimate the renormalized model postulated in (Otto et al. in A priori bounds for quasi-linear SPDEs in the full sub-critical regime, 2021, arXiv:2103.11039), avoiding the use of Feynman diagrams but still in a fully automated, i. e. inductive way. This is carried out for a class of quasi-linear parabolic PDEs driven by noise in the full singular but renormalizable range. We assume a spectral gap inequality on the (not necessarily Gaussian) noise ensemble. The resulting control on the variance of the model naturally complements its vanishing expectation arising from the BPHZ-choice of renormalization. We capture the gain in regularity on the level of the Malliavin derivative of the model by describing it as a modelled distribution. Symmetry is an important guiding principle and built-in on the level of the renormalization Ansatz. Our approach is analytic and top-down rather than combinatorial and bottom-up.

Global-in-time solutions and Hölder continuity for quasilinear parabolic PDEs with mixed boundary conditions in the Bessel dual scale

Global-in-time solutions and Hölder continuity for quasilinear parabolic PDEs with mixed boundary conditions in the Bessel dual scale

Spatial dynamics in the family of sixth-order differential equations from the theory of partial formation

Topic of the paper. Bounded stationary (i.e. independent in time) spatially one-dimensional solutions of a quasilinear parabolic PDE are studied on the whole real line. Its stationary solutions are described by a nonlinear ODE of the sixth order of the Euler–Lagrange–Poisson type and therefore can be transformed to the Hamiltonian system with three degrees of freedom being in addition reversible with respect two linear involutions. The system has three symmetric equilibria, two of them are hyperbolic in some region of the parameter plane. Goal of the paper. In this paper we, combining methods of dynamical systems theory and numerical simulations, investigate the orbit behavior near the symmetric heteroclinic connection based on these equilibria. It was found both simple (periodic) and complicated orbit behavior. To this end we use the theorem on a global center manifold near the heteroclinic connection. For the third symmetric equilibrium at the origin we found the region in the parameter plane where this equilibrium is of the saddle-focus-center type and found the existence of its homoclinic orbits, long-periodic orbits near homoclinic orbits and orbits with complicated structure.

Characteristic curves and the exponentiation in the Riordan Lie group: A connection through examples

We point out how to use the classical characteristic method, that is used to solve quasilinear PDE's, to obtain the matrix exponential of some lower triangle infinite matrices. We use the Lie Fréchet structure of the Riordan group described in [4]. After that, we describe some linear dynamical systems in K[[x]] with a concrete involution being a symmetry or a time-reversal symmetry for them. We take this opportunity to assign some dynamical properties to Pascal's triangle.

Local well posedness for a system of quasilinear PDEs modelling suspension bridges

In this paper we provide a local well posedness result for a quasilinear beam-wave system of equations on a one-dimensional spatial domain under periodic and Dirichlet boundary conditions. This kind of systems provides a refined model for the time-evolution of suspension bridges, where the beam and wave equations describe respectively the longitudinal and torsional motion of the deck. The quasilinearity arises when one takes into account the nonlinear restoring action of deformable cables and hangers. To obtain the a priori estimates for the solutions of the linearized equation we build a modified energy by means of paradifferential changes of variables. Then we construct the solutions of the nonlinear problem by using a quasilinear iterative scheme à la Kato.

Quasilinear PDEs, Interpolation Spaces and Hölderian mappings

Quasilinear PDEs, Interpolation Spaces and Hölderian mappings

Boundedness of Wolff-type potentials and applications to PDEs

We provide a short proof of a sharp rearrangement estimate for a generalized version of a potential of Wolff–Havin–Maz’ya type. As a consequence, we prove a reduction principle for that integral operators, that is, a characterization of those rearrangement invariant spaces between which the potentials are bounded via a one-dimensional inequality of Hardy-type.Since the special case of the mentioned potential is known to control precisely very weak solutions to a broad class of quasilinear elliptic PDEs of non-standard growth, we infer the local regularity properties of the solutions in rearrangement invariant spaces for prescribed classes of data.

A large deviation principle for reflected SPDEs on infinite spatial domain

In this paper, we study a large deviation principle for a reflected stochastic partial differential equation on infinite spatial domain. A new sufficient condition for the weak convergence criterion proposed by Matoussi, Sabbagh and Zhang [A. Matoussi, W. Sabbagh and T.-S. Zhang, Large deviation principles of obstacle problems for quasilinear stochastic PDEs, Appl. Math. Optim. 83(2) (2021) 849–879] plays an important role in the proof.

Uniform Lipschitz estimates up to the boundary for singular perturbation problem for some nonlinear elliptic PDEs with unbounded ingredients

We prove uniform up to the boundary gradient estimates for one phase nonlinear inhomogeneous singular perturbation problems with unbounded measurable ingredients governed by fully nonlinear elliptic equations. We present similar results for quasilinear PDEs with bounded RHS. Our proof is based on the Lipschitz regularity up to the boundary for free boundary problems (FBP) found in Braga and Moreira (2022).

An Inverse Problem for the Porous Medium Equation with Partial Data and a Possibly Singular Absorption Term

In this paper we prove uniqueness in the inverse boundary value problem for the three coefficient functions in the porous medium equation with an absorption term with , , with the space dimension 2 or higher. This is a degenerate parabolic type quasilinear PDE which has been used as a model for phenomena in fields such as gas flow (through a porous medium), plasma physics, and population dynamics. In the case when a priori, we prove unique identifiability with data supported in an arbitrarily small part of the boundary. Even for the global problem we improve on previous work by obtaining uniqueness with a finite (rather than infinite) time of observation and also by introducing the additional absorption term .

Sparse optimal control of a quasilinear elliptic PDE in measure spaces

<p style='text-indent:20px;'>We prove existence of optimal controls for sparse optimal control of a quasilinear elliptic equation in measure spaces and derive first-order necessary optimality conditions. Under additional assumptions also second-order necessary and sufficient optimality conditions are obtained.</p>

Sobolev space weak solutions to one kind of quasilinear parabolic partial differential equations related to forward-backward stochastic differential equations

This paper is concerned with the Sobolev type weak solutions of one class of second order quasilinear parabolic partial differential equations (PDEs, for short). First of all, similar to Feng, Wang and Zhao [9] and Wu and Yu [29], we use a family of coupled forward-backward stochastic differential equations (FBSDEs, for short) which satisfy the monotonous assumption to represent the classical solutions of the quasilinear PDEs. Then, based on the classical solutions of a family of PDEs approximating the weak solutions of the quasilinear PDEs, we prove the existence of the weak solutions. Moreover, the principle of norm equivalence is employed to link FBSDEs and PDEs to obtain the uniqueness of the weak solutions. In summary, we provide a probabilistic interpretation for the weak solutions of quasilinear PDEs, which enriches the theory of nonlinear PDEs.

A Carleman-based numerical method for quasilinear elliptic equations with over-determined boundary data and applications

We propose a new iterative scheme to compute the numerical solution to an over-determined boundary value problem for a general quasilinear elliptic PDE. The main idea is to repeatedly solve its linearization by using the quasi-reversibility method with a suitable Carleman weight function. The presence of the Carleman weight function allows us to employ a Carleman estimate to prove the convergence of the sequence generated by the iterative scheme above to the desired solution. The convergence of the iteration is fast at an exponential rate without the need of an initial good guess. We apply this method to compute solutions to some general quasilinear elliptic equations and a large class of first-order Hamilton-Jacobi equations. Numerical results are presented.

Two-grid hp-version discontinuous Galerkin finite element methods for quasilinear elliptic PDEs on agglomerated coarse meshes

This article considers the extension of two-grid hp-version discontinuous Galerkin finite element methods for the numerical approximation of second-order quasilinear elliptic boundary value problems of monotone type to the case when agglomerated polygonal/polyhedral meshes are employed for the coarse mesh approximation. We recall that within the two-grid setting, while it is necessary to solve a nonlinear problem on the coarse approximation space, only a linear problem must be computed on the original fine finite element space. In this article, the coarse space will be constructed by agglomerating elements from the original fine mesh. Here, we extend the existing a priori and a posteriori error analysis for the two-grid hp-version discontinuous Galerkin finite element method from Congreve et al. [1] for coarse meshes consisting of standard element shapes to include arbitrarily agglomerated coarse grids. Moreover, we develop an hp-adaptive two-grid algorithm to adaptively design the fine and coarse finite element spaces; we stress that this is undertaken in a fully automatic manner, and hence can be viewed as blackbox solver. Numerical experiments are presented for two- and three-dimensional problems to demonstrate the computational performance of the proposed hp-adaptive two-grid method.

On the Eigenvalues of the Fermionic Angular Eigenfunctions in the Kerr Metric.

In view of a result recently published in the context of the deformation theory of linear Hamiltonian systems, we reconsider the eigenvalue problem associated with the angular equation arising after the separation of the Dirac equation in the Kerr metric, and we show how a quasilinear first order PDE for the angular eigenvalues can be derived efficiently. We also prove that it is not possible to obtain an ordinary differential equation for the eigenvalues when the role of the independent variable is played by the particle energy or the black hole mass. Finally, we construct new perturbative expansions for the eigenvalues in the Kerr case and obtain an asymptotic formula for the eigenvalues in the case of a Kerr naked singularity.

Numerical approximation of singular forward-backward SDEs

In this work, we study the numerical approximation of a class of singular fully coupled forward backward stochastic differential equations. These equations have a degenerate forward component and non-smooth terminal condition. They are used, for example, in the modelling of carbon market [1] and are linked to scalar conservation law perturbed by a diffusion. Classical FBSDEs methods fail to capture the correct entropy solution to the associated quasi-linear PDE. We introduce a splitting approach that circumvent this difficulty by treating differently the numerical approximation of the diffusion part and the non-linear transport part. Under the structural condition guaranteeing the well-posedness of the singular FBSDEs [2], we show that the splitting method is convergent with a rate 1/2. We implement the splitting scheme combining non-linear regression based on deep neural networks and conservative finite difference schemes. The numerical tests show very good results in possibly high dimensional framework.

The Gradient Descent Method for the Convexification to Solve Boundary Value Problems of Quasi-Linear PDEs and a Coefficient Inverse Problem

We study the global convergence of the gradient descent method of the minimization of strictly convex functionals on an open and bounded set of a Hilbert space. Such results are unknown for this type of sets, unlike the case of the entire Hilbert space. Then, we use our result to establish a general framework to numerically solve boundary value problems for quasi-linear partial differential equations with noisy Cauchy data. The procedure involves the use of Carleman weight functions to convexify a cost functional arising from the given boundary value problem and thus to ensure the convergence of the gradient descent method above. We prove the global convergence of the method as the noise tends to 0. The convergence rate is Lipschitz. Next, we apply this method to solve a highly nonlinear and severely ill-posed coefficient inverse problem, which is the so-called back scattering inverse problem. This problem has many real-world applications. Numerical examples are presented.

Paracontrolled calculus for quasilinear singular PDEs

We develop further in this work the high order paracontrolled calculus setting to deal with the analytic part of the study of quasilinear singular PDEs. Continuity results for a number of operators are proved for that purpose. Unlike the regularity structures approach of the subject by Gerencser & Hairer and Otto, Sauer, Smith & Weber, or Furlan & Gubinelli’ study of the two dimensional quasilinear parabolic Anderson model equation, we do not use parametrised families of models or paraproducts to set the scene. We use instead infinite dimensional paracontrolled structures that we introduce here.