Abstract
We prove that, if the coefficients of an hyperbolic operator are Zygmund-continuous with respect to t and Lipschitz-continuous with respect to x, an energy estimate without loss of derivatives holds true. As a consequence, the Cauchy problem related to the hyperbolic operator is well-posed in Sobolev spaces.
To Massimo Cicognani and Michael Reissig on the occasion of their 60th birthday
Access provided by Autonomous University of Puebla. Download conference paper PDF
Similar content being viewed by others
Keywords
1 Introduction
Consider the second order strictly hyperbolic operator
where, for all \((t,x)\in [0,T]\times {\mathbb {R}}^n\) and \(\xi \in {\mathbb {R}}^n\),
and
It is well-known that, if the coefficients a jk are Lipschitz-continuous in t and measurable in x, then the Cauchy problem related to L is well-posed in the energy space. In particular, a constant C > 0 exists, such that
for all u ∈ C([0, T];H 1) ∩ C 1([0, T];L 2) with Lu ∈ L 1([0, T];L 2) (see [11, 12, Ch. IX]).
In this note we are interested in second order strictly hyperbolic operators having non Lipschitz-continuous coefficients with respect to time.
After the pioneering paper by Colombini, De Giorgi and Spagnolo [7], this topic has been widely studied. A result of particular interest has been obtained in [5], where it was proved that, if the coefficients are \(\log \)-Lipschitz-continuous with respect to t and x, i.e. there exists C > 0 such that
then (1) is no more valid, but the following weaker energy estimate can be recovered:
for some constants C > 0, β > 0 and for all u ∈ C 2([0, T];H ∞) and θ ∈ ]0, 1[ (here and in the following \(H^\infty = \bigcap _{s\in {\mathbb {R}}} H^s)\). Remark that, while in (1) the norms of u(t) and ∂ t u(t) are estimated by the same norms of u(0) and ∂ t u(0), in (2) the Sobolev spaces in which u(t) and ∂ t u(t) are measured are different and bigger than the spaces in which initial data are, so the estimate is less effective. This phenomenon goes under the name of “loss of derivatives”. We refer e.g. to the introductions of [8, 9] for more details and references about this problem.
Using a result obtained by Tarama in [16] (see also Remark 1 below), it is possible to prove that if the coefficients depend only on t and are Zygmund-continuous, i.e.
then (1) is valid. Notice that the Zygmund assumption is weaker than the Lipschitz one. In [9], the authors proved that if the coefficients depend also on the space variable and verify an isotropic Zygmund assumption (i.e. they are Zygmund-continuous both in time and space variables), then the Cauchy problem is well-posed with no loss, but only in the space H 1∕2 × H −1∕2. In particular, an estimate similar to (1) holds true, up to replacing the H 1 and L 2 norms respectively with the H 1∕2 and H −1∕2 norms. See also Remark 2 below for more details.
The problem whether a Zygmund assumption both in time and space is still enough to recover well-posedness in general spaces H s × H s−1 (and not only for s = 1∕2) remains at present largely open. As a partial step in this direction, in this note we consider a stronger hypothesis with respect to the space variable: namely we prove that, if the coefficients are Zygmund-continuous with respect to t and Lipschitz-continuous with respect to x, then an estimate without loss of derivatives, similar to (1), holds true. Then, the Cauchy problem related to L is well-posed in any space H s × H s−1, for all s ∈ ]0, 1].
Two are the main ingredients of the proof of our result. The first one is to resort to Tarama’s idea of introducing a new type of energy associated to operator L: this new energy is equivalent to the classical energy, but it contains a lower order term, whose goal is to produce special algebraic cancellations, which reveal to be fundamental in the energy estimates. The second main ingredient, already introduced in [8] and [9], is the use of paradifferential calculus with parameters (see e.g. [13, 15]), in order to deal with coefficients depending also on x and having low regularity in that variable.
We conclude this introduction with a short overview of the paper. In the next section we fix our hypotheses and state our main result, see Theorem 1. In Sect. 3 we collect some elements of Littlewood-Paley theory, which are needed in the description of the functional classes where the coefficients belong to, and in the construction of paradifferential calculus with parameters. With those tools at hand, we tackle the proof of Theorem 1, which is carried out in Sect. 4.
2 Main Result
Given T > 0 and an integer n ≥ 1, let L be the linear differential operator defined on \([0,T]\times {\mathbb {R}}^n\) by
where, for all j, k = 1, …, n,
and there exist λ 0, Λ0 > 0 such that
for all \((t,x)\in [0,T]\times {\mathbb {R}}^n\) and for all \(\xi \in {\mathbb {R}}^n\). Suppose moreover that there exist constants C 0, C 1 > 0 such that, for all j, k = 1, …, n and for all \(\tau \in {\mathbb {R}}\), \(y\in {\mathbb {R}}^n\),
We can now state the main result of this paper.
Theorem 1
Under the previous hypotheses, for all fixed θ ∈ [0, 1[, there exists a constant C > 0, depending only on θ and T, such that
for all\(u\in C^2([0,T], H^{\infty }({\mathbb {R}}^n))\).
Some remarks are in order.
Remark 1
If the coefficients a jk depend only on t, this result has been obtained by Tarama in [16], under the hypothesis that there exists a constant C 2 > 0 such that, for all j, k = 1, …, n and for all τ ∈ ]0, T∕2[,
Tarama’s hypothesis is weaker than ours, but, when coefficients depend also on the space variable, it is customary to take a pointwise condition with respect to time, like in (7) above (see also [5, 6, 8, 9] in this respect). In particular, it is not clear at present whether or not the pointwise condition (7) can be relaxed to an integral one, similar to (10), in our framework.
Remark 2
If the hypoteses (7) and (8) are replaced by the weaker following one: there exists a constant C 3 > 0 such that, for all j, k = 1, …, n and for all \(\tau \in {\mathbb {R}}\), \(y\in {\mathbb {R}}^n\),
the estimate (9) has been proved, only in the case of θ = 1∕2, by the present authors and Métivier in [9].
Remark 3
Assume (7) and the following hypothesis: there exists a constant C 4 > 0 such that, for all j, k = 1, …, n and for all \(y\in {\mathbb {R}}^n\) with 0 < |y|≤ 1,
As a consequence of a result of the present authors and Métivier in [8] (stated for coefficients which are actually log-Zygmund with respect to time), one gets that, for all fixed θ ∈ ]0, 1[, there exist a β > 0, a time T′ > 0 and a constant C > 0 such that
for all \(u\in C^2([0,T'], H^{\infty }({\mathbb {R}}^n))\). The condition (12) is weaker than (8) but also (13) is weaker than (9): (13) has a loss of derivatives, while (9) performs no loss. In addition, observe that (13) holds only for θ ∈ ]0, 1[, while (9) holds also for θ = 0.
3 Preliminary Results
We briefly list here some tools we will need in the proof of the main result. We follow closely the presentation of these topics given in [8] and [9].
3.1 Littlewood-Paley Decomposition
We will use the so called Littlewood-Paley theory. We refer to [2, 3, 14] and [1] for the details.
We start recalling Bernstein’s inequalities.
Proposition 1 ([3, Lemma 2.2.1])
Let 0 < r < R. A constant C exists so that, for all nonnegative integer k, all p, q ∈ [1, +∞] with p ≤ q and for all function\(u\in L^p({\mathbb {R}}^d)\) , we have, for all λ > 0,
-
(i)
if\({\mathrm {Supp}}\, \hat u\subseteq B(0,\lambda R)=\{\xi \in {\mathbb {R}}^d\;:\, |\xi |\leq \lambda R\}\) , then
$$\displaystyle \begin{aligned}\|\nabla^k u\|{}_{L^q}\leq C^{k+1}\lambda^{k+N(\frac{1}{p}-\frac{1}{q})}\| u\|{}_{L^p}; \end{aligned}$$ -
(ii)
if\({\mathrm {Supp}}\, \hat u\subseteq C(0,\lambda r, \lambda R)= \{\xi \in {\mathbb {R}}^d\;:\, \lambda r\leq |\xi |\leq \lambda R\}\) , then
$$\displaystyle \begin{aligned}C^{-k-1}\lambda^k\| u\|{}_{L^p}\leq \|\nabla^k u\|{}_{L^p}\leq C^{k+1}\lambda^k\| u\|{}_{L^p}. \end{aligned}$$
We introduce the dyadic decomposition. Let \(\psi \in C^{\infty }([0,+\infty [, {\mathbb {R}})\) such that ψ is non-increasing and
We set, for \(\xi \in {\mathbb {R}}^d\),
We remark that the support of χ is contained in the ball \(\{\xi \in {\mathbb {R}}^d\;:\, |\xi |\leq 2\}\), while the one of φ is contained in the annulus \(\{\xi \in {\mathbb {R}}^d\;:\, 1/2 \leq |\xi |\leq 2\}\).
Given a tempered distribution u, the dyadic blocks are defined by
where we have denoted by \({\mathcal F}^{-1}\) the inverse of the Fourier transform. We introduce also the operator
It is well known the characterization of classical Sobolev spaces via Littlewood-Paley decomposition: for any \(s\in {\mathbb {R}}\), \(u\in {\mathcal S}'\) is in H s if and only if, for all \(j\in \mathbb {N}\), Δj u ∈ L 2 and the series \(\sum 2^{2js}\|\Delta _ju\|{ }^2_{L^2}\) is convergent. Moreover, in such a case, there exists a constant C s > 1 such that
3.2 Lipschitz, Zygmund and Log-Lipschitz Functions
In this subsection, we give a description of some functional classes relevant in the study of hyperbolic Cauchy problems. Namely, via Littlewood-Paley analysis, we can characterise the spaces of Lipschitz, Zygmund and log-Lipschitz functions. We start by recalling their definitions.
Definition 1
A function \(u\in L^\infty ({\mathbb {R}}^d)\) is a Lipschitz-continuous function if
u is a Zygmund-continuous function if
and, finally, u is a log-Lipschitz-continuous function if
For \(X\in \left \{{\mathrm {Lip}}\,,\;{\mathrm {Zyg}}\,,\;{\mathrm {LL}}\right \}\), we define \(\|u\|{ }_{{\mathrm {X}}}=\|u\|{ }_{L^\infty }+|u|{ }_{{\mathrm {X}}}\).
Proposition 2
Let \(u\in L^\infty ({\mathbb {R}}^d)\) . We have the following characterisation:
Proof
The proof of (17) and (18) can be found in [3, Prop. 2.3.6] and [5, Prop. 3.3] respectively. We sketch the proof of (16), for the reader’s convenience. Suppose \(u\in {\mathrm {Lip}}({\mathbb {R}}^d)\). We have
where \(\theta _j(y)= {\mathcal F}^{-1}(\xi _j\chi (\xi ))(y)\). From the fact that \(\int _{{\mathbb {R}}^d}\theta _j(y)\,dy=0\) we deduce that
hence \(\sup _j\left \|\nabla (S_ju)\right \|{ }_{L^\infty }<C\,|u|{ }_{{\mathrm {Lip}}}\).
Conversely, let the second statement in (16) hold. Remarking that
and, by Bernstein’s inequalities,
we deduce that, for a new constant C > 0,
for all k ≥ 0. Then
The conclusion follows from choosing k in such a way that 2−k ≤|y|. □
Notice that, going along the lines of the previous proof, we have actually shown that there exists C d > 1, depending only on d, such that, if \(u\in {\mathrm {Lip}}({\mathbb {R}}^d)\) then
Proposition 3 ([3, Prop. 2.3.7])
In order to perform computations, we will need to smooth out our coefficients, because of their low regularity. To this end, let us fix an even function \(\rho \in C^\infty _0({\mathbb {R}})\) such that 0 ≤ ρ ≤ 1, Supp ρ ⊆ [−1, 1] and \(\int _{\mathbb {R}}\rho (t)\, dt =1\), and define \(\rho _\varepsilon (t)= \frac {1}{\varepsilon }\rho ( \frac {t}{\varepsilon })\). The following result holds true.
Proposition 4 ([9, Prop. 3.5])
Let\(u\in {\mathrm {Zyg}}({\mathbb {R}})\) . There exists C > 0 such that,
where, for 0 < ε ≤ 1,
3.3 Paradifferential Calculus with Parameters
Let us sketch here the paradifferential calculus depending on a parameter γ ≥ 1. The interested reader can look at [15, Appendix B] (see also [13] and [6]).
Let γ ≥ 1 and consider \(\psi _\gamma \in C^\infty ({\mathbb {R}}^d\times {\mathbb {R}}^d)\) with the following properties
-
(i)
there exist 0 < ε 1 < ε 2 < 1 such that
$$\displaystyle \begin{aligned} \psi_\gamma(\eta,\xi)=\left\{ \begin{array}{ll} 1&\quad {\mathrm{for}} \quad |\eta|\leq \varepsilon_1(\gamma+|\xi|),\\[0.2cm] 0&\quad {\mathrm{for}} \quad |\eta|\geq \varepsilon_2(\gamma+|\xi|); \end{array} \right. \end{aligned} $$(23) -
(ii)
for all \((\beta , \alpha )\in \mathbb {N}^d\times \mathbb {N}^d\), there exists C β,α ≥ 0 such that
$$\displaystyle \begin{aligned} |\partial_\eta^\beta \partial_\xi^\alpha \psi_\gamma(\eta,\xi)|\leq C_{\beta,\alpha}(\gamma+|\xi|)^ {-|\alpha|-|\beta|} . \end{aligned} $$(24)
The model for such a function will be
where χ and φ are defined in (14) and μ is the integer part of log2 γ. With this setting, we have that the constants ε 1, ε 2 and C β,α in (23) and (24) do not depend on γ.
To fix ideas, from now on we take ψ γ as given in (25). Define now
where \({\mathcal F}^{-1}_\eta \psi _\gamma \) is the inverse of the Fourier transform of ψ γ with respect to the η variable.
Proposition 5 ([14, Lemma 5.1.7])
For all \((\beta , \alpha )\in \mathbb {N}^d\times \mathbb {N}^d\) , there exists C β,α , not depending on γ, such that
Next, let a ∈ L ∞. We associate to a the classical pseudodifferential symbol
and define the paradifferential operator \( T_a^\gamma \) associated to a as the classical pseudodifferential operator associated to σ a,γ (from now on, to avoid cumbersome notations, we will write σ a), i.e.
Remark that \(T_a^1\) is the usual paraproduct operator
while, in the general case,
with μ equal to the integer part of log2 γ.
In the following it will be useful to deal with Sobolev spaces depending on the parameter γ ≥ 1.
Definition 2
Let γ ≥ 1 and \(s\in {\mathbb {R}}\). We denote by \(H^s_{\gamma }({\mathbb {R}}^d)\) the set of tempered distributions u such that
Let us remark that \(H^s_\gamma =H^s\) and there exists C γ ≥ 1 such that, for all u ∈ H s,
3.4 Low Regularity Symbols and Calculus
As in [8] and [9], it is important to deal with paradifferential operators having symbols with limited regularity in time and space.
Definition 3
A symbol of order m is a function a(t, x, ξ, γ) which is locally bounded on \([0,\,T]\times {\mathbb {R}}^n\times {\mathbb {R}}^n\times [1,+\infty [\), of class C ∞ with respect to ξ such that, for all \(\alpha \in \mathbb {N}^n\), there exists C α > 0 such that, for all (t, x, ξ, γ),
We take now a symbol a of order m ≥ 0, Zygmund-continuos with respect to t uniformly with respect to x and Lipschitz-continuous with respect to x uniformly with respect to t. We smooth out a with respect to time as done in (22), and call a ε the smoothed symbol. We consider the classical symbol \(\sigma _{a_\varepsilon }\) obtained from a ε via (28). In what follows, the variable t has to be thought of as a parameter.
Proposition 6
Under the previous hypotheses, one has:
where |β|≥ 1 and all the constants C αand C β,αdo not depend on γ.
Proof
We have
so that the first inequality follows from (26) and (30).
Next, we remark that
Consequently, using also (27),
The other cases of the second inequality can be proved similarly.
The third inequality is again a consequence of (26), keeping in mind (20). It is in fact possible to prove that
Next, considering again (31), we have
so that the fourth inequality easily follows.
The last two inequalities are obtained in similar way, using also (21). □
To end this section it is worthy to recall some results on symbolic calculus. Again details can be found in [8, 9] and [15, Appendix B].
Proposition 7 ([8, Prop. 3.19])
-
(i)
Let a be a symbol of order m (see Def.3). Suppose that a is L ∞in the x variable. If we set
$$\displaystyle \begin{aligned}T_a u(x) =\sigma_a(D_x)u(x) = \frac{1}{(2\pi)^d}\int_{{\mathbb{R}}^d_\xi} \sigma_{a}(x,\xi, \gamma )\hat u(\xi)\, d\xi, \end{aligned} $$then T a maps \(H^{s}_\gamma \) into \(H^{s-m}_\gamma \) continuously.
-
(ii)
Let a and b be two symbols of order m and m′ respectively. Suppose that a and b are Lip in the x variable. Then
$$\displaystyle \begin{aligned}T_a\circ T_b=T_{ab}+R, \end{aligned}$$and R maps \(H^{s}_\gamma \) into \(H^{s-m-m'+1}_\gamma \) continuously.
-
(iii)
Let a be a symbol of order m which is Lip in the x variable. Then, denoting by\(T^*_a\)the L 2 -adjoint operator of T a,
$$\displaystyle \begin{aligned}T_a^\ast =T_{\overline a}+R, \end{aligned}$$and R maps \(H^{s}_\gamma \) into \(H^{s-m+1}_\gamma \) continuously.
-
(iv)
Let a be a symbol of order m which is Lip in the x variable. Suppose
$$\displaystyle \begin{aligned}{\mathrm{Re}}\; a(x,\xi,\gamma)\geq \lambda_0 (\gamma+|\xi|)^m. \end{aligned}$$with λ 0 > 0. Then there exists γ 0 ≥ 1, depending only on ∥a∥Lipand λ 0 , such that, for all γ ≥ γ 0and for all u ∈ H ∞,
$$\displaystyle \begin{aligned}{\mathrm{Re}}\;(T_au,u)_{L^2}\geq \frac{\lambda_0}{2}\|u\|{}^2_{H^{m/2}_\gamma}. \end{aligned}$$
4 Proof of Theorem 1
Also for the proof of the main result, we will closely follow the strategy implemented in [8] and [9].
4.1 Approximate Energy
First of all we regularize the coefficients a jk with respect to t via (22) and we obtain a jk,ε. We consider the 0-th order symbol
We fix
and we write α ν and a jk,ν instead of \(\alpha _{2^{-\nu }}\) and \(a_{jk,\,2^{-\nu }}\) respectively. From Prop. 7, point iv), we have that there exists γ ≥ 1 such that, for all w ∈ H ∞,
where λ 0 has been defined in (6). We remark that γ depends only on λ 0 and sup j,k∥a jk∥Lip, in particular γ does not depend on ν. We fix such a γ (this means also that μ is fixed in (29)) and from now on we will omit to write it when denoting the operator T and the Sobolev spaces H s.
We consider u ∈ C 2([0, T], H ∞). We have
where
We apply the operator Δν and we obtain
where u ν = Δν u, \((\tilde L u)_\nu =\Delta _\nu (\tilde L u)\) and \(\displaystyle {[\Delta _\nu , T_{a_{jk}}]}\) is the commutator between the localization operator Δν and the paramultiplication operator \(T_{a_{jk}}\).
We set
and we define the approximate energy associated to the ν-th component as
We fix θ ∈ [0, 1[ and we define the total energy
We remark that, as a consequence of Bernstein’s inequalities,
Moreover, from (20) and, again, Bernstein’s inequalities,
so that
We deduce that there exist constants C θ and \(C^{\prime }_\theta \), depending only on θ, such that
4.2 Time Derivative of the Approximate Energy
We want to estimate the time derivative of e ν.
Since
we deduce
We have
and, from the fifth inequality in Prop. 6,
Therefore, we obtain
with |Q 1|≤ Ce ν(t).
Next
so that
It is a straightforward computation, from the results of symbolic calculus recalled in Prop. 7, to verify that all the operators R 1, R 2, R 3, R 4 and R 5 are 0-th order operators. Consequently,
with |Q 2|≤ Ce ν(t).
Finally, from (32),
Now we pair the first term in right hand side of (33) with the first term in right hand side of (34). We obtain
where
We have
and, from Bernstein’s inequalities and (19),
From this we deduce
Summing up, from (33), (34) and (32) we get
4.3 Commutator Estimate
We want to estimate
We remark that
where we recall that μ is a fixed constant (depending on γ, which has been chosen at the beginning of Sect. 4.1). Hence we have
Consider first
The support of the Fourier transform of [ Δν, S μ−1 a jk] ∂ k(S μ+2 u) is contained in {|ξ|≤ 2μ+4} and [ Δν, S μ−1 a jk] ∂ k(S μ+2 u) is identically 0 if ν ≥ μ + 5. From Bernstein’s inequalities and [4, Th. 35] we deduce that
We have
Consider then
Looking at the support of the Fourier transform, it is possible to see that
is identically 0 if |h + 3 − ν|≥ 3. As a consequence, the sum over h is reduced to at most 5 terms: ∂ j([ Δν, S ν−5 a jk] ∂ k( Δν−2 u)), …, ∂ j([ Δν, S ν−1 a jk] ∂ k( Δν+2 u)). Each of these terms has the support of the Fourier transform contained in the ball {|ξ|≤ 2ν+4}.
We consider the term ∂ j([ Δν, S ν−3 a jk] ∂ k( Δν u)): for the other terms the estimate will be similar. Again by Bernstein’s inequalities and [4, Th. 35] we infer
and then
Thus we have
As a conclusion
where C 3 depends on γ, θ and supj,k∥a jk∥Lip.
4.4 Final Estimate
We have
From (15) we deduce
Now, using [10, Prop. 3.5] in the case θ ∈ ]0, 1[ and [14, Th. 5.2.8] in the case θ = 0,
so that
and finally
The energy estimate (9) easily follows from this last inequality and the Grönwall Lemma.
References
Bahouri, H., Chemin, J.-Y., Danchin, R.: Fourier analysis and nonlinear partial differential equations. In: Grundlehren der Mathematischen Wissenschaften, vol. 343. Springer, Heidelberg (2011)
Bony, J.-M.: Calcul symbolique et propagation des singularités pour les équations aux dérivées partielles non linéaires. Ann. Sci. École Norm. Sup. (4) 14(2), 209–246 (1981)
Chemin, J.-Y.: Fluides parfaits incompressibles. Astérisque, vol. 230. Société Mathématique de France, Paris (1995)
Coifman, R.R., Meyer, Y.: Au delà des opérateurs pseudo-différentiels. Astérisque, vol. 57. Société Mathématique de France, Paris (1978)
Colombini, F., Lerner, N.: Hyperbolic operators with non-Lipschitz coefficients. Duke Math. J. 77(3), 657–698 (1995)
Colombini, F., Métivier, G.: The Cauchy problem for wave equations with non Lipschitz coefficients; application to continuation of solutions of some nonlinear wave equations. Ann. Sci. Éc. Norm. Supér. (4) 41(2), 177–220 (2008)
Colombini, F., De Giorgi, E., Spagnolo, S.: Sur les équations hyperboliques avec des coefficients qui ne dépendent que du temps. Ann. Scuola Norm. Sup. Pisa Cl. Sci. (4) 6(3), 511–559 (1979)
Colombini, F., Del Santo, D., Fanelli, F., Métivier, G.: Time-dependent loss of derivatives for hyperbolic operators with non regular coefficients. Comm. Partial Differ. Equ. 38(10), 1791–1817 (2013)
Colombini, F., Del Santo, D., Fanelli, F., Métivier, G.: A well-posedness result for hyperbolic operators with Zygmund coefficients. J. Math. Pures Appl. (9) 100(4), 455–475 (2013)
Del Santo, D., Prizzi, M.: A new result on backward uniqueness for parabolic operators. Ann. Mat. Pura Appl. (4) 194(2), 387–403 (2015)
Hörmander, L.: Linear partial differential operators. Grundlehren der Mathematischen Wissenschaften, vol. 116. Academic Press, Inc., Publishers, New York; Springer, Berlin-Göttingen, Heidelberg (1963)
Hurd, A.E., Sattinger, D.H.: Questions of existence and uniqueness for hyperbolic equations with discontinuous coefficients. Trans. Amer. Math. Soc. 132, 159–174 (1968)
Métivier, G.: Interaction de deux chocs pour un système de deux lois de conservation, en dimension deux d’espace. Trans. Amer. Math. Soc. 296(2), 431–479 (1986)
Métivier, G.: Para-differential calculus and applications to the Cauchy problem for nonlinear systems. In: Centro di Ricerca Matematica Ennio De Giorgi (CRM) Series, 5. Edizioni della Normale, Pisa (2008)
Métivier, G., Zumbrun, K.: Large viscous boundary layers for noncharacteristic nonlinear hyperbolic problems. Mem. Amer. Math. Soc. 175(826) (2005)
Tarama, S.: Energy estimate for wave equations with coefficients in some Besov type class. Electron. J. Differ. Equ. 85, 12 (2007)
Acknowledgements
The first and second author are members of the Gruppo Nazionale per l’Analisi Matematica, la Probabilità e le loro Applicazioni (GNAMPA) of the Istituto Nazionale di Alta Matematica (INdAM) and acknowledge financial support from this institution.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2021 The Author(s), under exclusive license to Springer Nature Switzerland AG
About this paper
Cite this paper
Colombini, F., Santo, D.D., Fanelli, F. (2021). No Loss of Derivatives for Hyperbolic Operators with Zygmund-Continuous Coefficients in Time. In: Cicognani, M., Del Santo, D., Parmeggiani, A., Reissig, M. (eds) Anomalies in Partial Differential Equations. Springer INdAM Series, vol 43. Springer, Cham. https://doi.org/10.1007/978-3-030-61346-4_6
Download citation
DOI: https://doi.org/10.1007/978-3-030-61346-4_6
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-61345-7
Online ISBN: 978-3-030-61346-4
eBook Packages: Mathematics and StatisticsMathematics and Statistics (R0)