Abstract
The paper is devoted to proving an existence and uniqueness result for generalized solutions to semilinear wave equations with a small nonlinearity in space dimensions 1, 2, 3. The setting is the one of Colombeau algebras of generalized functions. It is shown that for a nonlinearity of arbitrary growth and sign, but multiplied with a small parameter, the initial value problem for the semilinear wave equation has a unique solution in the Colombeau algebra of generalized functions of bounded type. The proof relies on a fixed point theorem in the ultra-metric topology on the algebras involved. In classical terms, the result says that the semilinear wave equations under consideration have global classical solutions up to a rapidly vanishing error.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
This paper addresses existence and regularity of solutions to semilinear wave equations with a small nonlinearity. The equations are of the form
where \(\varDelta \) denotes the Laplacian, \(h(\varepsilon )\) is a net of positive real numbers tending to zero as \(\varepsilon \rightarrow 0\), f is smooth with \(f(0) = 0\). The initial data \(u_0\) and \(u_1\) are generalized functions of compact support, and the space dimension is \(d=1,2,3\). Approximating the initial data by nets of smooth functions \((u_{0\varepsilon }, u_{1\varepsilon })_{\varepsilon \in (0,1]}\), the goal of the paper is to establish the existence of a net of smooth solutions \((u_\varepsilon )_{\varepsilon \in (0,1]}\) up to an asymptotic error term of \(O(\varepsilon ^\infty )\). The paper is formulated in the framework of Colombeau generalized functions.
We present a new existence result of a global generalized solution without growth or sign restrictions on the nonlinearity f, for initial data possessing so-called \({\mathscr {G}}^{0}\)-regularity. It is motivated by a result on propagation of singularities in the one-dimensional case of the authors [4]. Our main tool will be the Banach fixed point theorem in the so-called sharp topology, a complete ultra-metric topology on the Colombeau algebras.
In the classical literature, the semilinear wave Eq. (1.1) has been studied intensively when \(h(\varepsilon )\equiv 1\), with small or with large initial data. The existence or nonexistence of a global classical solution is known to depend on the space dimension, the sign and the growth properties of f(u) as \(|u|\rightarrow \infty \), and the size of the initial data. Just to pick two prominent examples: When \(f(u) = -|u|^{p-1}u\), large data solutions of finite energy exist for all \(p\ge 1\) in space dimension \(d=1\), whereas the critical exponent for such solutions is \(p=5\) in space dimension \(d=3\), see e. g. [10, 31]. On the other side, when \(f(u) = |u|^{p}\), small data solutions blow up for small p less than the Strauss exponent but exist globally beyond that exponent [12, 32]. For weak solutions, the question of existence and/or uniqueness is yet different [31]. This brief recall of the huge classical literature on semilinear wave equations may suffice. Our focus is on solutions in the Colombeau algebra \({\mathscr {G}}([0,T]\times \mathbb {R}^d)\).
Before describing our results in more detail, a few words about Colombeau algebras are in order. Let \(\varOmega \) be an open subset of \(\mathbb {R}^d\). Denote by \(\mathscr {O}_M(\mathbb {R})\) the space of smooth functions such that each derivative grows at most polynomially at infinity, and by \(\mathscr {D}'(\varOmega )\) the space of distributions on \(\varOmega \). Colombeau algebras are algebras of families \((u_\varepsilon )_{\varepsilon \in (0,1]}\) of smooth functions modulo asymptotically vanishing families, i.e., families all whose derivatives vanish of order \(\varepsilon ^\infty \) (i. e., of order \(\varepsilon ^a\) for every \(a\ge 0\)) on compact sets as \(\varepsilon \rightarrow 0\). For the following discussion, we shall need
-
The Colombeau algebra \({\mathscr {G}}(\varOmega )\): A family \((u_\varepsilon )_{\varepsilon \in (0,1]}\) represents an element of \({\mathscr {G}}(\varOmega )\), if every derivative \(\partial ^\alpha u_\varepsilon \) is \(O(\varepsilon ^{-b})\) on compact sets, for some \(b\ge 0\). The inclusion \({\mathscr {D}}'(\varOmega )\subset {\mathscr {G}}(\varOmega )\) holds, constructed by cut-off and convolution with a mollifier. \({\mathscr {C}}^\infty (\varOmega )\) is a faithful subalgebra. \({\mathscr {G}}(\varOmega )\) is invariant by superposition with maps \(f\in \mathscr {O}_M(\mathbb {R})\).
-
The subalgebra \({\mathscr {G}}^0(\varOmega )\), characterized by the property that all derivatives \(\partial ^\alpha u_\varepsilon \) are O(1) on every compact set. It holds that \({\mathscr {G}}^0 \cap {\mathscr {D}}'(\varOmega ) = {\mathscr {C}}^\infty (\varOmega )\), and \({\mathscr {G}}^0(\varOmega )\) is invariant under superposition with arbitrary functions \(f\in {\mathscr {C}}^\infty (\varOmega )\).
Similar definitions apply to Colombeau generalized functions on the closure of an open set. The algebra \({\mathscr {G}}^0(\varOmega )\) has been introduced in the context of nonlinear regularity theory [5, 22] and may be viewed as a subalgebra of regular generalized functions.
It has been known for a long time that for globally Lipschitz \(f\in \mathscr {O}_M(\mathbb {R})\), problem (1.1) has a unique solution in \({\mathscr {G}}([0,T]\times \mathbb {R}^d)\) for arbitrary initial data in \({\mathscr {G}}(\mathbb {R}^d)\) and any \(T>0\) in space dimensions \(d= 1,2, 3\), see e. g. [3, 20, 23]. In one space dimension and for globally Lipschitz \(f\in \mathscr {O}_M(\mathbb {R})\), existence and uniqueness of a solution in \({\mathscr {G}}^0([0,T]\times \mathbb {R})\) has been shown in [22]. For power nonlinearities, existence and uniqueness results in an \(L^2\)-based Colombeau algebra have been obtained in space dimensions \(d\le 9\) with suitable bounds on the polynomial growth of f in [18].
The main result of the paper is Theorem 1. It says that Eq. (1.1) has unique solutions in \({\mathscr {G}}^0([0,T]\times \mathbb {R}^d)\) for arbitrary initial data in \({\mathscr {G}}^0(\mathbb {R}^d)\) and any \(T>0\) in space dimensions \(d= 1,2, 3\) without any growth or sign restrictions on f, provided \(h(\varepsilon ) = O(\varepsilon ^b)\) for some \(b>0\). As mentioned, the proof is based on a contraction mapping argument in the sharp topology on \({\mathscr {G}}^0([0,T]\times \mathbb {R}^d)\). A map on this space is a contraction if it is regularizing; this makes it possible to have solutions for arbitrary T and arbitrary smooth f.
One may see the result also as a classical global existence result for bounded data and small nonlinearities. In fact, Theorem 1 delivers a net \((u_\varepsilon )_{\varepsilon \in (0,1]}\) of smooth functions that satisfies Eq. (1.1) up to a term of \(O(\varepsilon ^\infty )\). Further, by uniqueness of the solution in the Colombeau algebra, the difference of any two such nets is also \(O(\varepsilon ^\infty )\) (see Corollary 1). In the classical literature, such solutions have been considered as asymptotic solutions [17], semiclassical solutions [26] or very weak solutions [7, 27, 28]. A novelty of the paper appears to be that the generalized result in the Colombeau algebra is proved first, using the sharp topology and the contraction mapping principle on \({\mathscr {G}}^0([0,T]\times \mathbb {R}^d)\), and the classical result is deduced from it (Corollary 1). One could also go the other way round, but this appears to be much more tedious (Remark 5). The reason for the existence of solutions of arbitrary lifespan without growth and sign conditions on the nonlinearity is further illuminated in Example 1.
Finally, we show that the generalized solution with initial data in \({\mathscr {G}}^0(\mathbb {R}^d)\) is associated with the corresponding solution of the linear equation (with \(f\equiv 0\)), that is, the difference of the defining representatives converge weakly to zero (Proposition 2).
The paper ends with an appendix on \(L^\infty \)-estimates in the linear wave equation in space dimensions \(d=1,2,3\). These estimates are known, but we found it convenient to collect them in a form needed in our arguments.
We mention that a fixed point principle of Leray–Schauder type in the Colombeau framework has been established and employed in the elliptic setting in [25], working directly on the space of representing families. In the framework of \(({\mathscr {C}},{\mathscr {E}},{\mathscr {P}})\)-algebras, a fixed point theorem has been formulated and applied in [16], also using estimates on the representing families. Further, in the framework of generalized smooth functions [8], general fixed point principles have been established and used to solve ODEs and PDEs with nonlinearities given by generalized functions, see [14, 15] and the remarks in [11].
2 Colombeau algebras
We will employ the special Colombeau algebra of generalized functions denoted by \({{\mathscr {G}}}^{s}\) in [9] (called the simplified Colombeau algebra in [1]). However, here we will simply use the letter \({{\mathscr {G}}}\) instead. This section serves to recall the definitions and properties required for our purpose. For more details, see e. g. [2, 3, 9, 19, 21].
Given a non-empty open subset \(\varOmega \) of \({\mathbb {R}}^n\), the space of real valued, infinitely differentiable functions on \(\varOmega \) is denoted by \(\mathscr {C}^\infty (\varOmega )\), while \(\mathscr {C}^\infty (\overline{\varOmega })\) refers to the subspace of functions all whose derivatives have a continuous extension up to the closure of \(\varOmega \).
Let \(\mathscr {C}^\infty (\varOmega )^{(0,1]}\) be the differential algebra of all maps from the interval (0, 1] into \(\mathscr {C}^\infty (\varOmega )\). Thus each element of \(\mathscr {C}^\infty (\varOmega )^{(0,1]}\) is a family \((u_{\varepsilon })_{\varepsilon \in (0,1]}\) of real valued smooth functions on \(\varOmega \). The subalgebra \({\mathscr {E}}_{M}(\varOmega )\) of moderate nets is defined by the elements \((u_{\varepsilon })_{\varepsilon \in (0,1]}\) of \(\mathscr {C}^\infty (\varOmega )^{(0,1]}\) with the property that, for all \(K \Subset \varOmega \) and \(\alpha \in {\mathbb {N}}_0^n\), there exists \(b\in \mathbb {R}\) such that
The ideal \(\mathscr {N}(\varOmega )\) of negligible nets is defined by all elements \((u_{\varepsilon })_{\varepsilon \in (0,1]}\) of \(\mathscr {C}^\infty (\varOmega )^{(0,1]}\) with the property that, for all \(K \Subset \varOmega \), \(\alpha \in {\mathbb {N}}_0^n\) and \(a \ge 0\),
The Colombeau algebra \({{\mathscr {G}}}(\varOmega )\) of generalized functions is defined as the factor space
The Colombeau algebra \({{\mathscr {G}}}(\overline{\varOmega })\) on the closure of \(\varOmega \) is constructed in a similar way: the compact subsets K occurring in the definition are now compact subsets of \(\overline{\varOmega }\), i.e., may reach up to the boundary. Since \({\mathscr {E}}_{M}(\overline{\varOmega }) \subset {\mathscr {E}}_{M}(\varOmega )\) and \(\mathscr {N}(\overline{\varOmega }) \subset \mathscr {N}(\varOmega )\), there is a canonical map \({{\mathscr {G}}}(\overline{\varOmega }) \rightarrow {{\mathscr {G}}}(\varOmega )\). However, this map is not injective, as follows from the fact that \(\mathscr {N}(\varOmega )\cap {\mathscr {E}}_{M}(\overline{\varOmega }) \ne \mathscr {N}(\overline{\varOmega })\).
Restrictions to open subsets. Let \(\omega \) be an open subset of \(\varOmega \) and \(U\in {\mathscr {G}}(\varOmega )\). Then the restriction \(U|\omega \), obtained by restriction of representatives, is a well defined element of \({\mathscr {G}}(\omega )\). The support of a generalized function \(U\in {\mathscr {G}}(\varOmega )\), denoted by \(\mathop {\mathrm {supp}}U\), is the complement of the largest open set \(\omega \subset \varOmega \) such that \(U|\omega = 0\). An analogous definition applies to elements \(U\in {{\mathscr {G}}}(\overline{\varOmega })\) with the sets \(\omega \), on which U vanishes, taken as open in \(\overline{\varOmega }\). Similarly, the restriction of \(U\in {\mathscr {G}}(\varOmega )\) or \(U\in {{\mathscr {G}}}(\overline{\varOmega })\) to lower dimensional linear subspaces can be defined. This gives a meaning to the initial values of elements of \({\mathscr {G}}([0,T]\times \mathbb {R})\) at \(t=0\).
The ring of generalized numbers. We let \({\mathscr {E}}_{M}\) be the space of nets \((r_\varepsilon )_{\varepsilon \in (0,1]}\) of real numbers such that \(|r_\varepsilon | = O(\varepsilon ^b)\) as \(\varepsilon \rightarrow 0\) for some \(b\in \mathbb {R}\). Similarly, \(\mathscr {N}\) comprises those sequences which are \(O(\varepsilon ^a)\) as \(\varepsilon \rightarrow 0\) for every \(a\ge 0\). The factor space \(\widetilde{\mathbb {R}} = {\mathscr {E}}_{M}/\mathscr {N}\) is the Colombeau ring of generalized numbers.
Generalized functions of bounded type. Let \(\varOmega \) be an open subset of \(\mathbb {R}^n\) and L a subset of \(\varOmega \). A generalized function U from \({\mathscr {G}}(\varOmega )\) is called of bounded type on L, if it has a representative \((u_{\varepsilon })_{\varepsilon \in (0,1]}\) such that
The subalgebra \({\mathscr {G}}^0(\varOmega )\) comprises the generalized functions from \({\mathscr {G}}(\varOmega )\) all whose derivatives of any order are of bounded type on compact sets. The bounded type property is defined similarly for generalized functions in \({\mathscr {G}}(\overline{\varOmega })\), as is the subalgebra \({\mathscr {G}}^0(\overline{\varOmega })\).
While \({\mathscr {G}}(\varOmega )\) is invariant under smooth maps of polynomial growth, it is important to note that \({\mathscr {G}}^0(\varOmega )\) is invariant under arbitrary smooth maps:
Remark 1
-
(a)
If \(f\in {\mathscr {O}}_M({\mathbb {R}})\) and \(U\in {\mathscr {G}}(\varOmega )\), then f(U) is a well defined element of \({\mathscr {G}}(\varOmega )\). That is, if \((u_\varepsilon )_{\varepsilon \in (0.1]}\) is a representative of U, then \((f(u_\varepsilon ))_{\varepsilon \in (0.1]}\) belongs to \({\mathscr {E}}_{M}(\varOmega )\) and its class in \({\mathscr {G}}(\varOmega )\) does not depend on the choice of representative of U.
-
(b)
If \(f\in {\mathscr {C}}^\infty ({\mathbb {R}})\) and \(U\in {\mathscr {G}}^0(\varOmega )\), then f(U) is a well defined element of \({\mathscr {G}}^0(\varOmega )\).
The first assertion can be found already in [2, 3]; the second assertion is proved e.g. in [22].
The sharp topology. The sharp topology, introduced in [1], can be defined through its family of neighborhoods V(K, p, q), where K is a compact subset of \(\varOmega \), \(p \in \mathbb {N}\) and \(q \ge 0\). An element U of \({{\mathscr {G}}}(\varOmega )\) belongs to \({\mathscr {V}}(K,p,q)\) if it has a representative \((u_{\varepsilon })_{\varepsilon \in (0,1]}\) such that
Lemma 1
\({\mathscr {G}}^0(\varOmega )\) is a closed subspace of \({\mathscr {G}}(\varOmega )\).
Proof
If \(U\not \in {\mathscr {G}}^0(\varOmega )\), there is a representative \((u_{\varepsilon })_{\varepsilon \in (0,1]}\), a compact subset K of \(\varOmega \) and a multi-index \(\alpha \) such that
But then the neighborhood \(U + {\mathscr {V}}(K,|\alpha |,0)\) does not intersect \({\mathscr {G}}^0(\varOmega )\). \(\square \)
Let K be a compact subset of \(\varOmega \). We denote by \({\mathscr {G}}_K(\varOmega )\) the subspace of elements of \({\mathscr {G}}(\varOmega )\) whose support is contained in K.
Lemma 2
\({\mathscr {G}}_K(\varOmega )\) is a closed subset of \({\mathscr {G}}(\varOmega )\).
Proof
Suppose that U does not belong to \({\mathscr {G}}_K(\varOmega )\) and let \((u_\varepsilon )_{\varepsilon \in (0,1]}\) be a representative of U. Then there is a compact subset L of the complement of K in \(\varOmega \), a multi-index \(\alpha \) and \(q\ge 0\) such that \(u_\varepsilon \) is not \(O(\varepsilon ^q)\) on L. This implies that there is a subsequence \(\varepsilon _k \rightarrow 0\) such that
If \(V-U \in {\mathscr {V}}(L,|\alpha |,2q)\), then \(\sup _{x\in L}|\partial ^\alpha v_\varepsilon (x)| \ge \frac{1}{2} \varepsilon _k^q\) for sufficiently large k, and so the support of V has a non-empty intersection with L. Thus the neighborhood \(U + {\mathscr {V}}(L,|\alpha |,2q)\) of U does not intersect \({\mathscr {G}}_K(\varOmega )\), showing that \({\mathscr {G}}_K(\varOmega )\) is closed. \(\square \)
Internal sets. Given a net of subsets \((A_\varepsilon )_{\varepsilon \in (0,1]}\) of \({\mathscr {G}}(\varOmega )\), we may consider the set A of all \(U\in {\mathscr {G}}(\varOmega )\) having a representative \((u_\varepsilon )_{\varepsilon \in (0,1]}\) such that \(u_\varepsilon \in A_\varepsilon \) for sufficiently small \(\varepsilon \). Sets A of this form are called internal subsets of \({\mathscr {G}}(\varOmega )\).
Remark 2
Internal subsets of \({\mathscr {G}}(\varOmega )\) are closed with respect to the sharp topology. This has been proven in [24].
We are going to recall that the sharp topology on \({\mathscr {G}}(\varOmega )\) can be defined in terms of an ultra-metric. This construction is due to [29, 30] and has been further developed by [6]. Let \((K_n)_{n\in \mathbb {N}}\) be an exhausting sequence of compact subsets of \(\varOmega \). The seminorms \(\mu _n\) on \({\mathscr {C}}^\infty (\varOmega )\) are given by
Valuations \(\nu _n : {\mathscr {E}}_{M}(\varOmega )\rightarrow (-\infty ,\infty ]\) can be defined by
Obviously, \((u_{\varepsilon })_{\varepsilon \in (0,1]}\) belongs to \(\mathscr {N}(\varOmega )\) if and only if \(\nu _n\big ((u_{\varepsilon })_{\varepsilon \in (0,1]}\big ) = \infty \) for all n. Thus the valuations can be extended to the factor algebra \({\mathscr {G}}(\varOmega )\). The following properties hold:
-
(a)
\(\nu _n(U+V) \ge \min \big (\nu _n(U),\nu _n(V)\big )\);
-
(b)
\(\nu _n(UV) \ge \nu _n(U) + \nu _n(V)\);
-
(c)
if \(m\ge n\), then \(\nu _m(U) \le \nu _n(U)\).
By means of these valuations, a family of ultra-pseudo-seminorms on \({\mathscr {G}}(\varOmega )\) can be defined by
They have the properties
-
(a)
\(p_n(U+V) \le \max \big (p_n(U),p_n(V)\big )\);
-
(b)
\(p_n(UV) \le p_n(U)p_n(V)\);
-
(c)
\(p_n(\lambda U) = p_n(U)\) for all \(\lambda \in \mathbb {R}\).
Finally, an ultra-metric can be defined on \({\mathscr {G}}(\varOmega )\) by
It is an easy exercise to show that the topology induced on \({\mathscr {G}}(\varOmega )\) by the ultra-metric d is the same as the one given by the neighborhoods (2.5). Further, it is known [6, 19, 29] that \({\mathscr {G}}(\varOmega )\) with the uniform structure induced by d is complete, hence a complete ultra-metric space. By Lemma 1 the same is true of \({\mathscr {G}}^0(\varOmega )\).
Contractions in \({\mathscr {G}}^0(\varOmega )\). First, observe that if \(U\in {\mathscr {G}}^0(\varOmega )\), then \(\nu _n(U) \ge 0\) for all n, hence \(p_n(U)\le 1\) for all n, and
In particular, \({\mathscr {G}}^0(\varOmega )\) is contained in the unit ball around zero in \({\mathscr {G}}(\varOmega )\).
Let \({\mathscr {M}}\) be a subset of \({\mathscr {G}}(\varOmega )\). As usual, a map \(F: {\mathscr {M}}\rightarrow {\mathscr {M}}\) is called a contraction, if there is \(\kappa < 1\) such that
for all \(U,V\in {\mathscr {M}}\).
It will be useful to elaborate on sufficient conditions for F to be a contraction on subsets \({\mathscr {M}}\) of \({\mathscr {G}}^0(\varOmega )\). First, if there is \(\kappa < 1\) such that
for all \(U,V\in {\mathscr {M}}\) and \(n\in \mathbb {N}\), then F is a contraction, as follows from the formula (2.7), valid for \(U,V\in {\mathscr {G}}^0(\varOmega )\). This in turn is equivalent with
for all \(U,V\in {\mathscr {M}}\) and \(n\in \mathbb {N}\). Since \(-\log \kappa > 0\), this means – roughly speaking – that F raises the regularity.
Proposition 1
Let \({\mathscr {M}}\subset {\mathscr {G}}^0(\varOmega )\) and \(F:{\mathscr {M}}\rightarrow {\mathscr {M}}\). Assume that F is of the form \(F(U) = EG(U)\), where E is a generalized real number such that \(\nu _0(E) > 0\) and G is Lipschitz continuous with respect to all \(\mu _n\), that is, there are constants \(C_n \ge 0\) such that if \(U,V\in {\mathscr {G}}(\varOmega )\) and \((u_{\varepsilon })_{\varepsilon \in (0,1]}\), \((v_{\varepsilon })_{\varepsilon \in (0,1]}\) are representatives of U and V, there is \(\varepsilon _n > 0\) such that
for all \(\varepsilon \le \varepsilon _n\). Then F is a contraction on \({\mathscr {M}}\).
Proof
We begin by observing that if \(\mu _n(u_\varepsilon - v_\varepsilon ) = O(\varepsilon ^b)\), then also \(C_n\mu _n(u_\varepsilon - v_\varepsilon ) = O(\varepsilon ^b)\). Inequality (2.9) implies that \(\mu _n(G(u_\varepsilon ) - G(v_\varepsilon )) = O(\varepsilon ^b)\) as well. It follows that
Therefore, the supremum of the left-hand side is less or equal to the supremum of the right-hand side. This means that \(\nu _n(U-V) \le \nu _n\big (G(U) - G(V)\big )\), which in turn implies
using that for generalized real numbers \(\nu _n(E) = \nu _0(E)\) for all n. This in turn yields that
thus (2.8) holds with \(\kappa = \exp (-\nu _0(E)) < 1\). \(\square \)
3 Global existence of regular solutions
This section is devoted to establishing existence and uniqueness of a solution in \({\mathscr {G}}^0([0,T]\times {\mathbb {R}}^d)\) to the Cauchy problem for nonlinear wave equations with small nonlinearity in space dimensions \(d = 1,2,3\). We consider the problem
We make the following assumptions.
-
(A1)
E is a generalized number with positive valuation \(\nu _0(E) > 0\);
-
(A2)
f belongs to \({\mathscr {C}}^\infty ({\mathbb {R}})\) and satisfies \(f(0) = 0\);
-
(A3)
\(U_0\), \(U_1\) belong to \({\mathscr {G}}^0({\mathbb {R}}^d)\) and are compactly supported, with support in the ball \(B_0 = \{x\in {\mathbb {R}}^d: |x|\le r\}\) of radius r, for some \(r\ge 0\).
Note that the generalized number E with representative \((e_\varepsilon )_{\varepsilon \in (0,1]}\) takes the role of the small parameter \(h(\varepsilon )\) informally introduced in the introduction.
We set
The (classical) solution operator for the linear wave equation with initial data \(u_0, u_1\) and right-hand side h is denoted by \( L(u_0,u_1,h)\) (see appendix).
Theorem 1
Let \(d = 1,2,3\) and let the assumptions (A1), (A2) and (A3) hold. Then for any \(T > 0,\) problem (3.10) has a unique solution \(U \in {\mathscr {G}}^0([0,T] \times {\mathbb {R}}^d)\) with support in \(K_0\).
Proof
We define the map \(F:{\mathscr {G}}^0([0,T] \times {\mathbb {R}}^d)\rightarrow {\mathscr {G}}([0,T] \times {\mathbb {R}}^d)\) by
with
We wish to show, using Proposition 1, that F is a contraction on a suitable closed subset \({\mathscr {M}}\) of \({\mathscr {G}}^0([0,T] \times {\mathbb {R}}^d)\). As in the appendix, we take \(K_0\) as a starting element of an exhausting sequence \((K_n)_{n\in \mathbb {N}}\) of compact subsets of \([0,T]\times {\mathbb {R}}^d\). The seminorms \(\mu _n\) on \({\mathscr {C}}^\infty ([0,T]\times {\mathbb {R}}^d)\) are defined as in (2.6). Further, the seminorms \(\mu _n^0\) on \({\mathscr {C}}^\infty ({\mathbb {R}}^d)\) are defined in an analogous way (see appendix). In what follows, \((u_{0\varepsilon })_{\varepsilon \in (0,1]}\) and \((u_{1\varepsilon })_{\varepsilon \in (0,1]}\) denote representatives of \(U_0\) and \(U_1\), respectively.
We let \({\mathscr {M}}_1\) comprise the elements U of \({\mathscr {G}}([0,T] \times {\mathbb {R}}^d)\) having a representative \((u_\varepsilon )_{\varepsilon \in (0,1]}\) with the property
For all \(n\in {\mathbb {N}}\) there is \(\varepsilon _n>0\) such that \(\mu _n\big (u_\varepsilon - L(u_{0\varepsilon },u_{1\varepsilon },0)\big ) \le 1\)
for \(0< \varepsilon \le \varepsilon _n\).
Clearly, \({\mathscr {M}}_1\) is an internal subset of \({\mathscr {G}}([0,T] \times {\mathbb {R}}^d)\), hence closed with respect to the sharp topology (Remark 2). Next, \({\mathscr {M}}_2\) denotes the set of elements of \({\mathscr {G}}([0,T] \times {\mathbb {R}}^d)\) with support contained in \(K_0\). By Lemma 2, \({\mathscr {M}}_2\) is a closed subset of \({\mathscr {G}}([0,T] \times {\mathbb {R}}^d)\) as well. Finally, we set
By Lemma 1, \({\mathscr {M}}\) is a closed subset of \({\mathscr {G}}([0,T] \times {\mathbb {R}}^d)\), hence a complete ultra-metric space.
We first show that F maps \({\mathscr {M}}\) into itself. Let \(U \in {\mathscr {M}}\) and take a representative \((u_\varepsilon )_{\varepsilon \in (0,1]}\). Using that \({\mathscr {G}}^0([0,T] \times {\mathbb {R}}^d)\) is invariant under superposition with smooth maps, it follows that f(U) belongs to \({\mathscr {G}}^0([0,T] \times {\mathbb {R}}^d)\) as well. This means, in particular, that for all \(n\in \mathbb {N}\) there are constants \(C_n'\) and \(\varepsilon _n'\) such that
A similar assertion holds for \(\mu _n^0(u_{0\varepsilon })\) and \(\mu _n^0(u_{1\varepsilon })\). Recall that \(\nu _0(E) > 0\) means that there is \(b>0\) such that
where \((e_\varepsilon )_{\varepsilon \in (0,1]}\) is a representative of E. Using this and Lemma 3(b) in the appendix, we conclude that \(F(U) = L(U_0,U_1,0) + EL(0,0,f(U))\) belongs to \({\mathscr {G}}^0([0,T] \times {\mathbb {R}}^d)\) as well. Also by Lemma 3(a), F(U) has its support in \(K_0\), thus belongs to \({\mathscr {M}}_2\).
To show that \(F(U) \in {\mathscr {M}}_1\), we have to estimate
But the right-hand side will eventually be less or equal to 1, due to (3.11) and the fact that L(0, 0, f(U)) belongs to \({\mathscr {G}}^0([0,T] \times {\mathbb {R}}^d)\). Combining the assertions, we see that F(U) belongs to \({\mathscr {M}}\).
Second, in order to show that F is a contraction on \({\mathscr {M}}\), we invoke Proposition 1 and just have to establish the Lipschitz estimates (2.9) for the map \(U\rightarrow G(U) = L(0,0,f(U))\). Let U, V belong to \({\mathscr {M}}\) with representatives \((u_\varepsilon )_{\varepsilon \in (0,1]}\), \((v_\varepsilon )_{\varepsilon \in (0,1]}\). We have to estimate \(\mu _n\big (L(0,0,f(u_\varepsilon ) - f(v_\varepsilon ))\big )\).
For \(n=0\) this is fairly straightforward. In fact,
But U belongs to \({\mathscr {M}}_1\), so
by Lemma 3. Since \(U_0\) and \(U_1\) belong to \({\mathscr {G}}^0({\mathbb {R}}^d)\), the right-hand side is bounded by a constant. The same argument applies to \(v_\varepsilon \). But \(f'\) is bounded on bounded sets, so there is a constant \(C>0\) such that
and so
From Lemma 3,
and this is the desired estimate of order zero. To indicate the estimate of order one, denote by \(\partial _x\) a spatial derivative. Using the explicit formulas in the appendix, it holds that \(\partial _x L(0,0,f(u_\varepsilon ) - f(v_\varepsilon )) = L(0,0,\partial _x(f(u_\varepsilon ) - f(v_\varepsilon )))\) and
One may now apply the same argument as for the zero order estimate, observing that \(\partial _x v_\varepsilon \) is bounded on \(K_0\) since V belongs to \({\mathscr {M}}\). The time derivatives are yet more complicated, because \(\partial _t L(0,0,f(u_\varepsilon ))\) involves also the evaluation of \(f(u_\varepsilon )\) at \(t=0\). Nevertheless, the argument can be continued recursively, yielding the estimates (2.9) for every n.
We conclude that there is a unique \(U\in {\mathscr {M}}\) such that \(U = F(U)\). Written out in terms of representatives, this means that
where the net \((n_\varepsilon )_{\varepsilon \in (0,1]}\) belongs to \({\mathscr {N}}([0,T] \times {\mathbb {R}}^d)\). It follows from the formulas in the appendix that
where \(m_\varepsilon = (\partial _t^2 - \varDelta )n_\varepsilon \) represents an element of \({\mathscr {N}}([0,T] \times {\mathbb {R}}^d)\) as well. It also holds that \(u_\varepsilon |_{t = 0} = u_{0\varepsilon }\) and \(\partial _tu_\varepsilon |_{t = 0} = u_{1\varepsilon }\), thus U is the unique solution to problem (3.10) in \({\mathscr {M}}\).
It remains to show that the solution is unique in \({\mathscr {G}}^0([0,T] \times {\mathbb {R}}^d)\) with support in \(K_0\). Thus let W be a solution of (3.10) with the indicated properties. This means that for any representative \((w_\varepsilon )_{\varepsilon \in (0,1]}\), there are elements \((m_\varepsilon )_{\varepsilon \in (0,1]}\in \mathscr {N}([0,T] \times {\mathbb {R}}^d)\) and \((n_{0\varepsilon })_{\varepsilon \in (0,1]}, (n_{1\varepsilon })_{\varepsilon \in (0,1]}\in \mathscr {N}({\mathbb {R}}^d)\) such that
Since \(w_\varepsilon \) is a classical solution of (3.13), it follows that
Using the linearity of the solution operator L, we conclude that
Since W belongs to \({\mathscr {G}}^0([0,T] \times {\mathbb {R}}^d)\), all seminorms \(\mu _n(w_\varepsilon )\) are bounded as \(\varepsilon \rightarrow 0\). From Lemma 3, the seminorms \(\mu _n\big (L(0,0,f(w_\varepsilon ))\big )\) are bounded as well. Also, all seminorms of \(n_{0\varepsilon }\), \(n_{1\varepsilon }\), \(m_\varepsilon \) are of order \(O(\varepsilon ^q)\) for every \(q\ge 0\), so the same is true of \(\mu _n\big (L(n_{0\varepsilon }, n_{1\varepsilon }, m_\varepsilon )\big )\). Using (3.11), it follows that the right-hand side in (3.14) will eventually be less than 1 as \(\varepsilon \rightarrow 0\). Thus W is seen to belong to \({\mathscr {M}}\) and hence coincides with the unique solution in \({\mathscr {M}}\). \(\square \)
Remark 3
At this stage it is not clear whether the uniqueness assertion of Theorem 1 holds without assuming that the support is contained in \(K_0\). However, if f belongs to \({\mathscr {O}}_M({\mathbb {R}})\) and is globally Lipschitz, uniqueness holds even in \({\mathscr {G}}([0,T] \times {\mathbb {R}}^d)\) without further assumptions, as was noted in the introduction.
Theorem 1 can be restated in classical terms. In what follows, the notation \(O(\varepsilon ^\infty )\) signifies a net of smooth functions vanishing to any order, that is, satisfying the negligibility estimate (2.3) for every \(a\ge 0\).
Corollary 1
Given nets \((u_{0\varepsilon }, u_{1\varepsilon })_{\varepsilon \in (0,1]}\) of smooth functions of compact support in \(B_0\) satisfying the bounded type condition (2.4), there is a net \((u_\varepsilon )_{\varepsilon \in (0,1]}\) of smooth functions, satisfying the moderateness condition (2.2), which solves the initial value problem that
Further, any two nets solving (3.15) with supports in \(K_0\) differ by \(O(\varepsilon ^\infty )\) as well.
Proof
This is simply a restatement of Theorem 1 in terms of representatives, invoking the meaning of the solution concept in \({\mathscr {G}}^0([0,T] \times {\mathbb {R}}^d)\), in particular, (3.12). \(\square \)
We complete the investigation by showing that, for \({\mathscr {G}}^0\)-initial data, the generalized solution given by Theorem 1 is actually associated with the solution to the linear wave equation with the same initial data. Recall that two elements U, V of \({\mathscr {G}}([0,T]\times {\mathbb {R}}^d)\) are associated, if
for every \(\psi \in {\mathscr {C}}^\infty ([0,T]\times {\mathbb {R}}^d)\) of compact support, where \((u_\varepsilon )_{\varepsilon \in (0,1]}\) and \((v_\varepsilon )_{\varepsilon \in (0,1]}\) are representatives of U and V, respectively.
Proposition 2
Under the assumptions of Theorem 1, let \(U\in {\mathscr {G}}^0([0,T]\times {\mathbb {R}}^d)\) be the unique solution to (3.10). Let \(V\in {\mathscr {G}}^0([0,T]\times {\mathbb {R}}^d)\) be the unique solution to equation (3.10) with \(f\equiv 0\) and the same initial data \(U_0, U_1\). Then U and V are associated.
Proof
Note that the solution V to the linear wave equation exists and is unique according to Theorem 1 and Remark 3. The proof of Proposition 2 proceeds in the same way as the proof of the uniqueness part of Theorem 1. Let \((u_\varepsilon )_{\varepsilon \in (0,1]}\) and \((v_\varepsilon )_{\varepsilon \in (0,1]}\) be representatives of U and V. There are elements \((m_\varepsilon )_{\varepsilon \in (0,1]}\in \mathscr {N}([0,T] \times {\mathbb {R}}^d)\) and \((n_{0\varepsilon })_{\varepsilon \in (0,1]}, (n_{1\varepsilon })_{\varepsilon \in (0,1]}\in \mathscr {N}({\mathbb {R}}^d)\) such that
It follows that
and thus, in particular,
Since U belongs to \({\mathscr {G}}^0([0,T] \times {\mathbb {R}}^d)\), the seminorms \(\mu _0(u_\varepsilon )\) are bounded as \(\varepsilon \rightarrow 0\). From Lemma 3, the seminorms \(\mu _0\big (L(0,0,f(u_\varepsilon ))\big )\) are bounded as well. Also, all seminorms of \(n_{0\varepsilon }\), \(n_{1\varepsilon }\), \(m_\varepsilon \) are of order \(O(\varepsilon ^q)\) for every \(q\ge 0\), so the same is true of \(\mu _0\big (L(n_{0\varepsilon }, n_{1\varepsilon }, m_\varepsilon )\big )\). Using (3.11), it follows that the right-hand side in (3.16) tends to zero as \(\varepsilon \rightarrow 0\). Thus
In particular, U and V are associated. \(\square \)
Remark 4
The estimate (3.11) actually shows that U and V are strongly associated in the sense of [19].
Finally, a few words of explanation appear appropriate, why it is possible to have global solutions (on arbitrary time intervals [0, T]) for small nonlinearities without any growth or sign restrictions on the nonlinearity (and large initial data). In fact, this is strongly related to classical global existence results for small initial data (and large nonlinearities).
Example 1
-
(a)
An illustrative example is given by the ordinary differential equation
$$\begin{aligned} y'(t) = \varepsilon y^2(t),\quad y(0) = 1. \end{aligned}$$(3.17)The local solution is
$$\begin{aligned} y(t) = \frac{1}{1-\varepsilon t}. \end{aligned}$$At fixed \(\varepsilon \), the solution exists for \(0\le t < 1/\varepsilon \) and thus has finite lifespan. Viewed differently, at fixed, but arbitrary T, the solutions exist for \(0\le \varepsilon < 1/T\). This observation makes it possible to construct a net of solutions \((y_\varepsilon )_{\varepsilon \in (0,1]}\) which solves Eq. (3.17) asymptotically as \(\varepsilon \rightarrow 0\) with given lifespan T, or alternatively provides a representative of a generalized solution in the Colombeau algebra \({\mathscr {G}}[0,T]\).
The relation with small data solutions is immediately established by rescaling. Indeed, \(z(t) = \varepsilon y(t)\) solves
$$\begin{aligned} z'(t) = z^2(t),\quad z(0) = \varepsilon \end{aligned}$$in the same range of \(\varepsilon \) and t.
-
(b)
The example can be easily upgraded to provide a solution to a semilinear wave equation with small nonlinerity (which does not depend on the space variable \(x\in \mathbb {R}^d\)). Indeed, \(u_\varepsilon (t,x) = 1/(1-\varepsilon t)\) is a classical solution to
$$\begin{aligned} \begin{array}{l@{\quad }l} \partial _t^2 u_\varepsilon - \varDelta u_\varepsilon = 2\varepsilon ^2 u_\varepsilon ^3, \\ u_\varepsilon |_{t = 0} = 1,\quad \partial _t u_\varepsilon |_{t = 0} = \varepsilon \end{array} \end{aligned}$$in any space dimension d. The solution exists on the time interval [0, T] provided \(0 \le \varepsilon < 1/T\).
-
(c)
Corollary 1 is strongly related to classical results on the lifespan of solutions to semilinear wave equations with small initial data. For example, following [13], there is the following lifespan estimate for smooth solutions to
$$\begin{aligned} \begin{array}{l} \partial _t^2v - \varDelta v = v^2, \quad t \in [0,T], \ x \in {\mathbb {R}}^3, \\ v|_{t = 0} = \varepsilon \psi _0,\quad \partial _t v|_{t = 0} = \varepsilon \psi _1, \quad x \in {\mathbb {R}}^3 \end{array} \end{aligned}$$(3.18)where \(\psi _0,\psi _1\) are smooth functions of compact support: There is \(\mu \) and \(\varepsilon _0\) such that the solution to (3.18) exists at least for \(T< \mu ^2/\varepsilon _0^2\), see [13, Theorem 2.2]. Setting \(u_\varepsilon = v/\varepsilon \), we obtain a solution to
$$\begin{aligned} \begin{array}{l} \partial _t^2u_\varepsilon - \varDelta u_\varepsilon = \varepsilon u_\varepsilon ^2, \quad t \in [0,T], \ x \in {\mathbb {R}}^3, \\ u_\varepsilon |_{t = 0} = \psi _0,\quad \partial _t u_\varepsilon |_{t = 0} = \psi _1, \quad x \in {\mathbb {R}}^3, \end{array} \end{aligned}$$and this solution exists on the time interval [0, T] whenever \(\varepsilon < \mu /\sqrt{T}\).
Remark 5
It is possible to prove Theorem 1 by classical means. One would start by constructing a fixed point of the integral equation
in a ball \({\mathscr {B}}\) of radius 1 around \(L(u_0,u_1,0)\) in \({\mathscr {C}}([0,T]\times \mathbb {R}^d)\). The lifespan T is related to the size of the initial data and bounds on \(h(\varepsilon )f\) and its first derivatives on the bounded subset of \([0,T]\times \mathbb {R}^d\) spanned by the range of the initial data (plus 1). As \(h(\varepsilon )\rightarrow 0\), these bounds become smaller than 1, thus turning L into a contraction on the ball \({\mathscr {B}}\) in \({\mathscr {C}}([0,T]\times \mathbb {R}^d)\) for \(\varepsilon <\varepsilon _0\). Next, one would recursively repeat the argument in \({\mathscr {C}}^k([0,T]\times \mathbb {R}^d)\), \(k\ge 1\), employing a priori estimates on the previously obtained solution in \({\mathscr {C}}^{k-1}([0,T]\times \mathbb {R}^d)\) in order to keep the lifespan T and \(\varepsilon _0\) fixed. This results in a net \((u_\varepsilon )_{\varepsilon \in (0,\varepsilon _0)}\) of smooth solutions. Finally, one has to establish the \({\mathscr {G}}^0\)-estimates for existence of a generalized solution and the \({\mathscr {N}}\)-estimates for uniqueness. Clearly, this path is more tedious than the one which we used with the contraction mapping argument in the sharp topology.
References
Biagioni, H.A.: A nonlinear theory of generalized functions. Lecture Notes in Mathematics, vol. 1421. Springer, Berlin (1990)
Colombeau, J.-F.: New generalized functions and multiplication of distributions. North-Holland Mathematics Studies, vol. 84. North-Holland, Amsterdam (1984)
Colombeau, J.-F.: Elementary introduction to new generalized functions. North-Holland Mathematics Studies, vol. 113. North-Holland, Amsterdam (1985)
Deguchi, H., Oberguggenberger, M.: Propagation of singularities for generalized solutions to nonlinear wave equations. J. Fixed Point Theory Appl. 22, 67 (2020)
Delcroix, A.: Regular rapidly decreasing nonlinear generalized functions. Application to microlocal regularity. J. Math. Anal. Appl. 327, 564–584 (2007)
Garetto, C.: Topological structures in Colombeau algebras: topological \(\widetilde{\mathbb{C}}\)-modules and duality theory. Acta Appl. Math. 88, 81–123 (2005)
Garetto, C., Ruzhansky, M.: Hyperbolic second order equations with non-regular time dependent coefficients. Arch. Ration. Mech. Anal. 217, 113–154 (2015)
Giordano, P., Kunzinger, M., Vernaeve, H.: Strongly internal sets and generalized smooth functions. J. Math. Anal. Appl. 422, 56–71 (2015)
Grosser, M., Kunzinger, M., Oberguggenberger, M., Steinbauer, R.: Geometric theory of generalized functions with applications to general relativity. Mathematics and Its Applications, vol. 537. Kluwer Acad. Publ., Dordrecht (2001)
Haraux, A.: Nonlinear Vibrations and the Wave Equation. Springer Briefs in Mathematics. BCAM Springer Briefs. Springer, Cham (2018)
Lecke, A., Luperi Baglini, L., Giordano, P.: The classical theory of calculus of variations for generalized functions. Adv. Nonlinear Anal. 8, 779–808 (2019)
Lei, Q., Yang, H.: Global existence and blow-up for semilinear wave equations with variable coefficients. Chin. Ann. Math. Ser. B 39, 643–664 (2018)
Lindblad, H.: On the lifespan of solutions to nonlinear wave equations with small initial data. Commun. Pure Appl. Math 43, 445–472 (1990)
Luperi Baglini, L., Giordano, P.: The Grothendieck topos of generalized functions II: ODE. Preprint (2019). www.mat.univie.ac.at/~giordap7/ToposII.pdf
Luperi Baglini, L., Giordano, P.: The Grothendieck topos of generalized functions III: normal PDE. Preprint (2019). www.mat.univie.ac.at/~giordap7/ToposIII.pdf
Marti, J.-A.: Fixed points in algebras of generalized functions and applications. Document de travail CEREGMIA (2015) hal.univ-antilles.fr/hal-01231272
Maslov, V.P., Cupin, V.A.: \(\delta \)-shaped solutions of quasilinear equations that are generalized in the sense of Sobolev. Russ. Math. Surv. 34(1), 231–232 (1979)
Nedeljkov, M., Oberguggenberger, M., Pilipović, S.: Generalized solutions to a semilinear wave equation. Nonlinear Anal. 61, 461–475 (2005)
Nedeljkov, M., Pilipović, S., Scarpalézos, D.: The linear theory of Colombeau generalized functions. Pitman Research Notes Mathematics, vol. 385. Longman, Harlow (1998)
Oberguggenberger, M.: Generalized solutions to semilinear hyperbolic systems. Monatsh. Math. 103, 133–144 (1987)
Oberguggenberger, M.: Multiplication of distributions and applications to partial differential equations. Pitman Research Notes Mathematics, vol. 259. Longman Scientific & Technical, Harlow (1992)
Oberguggenberger, M.: Regularity theory in Colombeau algebras. Bull. T. CXXXIII Acad. Serbe Sci. Arts Cl. Sci. Math. Nat., Sci. Math. 31, 147–162 (2006)
Oberguggenberger, M., Russo, F.: Nonlinear stochastic wave equations. Integral Transforms Spec. Funct. 6(1–4), 71–83 (1998)
Oberguggenberger, M., Vernaeve, H.: Internal sets and internal functions in Colombeau theory. J. Math. Anal. Appl. 341, 649–659 (2008)
Pilipović, S., Scarpalézos, D.: Divergent type quasilinear Dirichlet problem with singularities. Acta Appl. Math. 94, 67–82 (2006)
Robert, D.: Autour de l’approximation semi-classique. Progress in Mathematics, vol. 68. Birkhäuser, Boston (1987)
Ruzhansky, M., Tokmagambetov, N.: Wave equation for operators with discrete spectrum and irregular propagation speed. Arch. Ration. Mech. Anal. 226, 1161–1207 (2017)
Ruzhansky, M., Tokmagambetov, N.: Very weak solutions of wave equation for Landau Hamiltonian with irregular electromagnetic field. Lett. Math. Phys. 107, 591–618 (2017)
Scarpalézos, D.: Some remarks on functoriality of Colombeau’s construction; topological and microlocal aspects and applications. Integral Transform. Spec. Funct. 6, 295–307 (1998)
Scarpalézos, D.: Colombeau’s generalized functions: topological structures; microlocal properties. A simplified point of view. I. Bull. Cl. Sci. Math. Nat. Sci. Math. 25, 89–114 (2000)
Struwe, M.: Semi-linear wave equations. Bull. Am. Math. Soc. (N.S.) 26, 53–85 (1992)
Takamura, H., Wakasa, K.: Almost global solutions of semilinear wave equations with the critical exponent in high dimensions. Nonlinear Anal. 109, 187–229 (2014)
Trèves, F.: Basic linear partial differential equations. Pure and Applied Mathematics, vol. 62. Academic Press, New York (1975)
Acknowledgements
The results in this paper were obtained during several visits of the first author to Universität Innsbruck. He expresses his heartfelt thanks to the Unit of Engineering Mathematics for the warm hospitality during his visits.
Funding
Open access funding provided by University of Innsbruck and Medical University of Innsbruck.
Author information
Authors and Affiliations
Corresponding author
Ethics declarations
Conflict of interest
The authors declare that they have no conflict of interest.
Additional information
Communicated by Adrian Constantin.
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
A Appendix: Linear estimates
A Appendix: Linear estimates
The appendix collects the required estimates for solutions to the linear wave equation in space dimensions \(d = 1,2,3\). The solution formulas are well known; nevertheless, we found it useful to display them here so that the reader can easily visualize the aguments needed for the proof of Lemma 3 below. We consider classical, smooth solutions to
with \(u_0, u_1 \in {\mathscr {C}}^\infty ({\mathbb {R}}^d)\) and \(h \in {\mathscr {C}}^\infty ([0,T]\times {\mathbb {R}}^d)\). The solution \(u \in {\mathscr {C}}^\infty ([0,T]\times {\mathbb {R}}^d)\) is given by the solution operator \(L(u_0,u_1,h)\), which can be obtained by means of convolution with the fundamental solution to the Cauchy problem and Duhamel’s principle (see e.g. [33]). The crucial property that allows one to obtain \(L^\infty \)-estimates in space dimensions \(d= 1,2,3\) is the fact that in these three cases, the fundamental solution is a smooth map of time \(t\in [0,\infty )\) with values in the space of integrable measures (in fact, integrable functions for \(d = 1,2\)).
The solution operator \(L(u_0,u_1,h)\) is of the following form. In space dimension \(d=1\), L is given by d’Alembert’s formula
or alternatively
In space dimension \(d=2\), L is given by Poisson’s formula. Namely, \(2\pi \) times \(L(u_0,u_1,h)(t,x)\) equals
or alternatively
In space dimension \(d=3\), L is given by Kirchhoff’s formula. Namely, \(4\pi \) times \(L(u_0,u_1,h)(t,x)\) equals
where \(d\omega \) denotes the surface element, or alternatively
Let \(r\ge 0\). We denote the ball of radius r around zero by \(B_0 = \{x\in {\mathbb {R}}^d: |x|\le r\}\). Further, for \(T>0\), we let
and take \(K_0\) as a starting element of an exhausting sequence \((K_n)_{n\in \mathbb {N}}\) of compact subsets of \([0,T]\times {\mathbb {R}}^d\). The seminorms \(\mu _n\) on \({\mathscr {C}}^\infty ([0,T]\times {\mathbb {R}}^d)\) are defined as in (2.6). This is done for notational consistency; actually, all estimates take place on the initial compact set \(K_0\). Similarly, we take \(B_0\) as starting element of an exhausting sequence \((B_n)_{n\in \mathbb {N}}\) of compact subsets of \({\mathbb {R}}^d\). The corresponding seminorms on \({\mathscr {C}}^\infty ({\mathbb {R}}^d)\) are denoted by \(\mu _n^0\).
We have the following properties of the solution operator L in space dimensions \(d = 1,2,3\).
Lemma 3
Assume that \(u_0, u_1 \in {\mathscr {C}}^\infty ({\mathbb {R}}^d)\) and \(h \in {\mathscr {C}}^\infty ([0,T]\times {\mathbb {R}}^d)\).
-
(a)
If the supports of \(u_0\) and \(u_1\) are contained in \(B_0\) and the support of h is contained in \(K_0\), then the support of \(L(u_0,u_1,h)\) is contained in \(K_0\).
-
(b)
There is a sequence of positive constants \(C_n\), depending only on T, such that
$$\begin{aligned} \mu _n\big (L(u_0,u_1,h)\big ) \le C_n\Big (\mu _{n+1}^0(u_0) + \mu _n^0(u_1) + \mu _n(h)\Big ). \end{aligned}$$
Proof
-
(a)
The support property is obvious from the primary versions of d’Alembert’s, Poisson’s, and Kirchhoff’s solution formulas.
-
(b)
The estimate of order \(n=0\) is obvious from the secondary versions of the formulas. When differentiating \(L(u_0,u_1,h)\) with respect to x or t, the alternative versions of the solution formulas are more useful. One easily observes that each derivative of \(L(u_0,u_1,h)\) consists of a finite number of terms involving the derivatives of \(u_0\), \(u_1\) and h, the values of h at \(t=0\), and possibly integrals thereof over \(B_0\) or \(K_0\). The estimate follows immediately. \(\square \)
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
Deguchi, H., Oberguggenberger, M. Regular generalized solutions to semilinear wave equations. Monatsh Math 194, 67–84 (2021). https://doi.org/10.1007/s00605-020-01470-z
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00605-020-01470-z
Keywords
- Semilinear wave equations
- Small nonlinearities
- Existence of generalized solutions
- Algebras of generalized functions