Abstract
We prove a compactness result related to G-convergence for autonomous evolutionary equations in the sense of Picard. Compared to previous work related to applications, we do not require any boundedness or regularity of the underlying spatial domain; nor do we assume any periodicity or ergodicity assumption on the potentially oscillatory part. In terms of abstract evolutionary equations, we remove any compactness assumptions of the resolvent modulo kernel of the spatial operator. To achieve the results, we introduced a slightly more general class of material laws. As a by-product, we also provide a criterion for G-convergence for time-dependent equations solely in terms of static equations.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
The theory of evolutionary equations was initiated by the seminal paper [6]. It comprises of a space-time Hilbert space framework for (predominantly) time-dependent partial differential equations. The restriction to the Hilbert space case and the particular focus on non-homogeneous right-hand sides rather than on initial value problems led to a fairly wide class of examples. This includes for instance mixed type problems with rough interfaces other more traditional approaches like semi-group theory failed to cover. In a nutshell, evolutionary equations are operator equations of the form
set in a suitable space-time Hilbert space to be introduced in detail below. For the time being it is enough to think of \(\partial _t\) as an operator realisation of the time-derivative, A a skew-selfadjoint operator (usually comprising of first order spatial derivatives) in a (separable) spatial Hilbert space H canonically extended to space-time, and \(\mathcal {M}\) to be a bounded linear operator in space-time assumed to be causal and invariant under time-shifts. As a consequence, see [10, Theorem 8.2.1] and Theorem 2.3 below, there exists a unique bounded, holomorphic operator-valued function \(M:\mathbb {C}_{{\text {Re}}>\nu } \rightarrow L(H)\) defined on a half space \(\mathbb {C}_{{\text {Re}}>\nu }{:}{=}\{z\in \mathbb {C}; {\text {Re}}z>\nu \}\) for some \(\nu >0\) such that
where the latter is meant in a sense of an explicit functional calculus by representing the above introduced time-derivative as a multiplication operator. In applications, the constitutive relations are encoded in \(\mathcal {M}\) (and thus in M); therefore M is also called material law and \(\mathcal {M}\) (the associated) material law operator. The versatility of evolutionary equations can in part also be explained by its easy solution criterion, which is to show that there exist \(\rho \ge \nu \) and \(\alpha >0\) such that
Given the latter condition, \(\overline{(\partial _t \mathcal {M} +A)}\) is continuously invertible with norm of the inverse bounded by \(1/\alpha \).
Since 2009 a great deal of research has been devoted to evolutionary equations and, among other things, generalisations to non-autonomous and non-linear cases were studied and the asymptotic behaviour of solutions was addressed, see the monographs [7, 8] for the theory mainly focussing on the presentation of various examples and the survey paper [9] as well as the recent book [10] for a wrap up not only of examples but also of the various other aspects of the theory. Among these is the study of homogenisation problems associated to the theory of evolutionary equations, which started with the PhD Thesis [17] and has been further developed since then. Within the theory of evolutionary equations, (autonomous) homogenisation problems are of the form
for a sequence of holomorphic functions \((M_n)_n\) defined on a common half space. Following Spagnolo [12, 13] and given a skew-selfadjoint operator A on H, we say that a (locally bounded) sequence of material laws \((M_n)_n\) satisfying (1), \(\alpha \) being fixed throughout the paper, G-converges to a (holomorphic, operator-valued) M, if M satisfies (1) and
in the weak operator topology. The question of G-compactness in the present setting can now be written as follows.
Problem 1.1
For any bounded sequence of material laws \((M_n)_n\) satisfying (1) can we find a subsequence \((M_{\pi (n)})_n\) and a material law M satisfying (1) such that \((M_{\pi (n)})_n\) G-converges to M?
In several research contributions, this problem has been addressed. We refer to the references [18, 20] for situations with \(A=0\), to [19, 21] for \(A\ne 0\) with compact resolvent and to [22] for a hybrid of these two cases; see also the example concerning Maxwell’s equations in [24] and [25, Sections 5 and 6]; we particularly refer to [1] for the most general situation up-to-date. In these references the overarching strategy always is the same: firstly identify suitable criteria for the convergence of \((M_n)_n\) and for the operator A to have \(\overline{(\partial _t {M}_{n}(\partial _t) +A)}^{-1}\rightarrow \overline{(\partial _t {M}(\partial _t) +A)}^{-1}\) in the weak operator topology and, then secondly, use an operator-valued analogue of Montel’s theorem (see Theorem 3.14 below) in order to guarantee the satisfaction of the derived criteria for a subsequence of \((M_n)_n\). This strategy of proof seemingly necessitates conditions on A. More precisely, all of the results available in the literature share that A is assumed to have compact resolvent modulo kernel, that is,
In some cases [22] additional structural assumptions on the sequence \((M_n)_n\) were necessary to obtain the satisfaction of (1) also for the G-limit M. Altogether, the interplay of conditions for \((M_n)_n\) and A is rather involved and the respective proofs may be considered quite technical with demanding computations, see [22], or necessitate the involvement of more (abstract) theory, see [1]. In any case, the techniques applied do not work without condition (2).
It is the aim of the present contribution to entirely remove these intricacies and subtleties and to completely change the point of view: Instead of finding conditions for \((M_n)_n\) (and A) to obtain a continuous dependence result (see also [1, 23]), we take a step back and assume weak operator topology convergence of the solution operators \(\overline{(\partial _t {M}_{n}(\partial _t) +A)}^{-1}\) to some space-time operator B right away and then, from there, try to derive the existence of a material law M satisfying (1) such that \(B=\overline{(\partial _t {M}(\partial _t) +A)}^{-1}\). The G-compactness statement can then be obtained by applying sequential compactness of bounded sets of bounded linear operators defined on separable Hilbert spaces. For this strategy to work we enlarge the usually considered class of holomorphic functions M by allowing for M to be unbounded at \(\infty \), so that M is then a generalised material law; see the next section for the precise definition. The G-compactness statement will be obtained within this bigger class.
The strategy of proof is based on the proof of a similar result for so-called Friedrichs systems in a Hilbert space setting, see [2, 3]. These results are conveniently formulated for predominantly static partial differential equations. The abstract nature of the result in [2], however, also allows for time-dependence.
Finally, the main contribution of the present article, G-compactness for evolutionary equations, reads as follows; recall \(\rho \ge \nu >0\) (see also Theorem 3.3).
Theorem 1.2
Let \((M_n)_n\) be a locally bounded sequence of generalised material laws all satisfying (1) and let A be skew-selfadjoint. Then there exist a subsequence \((M_{\pi (n)})_n\) and a generalised material law M satisfying (1) such that, in the weak operator topology,
that is, \((M_{\pi (n)})_n\) G-converges to M.
Note that any bounded sequence \((M_n)_n\) of material laws is also a locally bounded sequence of generalised material laws (see Sect. 2) so that Theorem 1.2 applies to all the cases discussed in the literature so far.
We briefly comment on the consequences of the removal of the additional conditions on A and \((M_n)_n\) that were previously used in the literature. To start off with, we generalise all G-compactness statements available for evolutionary equation simultaneously. The very technical proof of a condition similar to (1) for the limit material law in [22] can be omitted and the present result can be used instead. The involved conditions for A can also be lifted in this reference. Even in the case of A satisfying condition (2), the material laws are not required to a priori converge in the so-called parametrised Schur topology (see [1] for a corresponding definition) in order to apply a corollary of one of the main results in [1]. In fact, a combination of the results presented here and [1] even implies convergence of the material laws in the parametrised Schur topology, if they G-converged in the first place.
For applications, the removal of conditions on A implies that the main theorem of the present contribution now applies similarly to all open subsets of \(\mathbb {R}^d\) as underlying spatial domain and no regularity conditions are needed anymore. Moreover, we shall see that it suffices to consider time-independent(!) problems to deduce G-convergence for time-dependent problems on arbitrary underlying spatial domains. The missing structural assumptions on \((M_n)_n\) now immediately yield G-compactness statements also for highly oscillatory mixed type equations for high-dimensional equations.
In passing of the proof of G-compactness, we also provide a criterion for G-convergence, which is the second main contribution of the manuscript at hand. The result can be shortened to the following (see also Theorem 3.17).
Theorem 1.3
Let \((M_n)_n\) be a locally bounded sequence of generalised material laws all satisfying (1). Then the following conditions are equivalent:
-
(i)
There exists a generalised material law M with \((M_n)_n\) G-converging to M.
-
(ii)
For all sufficiently large \(\mu >0\) and all \(\psi \in H\), the sequence \((\phi _{n})_n\) in \({\text {dom}}(A)\) given by
$$\begin{aligned} \mu M_n (\mu ) \phi _{n}+A\phi _{n} = \psi \end{aligned}$$is weakly convergent.
We sketch out the plan of the paper. The next section summarises the functional analytic framework of evolutionary equations and provides the precise definitions and notions needed in the following. In Sect. 3 we state and prove the main results of the paper and in Sect. 4 we apply our finding to transport equations with highly oscillatory coefficients. We conclude with Sect. 5 adding some closing remarks.
2 Preliminaries–evolutionary equations
This section is devoted to briefly summarise the notion of evolutionary equations. For the details, we shall frequently refer to the recent monograph [10].
Throughout this section, let H be a Hilbert space. Let \(\rho \in \mathbb {R}\). Then we define \(L_{2,\rho }(\mathbb {R};H)\), an exponentially weighted H-valued \(L_2\)-space, as follows
with the obvious norm and scalar product. It is not difficult to see that \(L_{2,\rho }(\mathbb {R};H)\) actually is a Hilbert space, see [10, Proposition 3.1.4 and p. 42].
We define
the (weak) derivative with maximal domain
For convenience, we shall often refrain from writing an additional \(\rho \) in the index of \(\partial _t\) as the particular value of \(\rho \) is mostly clear from the context (or, if any fixed \(\rho \) will do). If the particuar value of \(\rho \) is of some concern, we shall however also write \(\partial _{t,\rho }\). In any case, for all \(\rho \ne 0\), \(\partial _{t,\rho }\) is continuously invertible; for \(\rho >0\), we have
see [10, p. 43 and Proposition 4.1.1].
The so-defined derivative operator has an explicit spectral representation, which can be found using the Fourier–Laplace transformation \(\mathcal {L}_\rho :L_{2,\rho }(\mathbb {R};H)\rightarrow L_2(\mathbb {R};H)\). This operator is the unitary extension of the mapping assigning to each continuous function with compact support \(f\in C_c(\mathbb {R};H)\) its Fourier–Laplace transform \(\mathcal {L}_\rho f\) given by
see also [10, Remark 5.2.1]. Introducing
with maximal domain, we find
for all \(\rho \in \mathbb {R}\); see [10, Theorem 5.2.3]. The latter spectral representation yields a means to define operator-valued functions of \(\partial _t\). As it was highlighted in the introduction, already autonomous and causal operators dictate the consideration of holomorphic (operator-valued) functions of \(\partial _t\).
We say that M is a generalised material law, if \(M:{\text {dom}}(M)\subseteq \mathbb {C}\rightarrow L(H)\) is holomorphic and there exists \(\rho \in \mathbb {R}\) such that \(\mathbb {C}_{{\text {Re}}> \rho }\subseteq {\text {dom}}(M)\). The infimum over all such \(\rho \in \mathbb {R}\) is called abscissa of holomorphicity (of M) and denoted by \(s_{\text {h}}(M)\). A generalised material law is called material law, if, in addition, there exists \(\rho >s_{\text {h}}(M)\) such that
i.e. if M is bounded on some \(\mathbb {C}_{{\text {Re}}> \rho }\). The infimum over all \(\rho \) with the said properties defines the abscissa of boundedness (of M) and will be denoted by \(s_{\text {b}}(M)\), see [10, Section 5.3] for details. For a generalised material law M, we define the associated material law operator \(M(\partial _t)\) for \(\rho >s_{\text {h}}(M)\) via
where \(M(\text {i m} +\rho )\) defines a (potentially unbounded) multiplication operator endowed with maximal domain uniquely determined by
For a bounded material law M, the material law operator \( M( \partial _t)\) is independent of the particular choice of \(\rho \) in the sense that
as long as \(f\in L_{2,\rho }(\mathbb {R};H)\cap L_{2,\mu }(\mathbb {R};H)\) for \(\rho ,\mu >s_{\text {b}}(M)\), see [10, Theorem 5.3.6]. For later purposes we introduce the spaces
Let us note that then the above introduced mapping \(\Vert \cdot \Vert _{\nu ,\infty }\) represents a norm on \(\mathcal {M}(H,\nu )\). The fundamental theorem forming the foundation of the theory of evolutionary equations is Picard’s theorem, which we will provide next in a slightly more general form. For this we remark that for a closed and densely defined linear operator A on H, we denote its canonical extension to \(L_{2,\rho }(\mathbb {R};H)\) by the same name; the domain is then \(L_{2,\rho }(\mathbb {R};{\text {dom}}(A))\). Note that the canonical extension inherits the properties of being closed and densely defined. Moreover, if A is skew-selfadjoint on H, then so is its extension; see [10, Exercise 6.1]. A bounded linear operator \(\mathcal {S}\) on \(L_{2,\rho }(\mathbb {R};H)\) is called causal, if for all \(a\in \mathbb {R}\) and \(f\in L_{2,\rho }(\mathbb {R};H)\) we have
Theorem 2.1
(Picard’s Theorem, see e.g. [10, Theorem 6.2.1 and Remark 6.3.3]) Let M be a generalised material law and assume there exist \(\mu \ge s_{\text {h}}(M)\) and \(\alpha >0\) such that
Let \(A:{\text {dom}}(A)\subseteq H\rightarrow H\) be skew-selfadjoint.
Then for \(\rho >\mu \) the operator \(B{:}{=}\partial _t M(\partial _t)+A\) with domain \({\text {dom}}(\partial _{t}M(\partial _t))\cap L_{2,\rho }(\mathbb {R};{\text {dom}}(A))\) is closable in \(L_{2,\rho }(\mathbb {R};H)\). The closure of B is continuously invertible, \(\mathcal {S}{:}{=}\overline{B}^{-1}\) with \(\Vert \mathcal {S}\Vert \le 1/\alpha \) and \(\mathcal {S}\) is causal.
Remark 2.2
In Picard’s Theorem, by composition, the mapping
is L(H)-valued, bounded on \(\mathbb {C}_{{\text {Re}}\ge \mu }\), and holomorphic on \(\mathbb {C}_{{\text {Re}}>\rho }\) for all \(\rho >\mu \). Hence, N itself is a material law with \(s_{\text {b}}(N)\le \mu \). It is part of the proof of Picard’s Theorem in [10] to show that actually
holds. For this note that the proof provided in [10] does not require M to be bounded (cf. [10, Remark 6.3.3]).
For later purposes, we also recall a representation theorem for causal and autonomous operators on \(L_{2,\rho }(\mathbb {R};H)\). A bounded linear operator \(\mathcal {N}\) on \(L_{2,\rho }(\mathbb {R};H)\) is called autonomous, if for \(h\in \mathbb {R}\), \(\tau _h \mathcal {N} = \mathcal {N}\tau _h\), where \(\tau _h f(t){:}{=}f(t+h)\).
Theorem 2.3
([10, Theorem 8.2.1], see also [5]) Let \(\nu \in \mathbb {R}\) and \(\mathcal {N}\in L(L_{2,\nu }(\mathbb {R};H))\) autonomous and causal. Then for all \(\rho >\nu \), \(\mathcal {N}|_{L_{2,\nu }\cap L_{2,\rho }}\) admits a unique continuous extension \(\mathcal {N}_\rho \) to \(L_{2,\rho }(\mathbb {R};H)\) and there exists a unique holomorphic and bounded \(N:\mathbb {C}_{{\text {Re}}>\nu }\rightarrow L(H)\) such that for all \(\rho >\nu \)
Remark 2.4
Note that the converse of Theorem 2.3 is also true: Every holomorphic and bounded \(N:\mathbb {C}_{{\text {Re}}>\nu }\rightarrow L(H)\) defines via \(N(\partial _{t,\rho })\) a causal and autonomous operator on \(L_{2,\rho }(\mathbb {R};H)\), the restriction of which to \(L_{2,\rho }\cap L_{2,\nu }\) admits a (unique) continuous, causal and autonomous extension to \(L_{2,\nu }(\mathbb {R};H)\). For the proof note that the operator in question being autonomous is easy by observing that \(\tau _h\) is multiplication by an exponential in the Fourier–Laplace transformed side. Causality follows with the help of [10, Theorem 5.3.6].
Having had set the stage of evolutionary equations, we may now move on to the main body of the present manuscript.
3 A G-compactness theorem for evolutionary equations
Throughout this section, we let H be a separable Hilbert space. Furthermore, throughout this section we let \(A:{\text {dom}}(A)\subseteq H\rightarrow H\) be a skew-selfadjoint operator.
Remark 3.1
Quickly recall that since H is separable, so is \(H\times H\). Thus, as a metric subspace A (considered as a relation) is also separable. Finally, as the latter is unitarily equivalent to \({\text {dom}}(A)\) endowed with the graph norm, \({\text {dom}}(A)\) is separable as well.
Recalling the sets \(\mathcal {M}(H,\nu )\) and \(\mathcal {M}_g(H,\nu )\), we define the notion of G-convergence next. For this, we call a sequence \((M_n)_n\) in \(\mathcal {M}_g(H,\nu )\) locally bounded, if for all \(K\subseteq \mathbb {C}_{{\text {Re}}>\nu }\) compact, \(\sup _{z\in K,n\in \mathbb {N}}\Vert M_n(z)\Vert <\infty \). Furthermore, it is called bounded if the same holds uniformly in \(z\in \mathbb {C}_{{\text {Re}}>\nu }\), i.e. \(\sup _{z\in \mathbb {C}_{{\text {Re}}>\nu },n\in \mathbb {N}}\Vert M_n(z)\Vert =\sup _{n\in \mathbb {N}}\Vert M_n\Vert _{\nu ,\infty }<\infty \). Of course, we then have \(M_n\in \mathcal {M}(H,\nu )\), \(n\in \mathbb {N}\). For \(\alpha >0\) we introduce the sets
A locally bounded sequence of generalised material laws \((M_n)_n\) from \(\mathcal {M}_{g}(H,\nu ,\alpha )\) is said to G-converge (with respect to A) to some \(M\in \mathcal {M}_g(H,\nu ,\alpha )\), if
in the weak operator topology of \(L(L_{2,\rho }(\mathbb {R};H))\) for all \(\rho >\nu \).
Remark 3.2
The results gathered in [25] show that whether or not any sequence of material laws G-converges to some limit is heavily dependent on the considered operator A. In fact, it can also happen that the material laws do G-converge but to a limit, which depends on properties of A and can differ for different A. As we have fixed the operator A in this section we do not mention this dependence in the following to avoid unnecessary clutter in the notation.
Our main result now reads as follows (also cp. Theorem 1.2).
Theorem 3.3
Let \(\nu \in \mathbb {R}, \alpha >0\). Then, every locally bounded sequence in \(\mathcal {M}_g(H,\nu ,\alpha )\) has a G-convergent subsequence with limit in \(\mathcal {M}_g(H,\nu ,\alpha )\).
Remark 3.4
The results available in the literature (see again [25] for a good overview) state the existence of G-convergent subsequences for bounded sequences in \(\mathcal {M}(H,\nu ,\alpha )\) (and require additional information about A). On the other hand, the limit in this case will also be bounded. Thus, compared to the literature the assumptions here are weaker in that there is no additional condition on A and that the material laws are allowed to diverge at infinity. The price to pay is that, even when starting from a bounded sequence of material laws, one cannot conclude boundedness of the limit generalised material law here. A more precise description of the results we are able to get under additional assumptions is given in the following corollary (see also Remark 3.18).
Corollary 3.5
Let \(\nu \in \mathbb {R}\), \(\alpha >0\). If a bounded sequence \((M_n)_n\) in \(\mathcal {M}(H,\nu ,\alpha )\) G-converges to \(M\in \mathcal {M}_g(H,\nu ,\alpha )\), then
Furthermore, if, in addition for some \(c>0\),
then \(M\in \mathcal {M}(H,\nu ,\alpha )\), i.e. \(\Vert M\Vert _{\nu ,\infty }\le \frac{c^2}{\alpha }\).
Remark 3.6
One can see that for bounded material laws we do not have a satisfactory result. Indeed, at this moment for bounded sequences in \(\mathcal {M}(H,\nu ,\alpha )\) we are not able to either prove or disprove that a G-limit is a material law, i.e. contained in \(\mathcal {M}(H,\nu ,\alpha )\) (note the linear growth appearing in (3)). On the other hand, the additional growth assumption (4) of the corollary is too restrictive (e.g. an important class of constant (in z) material laws is not covered, and so neither of two examples presented in Sect. 4). Since we do not have any evidence that our result given in the corollary is optimal, an open question of minimal requirements needed to ensure boundedness of the G-limits is left to be addressed (see also Remark 3.18). Our conjecture is that solely boundedness of material laws in \(\mathcal {M}(H,\nu ,\alpha )\) should not be sufficient, and we hope that the results of the corollary can help in constructing a suitable counterexample.
The proof of Theorem 3.3 is based on the interconnected application of several compactness statements. To start with, we provide one of the main ingredients next, which is a result originally proved for (partial differential type) Friedrichs systems (in real Hilbert spaces) from [3], and recently generalised in [2]. Since we are interested in A skew-selfadjoint only, the condition (K1) in [3] is trivially satisfied and, thus, also allows for some simplifications in the proof. As the result is already contained in [2, Corollary 2.11] and requires only some minor modifications of the corresponding result in [3], we only sketch its proof below. To present the respective result we introduce, for \(0<\alpha <\beta \),
Remark 3.7
Let \(C\in \mathcal {F}(\alpha ,\beta ,H)\). Then the operator \(C+A\) is continuously invertible with \((C+A)^{-1}\in L(H)\) and \((C+A)^{-1}\in L(H,{\text {dom}}(A))\) with \(\Vert (C+A)^{-1}\Vert _{L(H)}\le 1/\alpha \) and \(\Vert (C+A)^{-1}\Vert _{L(H,{\text {dom}}(A))}\le \frac{1+\alpha +\beta }{\alpha }\), see also [4, Lemma 2.12].
Theorem 3.8
(see also [2, Theorem 2.10 and Corollary 2.11]) Let A be a skew-selfadjoint operator on H and \((C_n)_n\) in \(\mathcal {F}(\alpha ,\beta ,H)\). If
in the weak operator topology of \(L(H,{\text {dom}}(A))\), then there exists \(C\in \mathcal {F}(\alpha ,\beta ,H)\) such that
Moreover, for all \(\psi \in H\) and \(\phi _n{:}{=}(C_n+A)^{-1}\psi \) we obtain
where \(\phi {:}{=}(C+A)^{-1}\psi \).
Remark 3.9
We recall that bounded sets of \(L(H_1,H_2)\) for separable Hilbert spaces \(H_1\) and \(H_2\) are sequentially compact under the weak operator topology. In fact, either one proves this fact by a Banach–Alaoglu type argument and a standard proof for metrisability or one simply resorts to a diagonal procedure.
Remark 3.10
The assumption on \(\bigl ((C_n+A)^{-1}\bigr )_n\) to be convergent in the weak operator topology of \(L(H,{\text {dom}}(A))\) is a mere convenience for the subsequent proof. A formally stronger statement would be an analogous result only assuming weak operator topology convergence in L(H). However, this implies the same for \(L(H,{\text {dom}}(A))\). Indeed, \(\bigl ((C_n+A)^{-1}\bigr )_n\) is uniformly bounded in \(L(H,{\text {dom}}(A))\) by Remark 3.7. Then we may choose by Remark 3.9 a subsequence converging in the weak operator topology, by continuous embedding \({\text {dom}}(A)\hookrightarrow H\), it follows that the limits in \(L(H,{\text {dom}}(A))\) and L(H) coincide. A subsequence principle concludes convergence of \(\bigl ((C_n+A)^{-1}\bigr )_n\) in the weak operator topology of \(L(H,{\text {dom}}(A))\) without the need to choose subsequences; see also Remarks 3.1 and 3.9.
Proof of Theorem 3.8
We define \(K\in L(H)\) via \(K\psi {:}{=}\psi - AB\psi \) for all \(\psi \in H\). Let \(\psi \in H\) and define \(\phi _n{:}{=}(C_n+A)^{-1}\psi \). One has \(A\phi _n \rightarrow A B\psi \) weakly in H and, using the equations satisfied by \(\psi \), \(C_n\phi _n\rightarrow K\psi \) weakly in H. Skew-selfadjointness of A, weak convergence of \((C_n+A)^{-1}\) and the equations for \(\psi \) yield \( {\text {Re}}\langle C_n \phi _n, \phi _n\rangle \rightarrow {\text {Re}}\langle K\psi ,B\psi \rangle .\) Then, the second inequality in the definition of \(\mathcal {F}(\alpha ,\beta ,H)\) used for \(C_n\) helps to show that B is one-to-one. Next, \({\text {ran}}(B)\subseteq H\) dense is shown by taking \(\psi \in {\text {ran}}(B)^{\bot }\) and proving \(\psi =0\) by injectivity of B and the first inequality in the definition of \(\mathcal {F}(\alpha ,\beta ,H)\). Finally, defining \(C:{\text {ran}}(B)\subseteq H \rightarrow H\) by \(C( B\psi ) {:}{=}K\psi \), we infer that C is densely defined and well-defined as B is one-to-one with dense range. It is then not difficult to confirm \(C\in \mathcal {F}(\alpha ,\beta ,H)\). \(\square \)
Remark 3.11
Theorem 3.8 is a compactness theorem. Indeed, due to the separability of H, from an arbitrary sequence \((C_n)_n\) a subsequence can be chosen such that \(\bigl ((C_n+A)^{-1}\bigr )_n\) converges in the weak operator topology of \(L(H,{\text {dom}}(A))\); see Remark 3.9 and for the separability of \({\text {dom}}(A)\) see Remark 3.1.
Remark 3.12
The operator constructed in Theorem 3.8 is uniquely determined. Indeed, let \(C_1,C_2\in \mathcal {F}(\alpha ,\beta ,H)\) be such that \((C_1+A)^{-1}=(C_2+A)^{-1}\). The latter is equivalent to \(C_1+A=C_2+A\) on \({\text {dom}}(A)\). Hence, \(C_1=C_2\) on \({\text {dom}}(A)\). Since A is skew-selfadjoint, it is densely defined and as \(C_1\) and \(C_2\) are both continuous linear operators, \(C_1=C_2\) on H.
Next, we recall a compactness result for operator-valued holomorphic functions originally from [17]. For this, we define for \(\omega \subseteq \mathbb {C}\) open and (separable) Hilbert spaces \(H_1,H_2\)
In correspondence to Sect. 2, a subset \(\mathcal {B}\subseteq \mathcal {H}(\omega ;L(H_1,H_2))\) is called locally bounded, if for all \(K\subseteq \omega \) compact \(\sup _{M\in \mathcal {B},z\in K}\Vert M(z)\Vert <\infty \); a sequence \((M_n)_n\) is locally bounded, if \(\{M_n; n\in \mathbb {N}\}\) is. We say that a sequence \((M_n)_n\) in \(\mathcal {H}(\omega ;L(H_1,H_2))\) converges to some \(M\in \mathcal {H}(\omega ;L(H_1,H_2))\) in the compact open weak operator topology (in \(\text {co-}\tau _{\text {w}}\) for short), if for all \(\phi \in H_2, \psi \in H_1\) we have
uniformly in z on compact subsets of \(\omega \). Since the asserted convergence is a convergence of scalar-valued holomorphic functions, Vitali’s Theorem (see [11, Theorem 6.2.8]) immediately applies and we obtain the following result:
Proposition 3.13
Let \(\omega \subseteq \mathbb {C}\) be open, and \(H_1,H_2\) be Hilbert spaces. Let \((M_n)_n\) be a locally bounded sequence in \(\mathcal {H}(\omega ;L(H_1,H_2))\) and let \(M\in \mathcal {H}(\omega ;L(H_1,H_2))\). Then the following conditions are equivalent:
-
(i)
\(M_n\rightarrow M\) in the compact open weak operator topology;
-
(ii)
for all \(z\in \omega \), \(M_n(z)\rightarrow M(z)\) in the weak operator topology;
and, if \(\omega \) is connected, (i) and (ii) are further equivalent to
-
(iii)
there exists a sequence \((z_k)_k\) in \(\omega \) with an accumulation point in \(\omega \) such that \(M_n(z_k)\rightarrow M(z_k)\) in the weak operator topology for all \(k\in \mathbb {N}\).
The remarkable property of convergence in the compact open weak operator topology is a Montel type result, that is, the (sequential) compactness of locally bounded sets. An analogous result also holds for non-separable Hilbert spaces; we shall however stick to the separable case in order to avoid too much additional notions from topology.
Theorem 3.14
([18, Theorem 3.4] and [17]; see also [1, Corollary 4.7]) Let \(H_1,H_2\) be separable Hilbert spaces, \(\omega \subseteq \mathbb {C}\) open. Let \((M_n)_n\) be a locally bounded sequence in \(\mathcal {H}(\omega ;L(H_1,H_2))\). Then \((M_n)_n\) contains a \(\text {co-}\tau _{\text {w}}\)-converging subsequence.
Corollary 3.15
Let \(\omega \subseteq \mathbb {C}\) open, \(H_1,H_2\) separable Hilbert spaces. Let \((M_n)_n\) be a locally bounded sequence in \(\mathcal {H}(\omega ;L(H_1,H_2))\) and \(M:\omega \rightarrow L(H_1,H_2)\).
If, for all \(z\in \omega \), \(M_n(z)\rightarrow M(z)\) in the weak operator topology, then M is holomorphic.
Proof
The claim follows with a subsequence principle using the compactness statement in Theorem 3.14 together with Proposition 3.13. \(\square \)
A last preparatory result for the second main theorem of this section is the following continuity statement, which essentially follows from Lebesgue’s dominated convergence theorem in the Fourier–Laplace transformed side.
Theorem 3.16
([18, Lemma 3.5]) Let \(\nu \in \mathbb {R}\) and \((M_n)_n\) be a bounded sequence in \(\mathcal {M}(H,\nu )\) and \(M\in \mathcal {M}(H,\nu )\). If \(M_n{\mathop {\rightarrow }\limits ^{\text {co-}\tau _{\text {w}}}}M\), then, \(\Vert M(z)\Vert \le \liminf _{n\rightarrow \infty }\Vert M_n(z)\Vert \) for all \(z\in \mathbb {C}_{{\text {Re}}>\nu }\) and, for all \(\rho >\nu \), \(M_n(\partial _t)\rightarrow M(\partial _t)\) in the weak operator topology of \(L(L_{2,\rho }(\mathbb {R};H))\).
The decisive step for the proof of Theorem 3.3 is the following characterisation result, which also proves useful for applications; cp. Theorem 1.3.
Theorem 3.17
Let \(\nu>0, \alpha >0\) and \((M_n)_n\) be a locally bounded sequence in \(\mathcal {M}_g(H,\nu ,\alpha )\). Then the following conditions are equivalent:
-
(i)
There exists \(M\in \mathcal {M}_g(H,\nu ,\alpha )\) such that \((M_n)_n\) G-converges to M with respect to A.
-
(ii)
For all \(\rho >\nu \), there exists \(\mathcal {T}_\rho \in L(L_{2,\rho }(\mathbb {R};H))\) such that \(\overline{\partial _tM_n(\partial _t)+A}^{-1}\rightarrow \mathcal {T}_\rho \) in the weak operator topology of \(L(L_{2,\rho }(\mathbb {R};H))\).
-
(iii)
For all \(\rho >\nu \) and \(\psi \in H\), the sequence \((\phi _n)_n\) given by
$$\begin{aligned} (\rho M_n(\rho )+A)\phi _n =\psi \end{aligned}$$is weakly convergent.
If either of the above is satisfied, M from (i) is uniquely determined via
for all \(\rho >\nu \) in the weak operator topology of L(H).
Proof
- (i)\(\Rightarrow \)(ii)::
-
The claim follows by setting \(\mathcal {T}_\rho {:}{=}\overline{\partial _{t,\rho }M(\partial _{t,\rho })+A}^{-1}\) for \(\rho >\nu \).
- (ii)\(\Rightarrow \)(iii)::
-
By Picard’s Theorem (and its proof cp. Remark 2.2), \((N_n)_n\) given by
$$\begin{aligned} N_n:z\mapsto (zM_n(z)+A)^{-1} \end{aligned}$$defines a bounded sequence in \(\mathcal {M}(H,\nu )\) and we have \(\overline{\partial _{t}M_n(\partial _t)+A}^{-1} = N_n(\partial _t)\) on \(L_{2,\rho }(\mathbb {R};H)\) for \(\rho >\nu \). By Remark 2.4, we obtain that \(N_n(\partial _t)\) is autonomous and causal. As a limit in the weak operator topology, it is not difficult to see that \(\mathcal {T}_\rho \) is, thus, also autonomous and causal for all \(\rho >\nu \). Hence, we find a material law \(T:\mathbb {C}_{{\text {Re}}>\nu }\rightarrow L(H)\) such that \(\mathcal {T}_\rho = T(\partial _{t,\rho })\) for all \(\rho >\nu \). By Theorem 3.14 we find a subsequence of \((N_n)_n\) (we shall re-use the index n for this subsequence) and \(\widetilde{T}\in \mathcal {H}(\mathbb {C}_{{\text {Re}}>\nu };L(H))\) with \(\Vert \widetilde{T}(z)\Vert \le 1/\alpha \) for all \(z\in \mathbb {C}_{{\text {Re}}>\nu }\) such that \(N_n\rightarrow \widetilde{T}\) in the compact open weak operator topology. Theorem 3.16 yields that \(N_n(\partial _{t,\rho })\rightarrow \widetilde{T}(\partial _{t,\rho })\) in the weak operator topology. By uniqueness of limits in the weak operator topology, we obtain that \(T(\partial _{t,\rho })=\widetilde{T}(\partial _{t,\rho })\) and, by the uniqueness statement in the representation Theorem 2.3, we deduce that \(T=\widetilde{T}\) as holomorphic mappings. A subsequence principle now leads to the whole sequence \((N_n)_n\) converging to T in the compact open weak operator topology. Proposition 3.13 ((i)\(\Rightarrow \)(ii)), now implies (iii).
- (iii)\(\Rightarrow \)(i):
-
By Theorem 3.14, we find \((N_{\pi (n)})_n\), a subsequence of \(N_n:z\mapsto (zM_n(z)+A)^{-1} \), in \(\mathcal {H}(\mathbb {C}_{{\text {Re}}>\nu };L(H))\) converging in the compact open weak operator topology. Denote its limit by N. Next, we uniquely identify this limit to deduce that \(N_n\) itself converges to N. For this, note that by connectedness of \(\mathbb {C}_{{\text {Re}}>\nu }\) and Proposition 3.13, \(N(\rho )\psi \) is the weak limit of \((\phi _{\pi (n)})_n\) given by \(\rho M_{\pi (n)}(\rho )\phi _{\pi (n)}+A\phi _{\pi (n)} =\psi \). Since N is holomorphic, it is uniquely determined by its values on \((\nu ,\infty )\) by the identity theorem and the connectedness of \(\mathbb {C}_{{\text {Re}}>\nu }\). As the whole sequence \((\phi _n)_n\) converges to \(N(\rho )\psi \), a subsequence principle concludes that \(N_n\) indeed converges to N in the compact open weak operator topology. (The details are: assume that \((N_n)_n\) contains a subsequence not converging to N. Then we find a further subsequence converging to some \(\widetilde{N}\). By what we have seen above, N and \(\widetilde{N}\) coincide on \((\nu ,\infty )\); which, by the identity theorem implies \(N=\widetilde{N}\), which is a contradiction.) Applying Theorem 3.16 we get that, for any \(\rho >\nu \), \(\overline{\partial _{t}M_n(\partial _t)+A}^{-1} = N_n(\partial _t)\) converges to \(N(\partial _t)\) in the weak operator topology of \(L(L_{2,\rho }(\mathbb {R};H))\). Thus, it is left to prove that N(z) equals \((zM(z)+A)^{-1}\) for some \(M\in \mathcal {M}_g(H,\nu ,\alpha )\).
Let us take an arbitrary \(z\in \mathbb {C}_{{\text {Re}}>\nu }\). Again resorting to Propostion 3.13, we deduce that
in the weak operator topology of L(H). Remark 3.10 implies that \((L_n(z)^{-1})_n\) in fact converges in the weak operator topology of \(L(H,{\text {dom}}(A))\). Next, defining
we compute (see also [10, Proposition 6.2.3 (b)])
where we have used that \({\text {Re}}\langle \phi , zM_n(z)\phi \rangle \ge \alpha \Vert \phi \Vert ^2\), which holds since \(M_n\in \mathcal {M}_g(H,\nu ,\alpha )\). Thus, substituting \(\phi =(zM_n(z))^{-1} \psi \) in the latter inequality we obtain
for all \(n\in \mathbb {N}\). In fact, by the arbitrariness of z, the same holds for all \(z\in \mathbb {C}_{{\text {Re}}>\nu }\).
Hence, by Theorem 3.8, for all \(z\in \mathbb {C}_{{\text {Re}}>\nu }\) there exists \(M(z) \in L(H)\) such that \(zM(z) \in \mathcal {F}(\alpha ,\beta (z)/\alpha ;H)\) and
in the weak operator topology of \(L(H,{\text {dom}}(A))\) for all \(z\in \mathbb {C}_{{\text {Re}}>\nu }\). Note that \(zM(z) \in \mathcal {F}(\alpha ,\beta (z)/\alpha ;H)\) implies \(\Vert zM(z)\Vert \le \beta (z)/\alpha \), i.e.
Hence, \(M:\mathbb {C}_{{\text {Re}}>\nu }\rightarrow L(H)\) is locally bounded. Next, we show that M is holomorphic. For this, recall that since \(z\mapsto L_n(z)^{-1}\) is bounded and holomorphic (see Remark 2.2), we deduce with Corollary 3.15 that N is holomorphic. As a consequence (since inversion preserves holomorphicity), \(z\mapsto zM(z)+A \in L({\text {dom}}(A),H)\) is holomorphic. Further on, \(z\mapsto zM(z) = zM(z)+A - A\) is scalarly holomorphic in the sense that \(z\mapsto \langle \phi ,zM(z)\psi \rangle \) is holomorphic for all \(\phi \in H\) and \(\psi \in {\text {dom}}(A)\). By the local boundedness of M, this implies holomorphicity with values in L(H) as \({\text {dom}}(A)\) is dense in H, by a variant of Dunford’s theorem, see, e.g., [10, Exercise 5.3 (v)]. Therefore, \(M\in \mathcal {M}_g(H,\nu ,\alpha )\).
Finally, for the last statement of the theorem, we have shown that
in the weak operator topology. By Remark 3.12, \(\rho M(\rho ) \in L(H)\) is uniquely determined by this convergence. By the identity theorem, this is enough to uniquely identify \(M\in \mathcal {M}(H,\nu )\). \(\square \)
We finally are in the position to prove the compactness statement from the beginning of this section.
Proof of Theorem 3.3
By definition, \(N_n:z\mapsto (zM_n(z)+A)^{-1}\) is a bounded sequence of material laws. By Theorem 3.14, we choose a weakly convergent subsequence in the compact open weak operator topology. Then, the assertion follows from Theorem 3.17. \(\square \)
Proof of Corollary 3.5
From the proof of Theorem 3.17 (see (5)) the limit operator M, for any \(z\in \mathbb {C}_{{\text {Re}}>\nu }\), satisfies \(\Vert M(z)\Vert \le \frac{|z|}{\alpha }\sup _{n\in \mathbb {N}} \Vert M_n(z)\Vert ^2\). Thus, applying additional boundedness assumption on \((M_n)_n\) the claim follows. \(\square \)
Remark 3.18
We have commented in Remark 3.6 that the result we have for a bounded sequence of material laws (see Corollary 3.5) is not satisfactory from the point of view of possible applications. One can remark the same from the theoretical point of view since the limit operator does not belong (i.e. we are not able to prove) to the class we started with, as we have with a locally bounded sequences of generalised material laws (see Theorem 3.3). In this remark we will address a refinement of the second part of Corollary 3.5 for which a family contained in \(\mathcal {M}(H,\nu ,\alpha )\) that is closed under G-convergence will be given.
For this purpose we introduce the set (here we take \(\nu ,\beta ,\alpha >0\)) \(\mathcal {M}(H,\nu ,\alpha ,\beta )\) of all \(M\in \mathcal {M}(H,\nu ,\alpha )\) satisfying
Note that this set is well-defined since \(|z|>\nu >0\). Moreover, applying the Cauchy–Schwarz inequality to both inequalities defining \(\mathcal {M}(H,\nu ,\alpha ,\beta )\) we get
Thus, the information that M is bounded given in \(\mathcal {M}(H,\nu )\) is redundant, as it is also encoded in (6). Additionally, in order to have that conditions are compatible, i.e. that \(\mathcal {M}(H,\nu ,\alpha ,\beta )\) is not empty, it should be satisfied \(\beta \nu \ge \alpha \).
If in Theorem 3.17 we start with \(M_n\in \mathcal {M}(H,\nu ,\alpha ,\beta )\), then the statement of the theorem remains true, with \(M\in \mathcal {M}(H,\nu ,\alpha ,\beta )\), and consequently for the compactness: every sequence in \(\mathcal {M}(H,\nu ,\alpha , \beta )\) has a G-convergent subsequence with the limit in \(\mathcal {M}(H,\nu ,\alpha , \beta )\). Indeed, this is an easy consequence of the fact that M belongs to \(\mathcal {M}(H,\nu ,\alpha , \beta )\) if and only if for any \(z\in \mathbb {C}_{{\text {Re}}>\nu }\) the operator zM(z) belongs to \(\mathcal {F}(\alpha ,\beta |z|,H)\). Since we are interested in the limit of \(\bigl ((zM_n(z)+A)^{-1}\bigr )_n\) in the weak operator topology of \(L(H,{\text {dom}}(A))\), under which is \(\mathcal {F}(\alpha ,\beta |z|,H)\) closed (see Theorem 3.8), the statement easily follows.
Let us note that any \(M\in \mathcal {M}(H,\nu ,\alpha )\) satisfying (4) is contained in \(\mathcal {M}(H,\nu ,\alpha ,c^2/\alpha )\). Thus, the result presented here is indeed a refinement of the second part of Corollary 3.5, i.e. here we have the most general setting in which the limit operator is a bounded material law. However, condition (6) still eliminates many interesting examples (e.g. material laws constant in z are still not covered).
We provide some examples illustrating the theory just developed.
4 Applications
In this section, we focus on some applications. It has been found that G-compactness results are particularly interesting in cases, where the operator containing the spatial derivatives lack compactness of the resolvent, see [18, 20] in the context of evolutionary equations, but also see [14,15,16] and the references given there. We particularly refer to the introductory part of [14], where among other things the intricacies of homogenisation of transport equations are highlighted.
4.1 A transport equation with longitudinal oscillations
Here we consider a transport type equation with oscillations in the same direction as the transport occurs. Let \(a\in L_\infty (\mathbb {R})\) with \(a\ge \alpha \) for some \(\alpha >0\) and consider finding \(u\in L_{2,\rho }(\mathbb {R};L_2(\mathbb {R}))\) (for some \(\rho >0\)) such that for \(f\in C_c(\mathbb {R}\times \mathbb {R})\) we have
A convenient setting can be found within the framework of evolutionary equations, where \(\partial _x = A :H^1(\mathbb {R})\subseteq L_2(\mathbb {R})\rightarrow L_2(\mathbb {R})\) is the implementation of the spatial derivative and readily confirmed to be skew-selfadjoint. Multiplying by \(a(x)^{-1}\) from the left, we have
Then it is not difficult to see that Picard’s Theorem applies to \(A=\partial _x\) and \(M(z)=a^{-1}\) for all \(z\in \mathbb {C}\). Hence, M is a material law with \(s_{\text {b}}(M)=-\infty \).
Next, consider a bounded sequence \((a_n)_n\) in \(L_\infty (\mathbb {R})\) with \(a_n\ge \alpha \) for some \(\alpha >0\) independently of n. Assume that \((a_n^{-1})\) converges to some b in \(\sigma (L_\infty ,L_1)\), the weak-\(*\)-topology of \(L_\infty (\mathbb {R})\) (apply [10, Proposition 13.2.1(c)] to obtain convergence of the respective multiplication operators in the weak operator topology). To apply Theorem 3.17, it suffices to consider, for \(\rho >0\), the equation
for some \(\psi \in L_2(\mathbb {R})\). It is not difficult to see that
By Lebesgue’s dominated convergence theorem, the pointwise limit of \((\phi _n)_n\) is the weak limit given by
The latter is the solution of the equation
Hence, \(M_n :z\mapsto a_n^{-1}\) G-converges to \(M:z\mapsto b\), by Theorem 3.17. Note that M is a (standard) material law, i.e. bounded, despite the fact that none of our results guarantee that.
Remark 4.1
-
(a)
It is not difficult to see that one can also consider \( \partial _t u_n(t,x)+a_n(x)\partial _x u(t,x) =f(t,x)\) instead of the above. A similar computation (albeit Theorem 3.17 is not directly applicable) confirms that \((u_n)_n\) weakly converges to the unique solution of
$$\begin{aligned} \partial _t u(t,x)+b(x)^{-1}\partial _x u(t,x) =f(t,x). \end{aligned}$$ -
(b)
Note that the formulation presented here does not require fixing an initial value. In fact, the exponential weight in the time-direction somewhat asks implicitly for homogeneous initial values at \(-\infty \) (hence the formula for \(\partial _{t,\rho }^{-1}\) for \(\rho >0\)).
4.2 A transport equation with orthogonal oscillations
This application concerns an equation more related to the one hinted at in [14] (see also [16, Ch. 24]). We consider for \(f\in C_c(\mathbb {R}\times \mathbb {R}\times \mathbb {R})\) and \(a\in L_\infty (\mathbb {R})\) an equation of the form
Here, we assume that \(\rho >(\Vert a\Vert _{\infty }+1)\). Then, Picard’s Theorem applies with
(easily seen to be skew-selfadjoint) and \(M(z){:}{=}1+\frac{1}{z}a\).
Now, we consider a bounded sequence \((a_n)_n\) in \(L_\infty (\mathbb {R})\). Then \((M_n)_n\) is a bounded sequence in \(\mathcal {M}(L_2(\mathbb {R}\times \mathbb {R}), \sup _n \Vert a_n\Vert _\infty +1, 1)\). By Theorem 3.3, we find a generalised material law \(M\in \mathcal {M}_g(L_2(\mathbb {R}\times \mathbb {R}), \sup _n \Vert a_n\Vert _\infty +1, 1)\) such that
in the weak operator topology of \(L(L_{2,\rho }(\mathbb {R}; L_2(\mathbb {R}\times \mathbb {R})))\) for \(\rho >\sup _n \Vert a_n\Vert _\infty +1\).
In the following we shall compute the limit material law, \(M(\partial _t)\). For this, note that, by Picard’s theorem, the (closure of the) operator \(\partial _t+\partial _x\) is continuously invertible in \(L_{2,\rho }(\mathbb {R}; L_2(\mathbb {R}\times \mathbb {R}))\) with norm bounded by \(1/\rho \) for all \(\rho >0\). We shall assume that a subsequence of \((a_n)_n\) (without relabelling) has been chosen in order that, for all \(k\in \mathbb {N}\), \(a_n^k \rightarrow b_k\in L_\infty (\mathbb {R})\) in the weak-\(*\)-topology of \(L_\infty (\mathbb {R})\). It follows that \(a_n^k\rightarrow b_k\) in the weak operator topology as multiplication operators in \(L(L_2(\mathbb {R}))\), see also [10, Proposition 13.2.1(c)] (by the tensor-product structure, it follows that \(a_n^k\rightarrow b_k\) also in the weak operator topology of \(L(L_{2,\rho }(\mathbb {R}; L_2(\mathbb {R}\times \mathbb {R})))\). We assume that \(\rho > 4(\sup _n\Vert a\Vert _{\infty }+1){=}{:}4\kappa \). Thus, we may now compute the limit expression of
in \(L(L_{2,\rho }(\mathbb {R}; L_2(\mathbb {R}\times \mathbb {R})))\). We use a similar strategy as exemplified already in [18], see also the more recent [10, Theorem 13.3.1 and subsequent example]. Defining
as well as \(S{:}{=}(\overline{\partial _t + \partial _x})^{-1} \in L(L_{2,\rho }(\mathbb {R}; L_2(\mathbb {R}\times \mathbb {R})))\). Recall that \(\Vert S\Vert \le 1/\rho \). Factoring out S in the equation for \(u_n\), we obtain
where we used a Neumann series argument. Note that for \(n\in \mathbb {N}\)
By dominated convergence (interchanging limits and summation), we may deduce that \((u_n)_n\) is weakly convergent to u given by
Using a Neumann series argument, which is possible by lower semi-continuity of the norm under weak operator topology convergence and estimate (7), we obtain
and, hence,
By inspection, it follows that \(u\in {\text {ran}}(S)\) and, thus,
It follows that
It is not difficult to see that this limit defines a bounded material law. We emphasise that we confirmed that both a memory effect and due to the spatial part also a nonlocal effect after the homogenisation process occur simultaneously. Indeed, since S is the solution operator of the transport equation in space-time given by the variations of constants formula (i.e. temporal convolution) of the shift-semigroup (i.e. spatial non-locality), and since the limit material law contains all iterates of S the non-locality shows up in both temporal as well as spatial variables. We conclude with a slight subtlety, our main compactness theorem confirms convergence to a generalised material law for all \(\rho >\kappa \); in our derivation however, we needed larger \(\rho \) to guarantee existence of the second Neumann series. This implies that the limit material law can actually be holomorphically extended to \(\mathbb {C}_{{\text {Re}}>\rho }\).
5 Conclusion
We have addressed G-compactness for evolutionary equations without additional assumptions on the skew-selfadjoint part A. Even though our results also apply to a wider class of material laws in that it is allowed for them to diverge at \(\infty \), the price to pay is that the limit generalised material law cannot be shown to be bounded even though the whole material law sequence we started out with was. We provided two applications of our results. These examples as well as the general result itself re-confirm statements made in [24] that memory effects are due to a lack of compactness in the equations. However, the spatial operator being non-compact alone does not imply the occurrence of memory effects, oscillations orthogonal to the occurring derivatives do trigger nonlocal effects, though. We conclude the manuscript with an open problem, which so far we did not manage to resolve.
Problem 5.1
Let \((M_n)_n\) be a bounded sequence of material laws G-converging to some M with respect to A (which in turn does not satisfy any compactness condition).
-
(a)
Prove or disprove that then M is bounded.
-
(b)
Find an easily applicable criterion for \((M_n)_n\), so that M is bounded.
Data availibility
We do not analyse or generate any datasets, because our work proceeds within a theoretical and mathematical approach.
References
A. Buchinger, N. Skrepek, and M. Waurick. Weak Operator Continuity for Evolutionary Equations Pure and Applied Functional Analysis, accepted. arXiv:2309.09499
K. Burazin, M. Erceg, and M. Waurick. G-convergence of Friedrichs systems revisited arXiv:2307.01552
K. Burazin and M. Vrdoljak. Homogenisation theory for Friedrichs systems, Communications on Pure and Applied Analysis 13(3), 1017–1044, 2014.
A. ter Elst, G. Gorden, and M. Waurick. The Dirichlet-to-Neumann operator for divergence form problems. Annali di Matematica Pura ed Applicata, 2018. https://doi.org/10.1007/s10231-018-0768-2.
Y. Fourès and I Segal. Causality and analyticity. Trans. Am. Math. Soc. 78, 385–405, 1955.
R. Picard. A structural observation for linear material laws in classical mathematical physics, Mathematical Methods in the Applied Sciences, 32(14):1768–1803,2009.
R. Picard and D. McGhee. Partial Differential Equations: A unified Hilbert Space Approach,, volume 55. Expositions in Mathematics. DeGruyter, Berlin, 2011.
R. Picard, D. McGhee, S. Trostorff, and M. Waurick. A primer for a secret shortcut to PDEs of mathematical physics. Frontiers in Mathematics. Cham: Springer, 2020.
R. Picard, S. Trostorff, and M. Waurick. Well-posedness via monotonicity. an overview. In Operator Semigroups Meet Complex Analysis, Harmonic Analysis and Mathematical Physics. Operator Theory: Advances and Applications, volume 250, pages 397–452, 2015.
C. Seifert, S. Trostorff, and M. Waurick Evolutionary Equations Birkhäuser, Cham, 2022
B. Simon. Basic complex analysis. A comprehensive course in analysis, part 2A. Providence, RI: American Mathematical Society (AMS), 2015.
S. Spagnolo. Sul limite delle soluzioni di problemi di Cauchy relativi all’equazione del calore. Ann. Scuola Norm. Sup. Pisa (3), 21:657–699, 1967.
S. Spagnolo. Convergence in energy for elliptic operators. Numerical solution of partial differential equations III (Proc. Third Sympos. (SYNSPADE), Univ. Maryland, College Park, Md., 1975), pages 469–498, 1976.
L. Tartar. Nonlocal effects induced by homogenization. Partial differential equations and the calculus of variations. Essays in Honor of Ennio de Giorgi 925–938, 1989.
L. Tartar. Memory effects and homogenization Archive for Rational Mechanics and Analysis 111:121–133, 1990.
L. Tartar. The general theory of homogenization, volume 7 of Lecture Notes of the Unione Matematica Italiana. Springer-Verlag, Berlin; UMI, Bologna, 2009. A personalized introduction.
M. Waurick. Limiting Processes in Evolutionary Equations – A Hilbert Space Approach to Homogenization PhD Theses, TU Dresden, 2011
M. Waurick. A Hilbert Space Approach to Homogenization of Linear Ordinary Differential Equations Including Delay and Memory Terms. Mathematical Methods in the Applied Sciences, 35(9):1067–1077, 2012.
M. Waurick. Homogenization of a class of linear partial differential equations. Asymptotic Analysis, 82:271–294, 2013.
M. Waurick. G-convergence of linear differential equations. Journal of Analysis and its Applications, 33(4):385–415, 2014.
M. Waurick. Homogenization in fractional elasticity. SIAM J. Math. Anal., 46(2):1551–1576, 2014.
M. Waurick. On the homogenization of partial integro-differential-algebraic equations. Operators and Matrices, 10(2):247–283, 2016.
M. Waurick. On the continuous dependence on the coefficients of evolutionary equations. Habilitation, TU Dresden, 2016. arXiv:1606.07731.
M. Waurick. Nonlocal \(H\)-convergence. Calculus of Variations and Partial Differential Equations, 57(6):46, 2018.
M. Waurick. Homogenisation and the weak operator topology. Quantum Stud. Math. Found. 6(3):375–396, 2019.
Acknowledgements
M.E. acknowledges funding by the Croatian Science Foundation under the grant IP-2022-10-7261 (ADESO). K.B. acknowledges funding by the Croatian Science Foundation under the grant IP-2022-10-5181 (HOMeoS). M.W. gratefully acknowledges the hospitality extended to him during a research visit at the J.J. Strossmeyer University of Osijek.
Funding
Open Access funding enabled and organized by Projekt DEAL.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article's Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article's Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Burazin, K., Erceg, M. & Waurick, M. Evolutionary equations are G-compact. J. Evol. Equ. 24, 45 (2024). https://doi.org/10.1007/s00028-024-00971-w
Accepted:
Published:
DOI: https://doi.org/10.1007/s00028-024-00971-w