-
Nonautonomous maximal parabolic regularity for nonsmooth quasilinear parabolic systems
Authors:
Hannes Meinlschmidt
Abstract:
In this paper we are concerned with $L^p$-maximal parabolic regularity for abstract nonautonomous parabolic systems and their quasilinear counterpart in negative Sobolev spaces incorporating mixed boundary conditions. Our results are derived in the setting of nonsmooth domains with mixed boundary conditions by an extrapolation technique which also yields uniform estimates for the parabolic solutio…
▽ More
In this paper we are concerned with $L^p$-maximal parabolic regularity for abstract nonautonomous parabolic systems and their quasilinear counterpart in negative Sobolev spaces incorporating mixed boundary conditions. Our results are derived in the setting of nonsmooth domains with mixed boundary conditions by an extrapolation technique which also yields uniform estimates for the parabolic solution operators. We require only very mild boundary regularity, not in the Lipschitz-class, and generally only bounded and measurable complex coefficients. The nonlinear functions in the quasilinear formulation can be nonlocal-in-time; this allows also to consider certain systems whose stationary counterpart fails to satisfy the usual ellipticity conditions.
△ Less
Submitted 21 December, 2023;
originally announced December 2023.
-
Global-in-time solutions for quasilinear parabolic PDEs with mixed boundary conditions in the Bessel dual scale
Authors:
Fabian Hoppe,
Hannes Meinlschmidt,
Ira Neitzel
Abstract:
We prove existence and uniqueness of global-in-time solutions in the $W^{-1,p}_D$-$W^{1,p}_D$-setting for abstract quasilinear parabolic PDEs with nonsmooth data and mixed boundary conditions, including a nonlinear source term with at most linear growth. Subsequently, we use a bootstrap** argument to achieve improved regularity of these global-in-time solutions within the functional-analytic set…
▽ More
We prove existence and uniqueness of global-in-time solutions in the $W^{-1,p}_D$-$W^{1,p}_D$-setting for abstract quasilinear parabolic PDEs with nonsmooth data and mixed boundary conditions, including a nonlinear source term with at most linear growth. Subsequently, we use a bootstrap** argument to achieve improved regularity of these global-in-time solutions within the functional-analytic setting of the interpolation scale of Bessel-potential dual spaces $H^{θ-1,p}_D = [W^{-1,p}_D,L^p]_θ$ with $θ\in [0,1]$ for the abstract equation under suitable additional assumptions. This is done by means of new nonautonomous maximal parabolic regularity results for nonautonomous differential operators operators with Hölder-continuous coefficients on Bessel-potential spaces. The upper limit for $θ$ is derived from the maximum degree of Hölder continuity for solutions to an elliptic mixed boundary value problem in $L^p$.
△ Less
Submitted 8 March, 2023;
originally announced March 2023.
-
Hölder Regularity for Domains of Fractional Powers of Elliptic Operators with Mixed Boundary Conditions
Authors:
Robert Haller,
Hannes Meinlschmidt,
Joachim Rehberg
Abstract:
This work is about global Hölder regularity for solutions to elliptic partial differential equations subject to mixed boundary conditions on irregular domains. There are two main results. In the first, we show that if the domain of the realization of an elliptic differential operator in a negative Sobolev space with integrability $q > d$ embeds into a space of Hölder continuous functions, then so…
▽ More
This work is about global Hölder regularity for solutions to elliptic partial differential equations subject to mixed boundary conditions on irregular domains. There are two main results. In the first, we show that if the domain of the realization of an elliptic differential operator in a negative Sobolev space with integrability $q > d$ embeds into a space of Hölder continuous functions, then so do the domains of suitable fractional powers of this operator. The second main result then establishes that the premise of the first is indeed satisfied. The proof goes along the classical techniques of localization, transformation and reflection which allows to fall back to the classical results of Ladyzhenskaya or Kinderlehrer. One of the main features of our approach is that we do not require Lipschitz charts for the Dirichlet boundary part, but only an intriguing metric/measure-theoretic condition on the interface of Dirichlet- and Neumann boundary parts. A similar condition was posed in a related work by ter Elst and Rehberg in 2015, but the present proof is much simpler, if only restricted to space dimension up to 4.
△ Less
Submitted 7 October, 2022;
originally announced October 2022.
-
On the numerical range of second order elliptic operators with mixed boundary conditions in $L^p$
Authors:
Ralph Chill,
Hannes Meinlschmidt,
Joachim Rehberg
Abstract:
We consider second order elliptic operators with real, nonsymmetric coefficient functions which are subject to mixed boundary conditions. The aim of this paper is to provide uniform resolvent estimates for the realizations of these operators on $L^p$ in a most direct way and under minimal regularity assumptions on the domain. This is analogous to the main result in [Chill et al. 2006]. Ultracontra…
▽ More
We consider second order elliptic operators with real, nonsymmetric coefficient functions which are subject to mixed boundary conditions. The aim of this paper is to provide uniform resolvent estimates for the realizations of these operators on $L^p$ in a most direct way and under minimal regularity assumptions on the domain. This is analogous to the main result in [Chill et al. 2006]. Ultracontractivity of the associated semigroups is also considered. All results are for two different form domains realizing mixed boundary conditions. We further consider the case of Robin -- instead of classical Neumann -- boundary conditions and also allow for operators inducing dynamic boundary conditions. The results are complemented by an intrinsic characterization of elements of the form domains inducing mixed boundary conditions.
△ Less
Submitted 12 May, 2020;
originally announced May 2020.
-
Extrapolated Elliptic Regularity and Application to the van Roosbroeck system of Semiconductors
Authors:
Hannes Meinlschmidt,
Joachim Rehberg
Abstract:
In this paper we present a general extrapolated elliptic regularity result for second order differential operators in divergence form on fractional Sobolev-type spaces of negative order $X^{s-1,q}_D(Ω)$ for $s > 0$ small, including mixed boundary conditions and with a fully nonsmooth geometry of $Ω$ and the Dirichlet boundary part $D$. We expect the result to find applications in the analysis of n…
▽ More
In this paper we present a general extrapolated elliptic regularity result for second order differential operators in divergence form on fractional Sobolev-type spaces of negative order $X^{s-1,q}_D(Ω)$ for $s > 0$ small, including mixed boundary conditions and with a fully nonsmooth geometry of $Ω$ and the Dirichlet boundary part $D$. We expect the result to find applications in the analysis of nonlinear parabolic equations, in particular for quasilinear problems or when treating coupled systems of equations. To demonstrate the usefulness of our result, we give a new proof of local-in-time existence and uniqueness for the van Roosbroeck system for semiconductor devices which is much simpler than already established proofs.
△ Less
Submitted 25 March, 2020;
originally announced March 2020.
-
Optimal control of an abstract evolution variational inequality with application to homogenized plasticity
Authors:
Hannes Meinlschmidt,
Christian Meyer,
Stephan Walther
Abstract:
The paper is concerned with an optimal control problem governed by a state equation in form of a generalized abstract operator differential equation involving a maximal monotone operator. The state equation is uniquely solvable, but the associated solution operator is in general not Gâteaux-differentiable. In order to derive optimality conditions, we therefore regularize the state equation and its…
▽ More
The paper is concerned with an optimal control problem governed by a state equation in form of a generalized abstract operator differential equation involving a maximal monotone operator. The state equation is uniquely solvable, but the associated solution operator is in general not Gâteaux-differentiable. In order to derive optimality conditions, we therefore regularize the state equation and its solution operator, respectively, by means of a (smoothed) Yosida approximation. We show convergence of global minimizers for regularization parameter tending to zero and derive necessary and sufficient optimality conditions for the regularized problems. The paper ends with an application of the abstract theory to optimal control of homogenized quasi-static elastoplasticity.
△ Less
Submitted 11 May, 2020; v1 submitted 30 September, 2019;
originally announced September 2019.
-
Optimal control of an energy-critical semilinear wave equation in 3D with spatially integrated control constraints
Authors:
Karl Kunisch,
Hannes Meinlschmidt
Abstract:
This paper is concerned with an optimal control problem subject to the $H^1$-critical defocusing semilinear wave equation on a smooth and bounded domain in three spatial dimensions. Due to the criticality of the nonlinearity in the wave equation, unique solutions to the PDE obeying energy bounds are only obtained in special function spaces related to Strichartz estimates and the nonlinearity. The…
▽ More
This paper is concerned with an optimal control problem subject to the $H^1$-critical defocusing semilinear wave equation on a smooth and bounded domain in three spatial dimensions. Due to the criticality of the nonlinearity in the wave equation, unique solutions to the PDE obeying energy bounds are only obtained in special function spaces related to Strichartz estimates and the nonlinearity. The optimal control problem is complemented by pointwise-in-time constraints of Trust-Region type $\|u(t)\|_{L^2(Ω)} \leq ω(t)$. We prove existence of globally optimal solutions to the optimal control problem and give optimality conditions of both first- and second order necessary as well as second order sufficient type. A nonsmooth regularization term for the natural control space $L^1(0,T;L^2(Ω))$, which also promotes sparsity in time of an optimal control, is used in the objective functional.
△ Less
Submitted 5 July, 2019;
originally announced July 2019.
-
$L^\infty$-estimates for the Neumann problem on general domains
Authors:
A. F. M. ter Elst,
Hannes Meinlschmidt,
Joachim Rehberg
Abstract:
Let $Ω\subset \mathbb{R}^d$ be bounded open and connected. Suppose that $W^{1,2}(Ω) \subset L^r(Ω)$ for some $r > 2$. Let $A$ be a pure second-order elliptic differential operator with bounded real measurable coefficients on $Ω$. Let $q > d$ with $\frac{1}{2}-\frac{1}{q} > \frac{1}{r}$. If $p$ is the dual exponent of $q$, then we show that the pre-image of the space $(W^{1,p}(Ω))^*$ under the map…
▽ More
Let $Ω\subset \mathbb{R}^d$ be bounded open and connected. Suppose that $W^{1,2}(Ω) \subset L^r(Ω)$ for some $r > 2$. Let $A$ be a pure second-order elliptic differential operator with bounded real measurable coefficients on $Ω$. Let $q > d$ with $\frac{1}{2}-\frac{1}{q} > \frac{1}{r}$. If $p$ is the dual exponent of $q$, then we show that the pre-image of the space $(W^{1,p}(Ω))^*$ under the map $A$ is contained in the space of bounded functions on $Ω$. The considerations are complemented by results on optimal Sobolev regularity for $A$.
△ Less
Submitted 23 November, 2018;
originally announced November 2018.
-
The full Keller-Segel model is well-posed on nonsmooth domains
Authors:
Dirk Horstmann,
Hannes Meinlschmidt,
Joachim Rehberg
Abstract:
In this paper we prove that the full Keller-Segel system, a quasilinear strongly coupled reaction-crossdiffusion system of four parabolic equations, is well-posed in space dimensions 2 and 3 in the sense that it always admits an unique local-in-time solution in an adequate function space, provided that the initial values are suitably regular. The proof is done via an abstract solution theorem for…
▽ More
In this paper we prove that the full Keller-Segel system, a quasilinear strongly coupled reaction-crossdiffusion system of four parabolic equations, is well-posed in space dimensions 2 and 3 in the sense that it always admits an unique local-in-time solution in an adequate function space, provided that the initial values are suitably regular. The proof is done via an abstract solution theorem for nonlocal quasilinear equations by Amann and is carried out for general source terms. It is fundamentally based on recent nontrivial elliptic and parabolic regularity results which hold true even on rather general nonsmooth spatial domains. This enables us to work in a nonsmooth setting which is not available in classical parabolic systems theory. Apparently, there exists no comparable existence result for the full Keller-Segel system up to now. Due to the large class of possibly nonsmooth domains admitted, we also obtain new results for the "standard" Keller-Segel system consisting of only two equations as a special case.
△ Less
Submitted 20 April, 2017; v1 submitted 16 September, 2016;
originally announced September 2016.
-
Optimal Control of the Thermistor Problem in Three Spatial Dimensions
Authors:
Hannes Meinlschmidt,
Christian Meyer,
Joachim Rehberg
Abstract:
This paper is concerned with the state-constrained optimal control of the three-dimensional thermistor problem, a fully quasilinear coupled system of a parabolic and elliptic PDE with mixed boundary conditions. This system models the heating of a conducting material by means of direct current. Local existence, uniqueness and continuity for the state system are derived by employing maximal paraboli…
▽ More
This paper is concerned with the state-constrained optimal control of the three-dimensional thermistor problem, a fully quasilinear coupled system of a parabolic and elliptic PDE with mixed boundary conditions. This system models the heating of a conducting material by means of direct current. Local existence, uniqueness and continuity for the state system are derived by employing maximal parabolic regularity in the fundamental theorem of Prüss. Global solutions are addressed, which includes analysis of the linearized state system via maximal parabolic regularity, and existence of optimal controls is shown if the temperature gradient is under control. The adjoint system involving measures is investigated using a duality argument. These results allow to derive first-order necessary conditions for the optimal control problem in form of a qualified optimality system. The theoretical findings are illustrated by numerical results.
△ Less
Submitted 14 March, 2016;
originally announced March 2016.