arXiv subjects
Publications and source records attributed to Marcus Waurick.
In this article we provide a method for establishing operator-type error estimates between solutions to rapidly oscillating evolutionary equations and their homogenised counter parts. This method is exemplified by applications to the wave, heat and finally thermoelastic evolutionary systems.
We present an application of recent well-posedness results in the theory of delay differential equations for ordinary differential equations arXiv:2308.04730 to a generalized population model for stem cell maturation. The weak approach using Sobolev-spaces we take allows for a larger class of initial prehistories and makes checking the requirements for well-posedness of such a model considerably easier compared to previous approaches. In fact the present approach is a possible means to guarantee that the solution manifold is not empty, which is a necessary requirement for a $C^{1}$-approach to work.
Given an energy-dissipating port-Hamiltonian system, we characterise the exponential decay of the energy via the model ingredients under mild conditions on the Hamiltonian density $\mathcal{H}$. In passing, we obtain generalisations for sufficient criteria in the literature by making regularity requirements for the Hamiltonian density largely obsolete. The key assumption for the characterisation (and thus the sufficient critera) to work is a uniform bound for a family of fundamental solutions for some non-autonomous, finite-dimensional ODEs. Regularity conditions on $\mathcal{H}$ for previously known criteria such as bounded variation are shown to imply the key assumption. Exponentially stable port-Hamiltonian systems with irregular $L_{\infty}$-densities are provided.
We provide certain compatibility conditions for m-accretive operators such that the adjoint of the sum is given by the closure of the sum of the respective adjoint. We revisit the proof of well-posedness of the abstract class of partial differential-algebraic equations known as evolutionary equations. We show that the general mechanism provided here can be applied to establish well-posedness for non-autonomous evolutionary equations with $L_{\infty}$-coefficients thus not only generalising known results but opening up new directions other methods such as evolution families have a hard time to come by.
We characterise asymptotic stability of port-Hamiltonian systems by means of matrix conditions using well-known resolvent criteria from $C_0$-semigroup theory. The idea of proof is based on a recent characterisation of exponential stability established in [Trostorff, Waurick, arXiv:2201.10367], which was inspired by a structural observation concerning port-Hamiltonian systems from [Picard et al., arXiv:2106.10937, accepted in SIAM SICON]. We apply the result to study the asymptotic stability of a network of vibrating strings.
In this paper we consider an abstract Cauchy problem for a Maxwell system modelling electromagnetic fields in the presence of an interface between optical media. The electric polarization is in general time-delayed and nonlinear, turning the macroscopic Maxwell equations into a system of nonlinear integro-differential equations. Within the framework of evolutionary equations, we obtain well-posedness in function spaces exponentially weighted in time and of different spatial regularity and formulate various conditions on the material functions, leading to exponential stability on a bounded domain.
We regard anisotropic Maxwell's equations as a boundary control and observation system on a bounded Lipschitz domain. The boundary is split into two parts: one part with perfect conductor boundary conditions and the other where the control and observation takes place. We apply a feedback control law that stabilizes the system in a semi-uniform manner without any further geometric assumption on the domain. This will be achieved by separating the equilibriums from the system and show that the remaining system is described by an operator with compact resolvent. Furthermore, we will apply a unique continuation principle on the resolvent equation to show that there are no eigenvalues on the imaginary axis.
Considering evolutionary equations in the sense of Picard, we identify a certain topology for material laws rendering the solution operator continuous if considered as a mapping from the material laws into the set of bounded linear operators, where the latter are endowed with the weak operator topology. The topology is a topology of vector-valued holomorphic functions and provides a lift of the previously introduced nonlocal $\mathrm{H}$-topology to particular holomorphic functions. The main area of applications are nonlocal homogenisation results for coupled systems of time-dependent partial differential equations. A continuous dependence result for a nonlocal model for cell migration is also provided.
We study homogenisation problems for divergence form equations with rapidly sign-changing coefficients. With a focus on problems with piecewise constant, scalar coefficients in a ($d$-dimensional) crosswalk type shape, we will provide a limit procedure in order to understand potentially ill-posed and non-coercive settings. Depending on the integral mean of the coefficient and its inverse, the limits can either satisfy the usual homogenisation formula for stratified media, be entirely degenerate or be a non-local differential operator of 4th order. In order to mark the drastic change of nature, we introduce the `inner spectrum' for conductivities. We show that even though $0$ is contained in the inner spectrum for all strictly positive periods, the limit inner spectrum can be empty. Furthermore, even though the spectrum was confined in a bounded set uniformly for all strictly positive periods and not containing $0$, the limit inner spectrum might have $0$ as an essential spectral point and accumulate at $\infty$ or even be the whole of $\mathbb{C}$. This is in stark contrast to the classical situation, where it is possible to derive upper and lower bounds in terms of the values assumed by the coefficients in the pre-asymptotics. In passing, we also develop a theory for Sturm--Liouville type operators with indefinite weights, reduce the question on solvability of the associated Sturm--Liouville operator to understanding zeros of a certain explicit polynomial and show that generic real perturbations of piecewise constant coefficients lead to continuously invertible Sturm--Liouville expressions.
We study port-Hamiltonian systems on a familiy of intervals and characterise all boundary conditions leading to $m$-accretive realisations of the port-Hamiltonian operator and thus to generators of contractive semigroups. The proofs are based on a structural observation that the port-Hamiltonian operator can be transformed to the derivative on a familiy of reference intervals by suitable congruence relations allowing for studying the simpler case of a transport equation. Moreover, we provide well-posedness results for associated control problems without assuming any additional regularity of the operators involved.
We study the curl-div-system with variable coefficients and a nonlocal homogenisation problem associated with it. Using, in part refining, techniques from nonlocal $H$-convergence for closed Hilbert complexes, we define the appropriate topology for possibly nonlocal and non-periodic coefficients in curl-div systems to model highly oscillatory behaviour of the coefficients on small scales. We address curl-div systems under various boundary conditions and analyse the limit of the ratio of small scale over large scale tending to zero. Already for standard Dirichlet boundary conditions and local coefficients the limit system is nontrivial and unexpected. Furthermore, we provide an analysis of highly oscillatory local coefficients for a curl-div system with impedance type boundary conditions relevant in scattering theory for Maxwell's equations and relate the abstract findings to local $H$-convergence and weak$*$-convergence of the coefficients.
We present an abstract framework for parabolic type equations which possibly degenerate on certain spatial regions. The degeneracies are such that the equations under investigation may admit a type change ranging from parabolic to elliptic type problems. The approach is an adaptation of the concept of so-called evolutionary equations in Hilbert spaces and is eventually applied to a degenerate eddy current type model. The functional analytic setting requires quite minimal assumptions on the boundary and interface regularity. The degenerate eddy current model is justified as a limit model of non-degenerate hyperbolic models of Maxwell's equations.
We discuss the issue of maximal regularity for evolutionary equations with non-autonomous coefficients. Here evolutionary equations are abstract partial-differential algebraic equations considered in Hilbert spaces. The catch is to consider time-dependent partial differential equations in an exponentially weighted Hilbert space. In passing, one establishes the time derivative as a continuously invertible, normal operator admitting a functional calculus with the Fourier--Laplace transformation providing the spectral representation. Here, the main result is then a regularity result for well-posed evolutionary equations solely based on an assumed parabolic-type structure of the equation and estimates of the commutator of the coefficients with the square root of the time derivative. We thus simultaneously generalise available results in the literature for non-smooth domains. Examples for equations in divergence form, integro-differential equations, perturbations with non-autonomous and rough coefficients as well as non-autonomous equations of eddy current type are considered.
We revisit a construction principle of Fredholm operators using Hilbert complexes of densely defined, closed linear operators and apply this to particular choices of differential operators. The resulting index is then computed with the help of explicitly describing the dimension of the cohomology groups of generalised (`harmonic') Dirichlet and Neumann tensor fields. The main results of this contribution are the computation of the indices of Dirac-type operators associated to the elasticity complex and the newly found biharmonic complex, relevant for the biharmonic equation, elasticity, and for the theory of general relativity. The differential operators are of mixed order and cannot be seen as leading order type with relatively compact perturbation. As a by-product we present a comprehensive description of the underlying generalised Dirichlet-Neumann vector and tensor fields defining the respective cohomology groups, including an explicit construction of bases in terms of topological invariants, which are of both analytical and numerical interest. Though being defined by certain projection mechanisms, we shall present a way of computing these basis functions by solving certain PDEs given in variational form. For all of this we rephrase core arguments in the work of Rainer Picard [1982] applied to the de Rham complex and use them as a blueprint for the more involved cases presented here. In passing, we also provide new vector-analytical estimates of generalised Poincare-Friedrichs type useful for elasticity or the theory of general relativity.
This is the final version of the lecture notes of the 23rd Internet Seminar on Evolutionary Equations, see also https://www.mat.tuhh.de/isem23/.
We study fractional differential equations of Riemann-Liouville and Caputo type in Hilbert spaces. Using exponentially weighted spaces of functions defined on $\mathbb{R}$, we define fractional operators by means of a functional calculus using the Fourier transform. Main tools are extrapolation- and interpolation spaces. Main results are the existence and uniqueness of solutions and the causality of solution operators for non-linear fractional differential equations.
In this article we study port-Hamiltonian partial differential equations on certain one-dimensional manifolds. We classify those boundary conditions that give rise to contraction semigroups. As an application we study port-Hamiltonian operators on networks whose edges can have finite or infinite length. In particular, we discuss possibly infinite networks in which the edge lengths can accumulate zero and port-Hamiltonian operators with Hamiltonians that neither are bounded nor bounded away from zero. We achieve this, by first providing a new description for maximal dissipative extensions of skew-symmetric operators. The main technical tool used for this is the notion of boundary systems. The latter generalizes the classical notion of boundary triple(t)s and allows to treat skew-symmetric operators with unequal deficiency indices. In order to deal with fairly general variable coefficients, we develop a theory of possibly unbounded, non-negative, injective weights on an abstract Hilbert space.
Many time-dependent linear partial differential equations of mathematical physics and continuum mechanics can be phrased in the form of an abstract evolutionary system defined on a Hilbert space. In this paper we discuss a general framework for homogenization (periodic and stochastic) of such systems. The method combines a unified Hilbert space approach to evolutionary systems with an operator-theoretic reformulation of the well-established periodic unfolding method in homogenization. Regarding the latter, we introduce a well-structured family of unitary operators on a Hilbert space that allows to describe and analyze differential operators with rapidly oscillating (possibly random) coefficients. We illustrate the approach by establishing periodic and stochastic homogenization results for elliptic partial differential equations, Maxwell's equations, and the wave equation.