Abstract
We prove the uniqueness for backward parabolic equations whose coefficients are Osgood continuous in time for \(t>0\) but not at \(t=0\).
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Let us consider the following backward parabolic operator
where all the coefficients are assumed to be defined in \([0,T] \times {\mathbb R}^n\), measurable and bounded; \(( a_{j,k}(t,x))_{j,k}\) is a real symmetric matrix for all \((t,x)\in [0,T]\times {\mathbb R}^n\) and there exists \(\lambda _0\in (0,1]\) such that
for all \((t,x)\in [0,T]\times {\mathbb R}^n\) and \(\xi \in {\mathbb R}^n\).
Given a functional space \({\mathcal {H}}\), we say that the operator L has the \({\mathcal {H}}\)–uniqueness property if, whenever \(u\in {\mathcal {H}}\), \(Lu=0\) in \([0,T]\times {\mathbb R}^n\) and \(u(0,x)=0\) in \({\mathbb R}^n\), then \(u=0\) in \([0,T]\times {\mathbb R}^n\).
In the present paper, we are interested in the \({\mathcal {H}}\)–uniqueness property for the operator L defined in (1), when
(let us remark that this choice for \({\mathcal {H}}\) is, in some sense, natural, since, from elliptic regularity results, the domain of the operator \(-\sum _{j,k = 1}^n \partial _{x_j} \left( a_{j,k} (t,x) \partial _{x_k} \right)\) in \(L^2\left( \mathbb R^n\right)\) is \(H^2\left( \mathbb R^n\right)\), for all \(t\in [0,T]\)).
It is well known that, in dealing with the uniqueness property for partial differential operators, one of the main issues is the regularity of the coefficients. For example, in the case of elliptic operators, the uniqueness property in the case of Lipschitz continuous coefficients was proved by Hörmander in [14] (see [17] for a more refined result), while a famous non-uniqueness counterexample, for an elliptic operator having Hölder continuous coefficients, is due to Pliś (see [16]).
In [9, 10], we investigated the problem of finding the minimal regularity assumptions on the coefficients \(a_{j,k}\) ensuring the \({\mathcal {H}}\)–uniqueness property to (1). Namely, we proved the \({\mathcal {H}}\)–uniqueness property for (1) when the coefficients \(a_{j,k}\) are Lipschitz continuous in x and the regularity in t is given in terms of a modulus of continuity \(\mu\), i.e.,
where \(\mu\) satisfies the so-called Osgood condition
A counterexample in [9], similar to that one of Pliś quoted here above, shows that, considering the regularity with respect to t for the \(a_{j,k}\), the Osgood condition is sharp: given any non-Osgood modulus of continuity \(\mu\), it is possible to construct a backward parabolic operator like (1), whose coefficients are \(C^\infty\) in x and \(\mu\)-continuous in t, for which the \({\mathcal {H}}\)–uniqueness property does not hold.
It is interesting to remark that, in the recalled counterexample, the coefficients are in fact \(C^\infty\) in t for \(t\not =0\), and the Osgood continuity fails only at \(t=0\).
The loss of regularity for the coefficients at a single point is widely considered, e.g., in the case of well-posedness in the Cauchy problem for second-order hyperbolic operators of the type
under the condition (2). For such class of operators, we have the well-posedness in Sobolev spaces when the coefficients are log-Lipschitz continuous with respect to t, there exist counterexamples to this property when the Lipschitz continuity fails only at \(t=0\), and, finally, the well-posedness in Sobolev spaces can be recovered adding a control on the Lipschitz constant of the \(a_{j,k}\)’s, for t going to 0 (the literature on such kind of problems is huge, see, e.g., [4,5,6,7,8, 13, 18])
In this paper, we show that if the loss of the Osgood continuity is properly controlled as t goes to 0, then the \({\mathcal {H}}\)–uniqueness property for (1) remains valid. Our hypothesis reads as follows: given a modulus of continuity \(\mu\) satisfying the Osgood condition, we assume that the coefficients \(a_{j,k}\) are Hölder continuous with respect to t on [0, T], and for all \(t\in (0,T]\)
where \(0<\beta <1\). The coefficients \(a_{j,k}\) are assumed to be globally Lipschitz continuous in x. Under such hypothesis, we prove that the \({\mathcal {H}}\)–uniqueness property holds for (1). As in [9, 10], the uniqueness result is consequence of a Carleman estimate with a weight function shaped on the modulus of continuity \(\mu\). The weight function is obtained as solution of a specific second-order ordinary differential equation. In the previous results cited above, the corresponding o.d.e. is autonomous. Here, on the contrary, the time-dependent control (4) yields to a non-autonomous o.d.e. Also, the “Osgood singularity” of \(a_{j,k}\) at \(t=0\) introduces a number of new technical difficulties which are not present in the fully Osgood-regular situation considered before.
The result is sharp in the following sense: we exhibit a counterexample in which the coefficients \(a_{j,k}\) are Hölder continuous with respect to t on [0, T], for all \(t\in (0,T]\) and for all \(\epsilon >0\)
and the operator (1) does not have the \({\mathcal {H}}\)–uniqueness property. The borderline case \(\epsilon =0\) in (5) is considered in paper [11]. In such a situation, only a very particular uniqueness result holds and the problem remains essentially open.
2 Main result
We start with the definition of modulus of continuity.
Definition 1
A function \(\mu : [0,\, 1]\rightarrow [0,\,1]\) is a modulus of continuity if it is continuous, concave, strictly increasing and \(\mu (0)=0\), \(\mu (1)=1\).
Remark 1
Let \(\mu\) be a modulus of continuity. Then
-
for all \(s\in [0,\, 1]\), \(\mu (s)\ge s\);
-
on \((0,\, 1]\), the function \(s\mapsto \frac{\mu (s)}{s}\) is decreasing;
-
the limit \(\lim _{s\rightarrow 0^+} \frac{\mu (s)}{s}\) exists;
-
on \([1,\, +\infty )\), the function \(\sigma \mapsto \sigma \mu (\frac{1}{\sigma })\) is increasing;
-
on \([1,\, +\infty )\), the function \(\sigma \mapsto \frac{1}{\sigma ^2 \mu (\frac{1}{\sigma })}\) is decreasing.
Definition 2
Let \(\mu\) be a modulus of continuity and let \(\varphi :I \rightarrow B\), where I is an interval in \({\mathbb {R}}\) and B is a Banach space. \(\varphi\) is a function in \(C^\mu (I,B)\) if \(\varphi \in L^\infty (I,B)\) and
Remark 2
Let \(\alpha \in (0,1)\) and \(\mu (s)=s^\alpha\). Then, \(C^\mu (I,B)\) is \(C^{0,\alpha }(I,B)\), the space of Hölder-continuous functions. Let \(\mu (s)=s\). Then, \(C^\mu (I,B)\) is Lip(I, B), the space of bounded Lipschitz-continuous functions.
We introduce the notion of Osgood modulus of continuity.
Definition 3
Let \(\mu\) be a modulus of continuity. \(\mu\) satisfies the Osgood condition if
Remark 3
Examples of moduli of continuity satisfying the Osgood condition are \(\mu (s)=s\) and \(\mu (s)= s\log (e+\frac{1}{s}-1)\).
We state our main result.
Theorem 1
Let L be the operator
where all the coefficients are supposed to be complex valued, defined in \([0,\,T]\times {\mathbb {R}}^n\), measurable and bounded. Let \((a_{j,k}(t,x))_{j,k}\) be a real symmetric matrix and suppose there exists \(\lambda _0\in (0,\,1]\) such that
for all \((t,x)\in [0,\,T]\times {\mathbb {R}}^n\) and for all \(\xi \in {\mathbb {R}}^n\). Under this condition, L is a backward parabolic operator. Let \({\mathcal {H}}\) be the space of functions such that
Let \(\mu\) be a modulus of continuity satisfying the Osgood condition. Suppose that there exist \(\alpha \in (0,\,1)\) and \(C>0\) such that,
-
i)
for all \(j,k=1,\dots , n\),
$$\begin{aligned} a_{j,k}\in C^{0,\alpha }\left( [0,T], L^\infty \left( {\mathbb {R}}^n\right) \right) \cap L^\infty \left( [0,T], Lip\left( {\mathbb {R}}^n\right) \right) ; \end{aligned}$$(10) -
ii)
for all \(j,k=1,\dots , n\) and for all \(t\in (0,T]\),
$$\begin{aligned} \sup _{\begin{array}{c} s_1,\,s_2\in [t,T],\\ x\in {\mathbb {R}}^n \end{array}}\frac{|a_{j,k}(s_1,x)-a_{j,k}(s_2,x)|}{\mu (|s_1-s_2|)}\le C t^{\alpha -1}. \end{aligned}$$(11)
Then L has the \(\mathcal H\)-uniqueness property, i.e., if \(u\in \mathcal H\), \(Lu=0\) in \([0,T]\times {\mathbb {R}}^n\) and \(u(0,x)=0\) in \({\mathbb {R}}^n\), then \(u=0\) in \([0,T]\times {\mathbb {R}}^n\).
Remark 4
The hypothesis (10), in particular the Hölder regularity with respect to t, is due to technical requirement for obtaining the Carleman estimate from which the main result is deduced. It does not seem easy to substitute it with different or weaker conditions.
3 Weight function and Carleman estimate
Defining
the function \(\phi\) is a strictly increasing \(C^1\) function on \([1,+\infty )\), with values in \([0,+\infty )\), and, by the Osgood condition, it is bijective. Moreover, for all \(t\in [1,+\infty )\),
We remark that \(\phi '(1)=1\) and \(\phi '\) is decreasing in \([1, +\infty )\), so that \(\phi\) is a concave function. Moreover, we notice also that \(\phi ^{-1}:[0,+\infty )\rightarrow [1,+\infty )\) and, for all \(s\in [0,+\infty )\),
We define
where \(\tau \in [0,\gamma T]\).
and
Then
i. e. \(\psi _\gamma\) is a solution to the differential equation
Finally we set, for \(\tau \in [0, \gamma T]\),
Remark that, with this definition, \(\Phi '(\tau )= \psi _\gamma (\tau )\) and
In particular, for \(t\in [0,\frac{T}{2}]\),
since \(\Phi _\gamma ' (\gamma (T-t))= \psi _\gamma (\gamma (T-t))\ge 1\) and \(\frac{\mu (s)}{s}\ge 1\) for all \(s\in (0,1]\).
We can now state the Carleman estimate.
Theorem 2
In the previous hypotheses, there exist \(\gamma _0>0\), \(C>0\) such that
for all \(\gamma >\gamma _0\) and for all \(u\in C^\infty _0\left( {\mathbb {R}}^{n+1}\right)\) such that \({\mathrm{Supp}} \,u\subseteq \left[ 0,\frac{T}{2}\right] \times {\mathbb {R}}^n\).
The way of obtaining the \({\mathcal {H}}\)-uniqueness from the inequality (17) is a standard procedure, the details of which can be found in [9, Par. 3.4].
4 Proof of the Carleman estimate
4.1 Littlewood–Paley decomposition
We will use the so-called Littlewood–Paley theory. We refer to [2, 3, 15] and [1] for the details. Let \(\psi \in C^{\infty }([0,+\infty ), {\mathbb {R}})\) such that \(\psi\) is non-increasing and
We set, for \(\xi \in {\mathbb {R}}^n\),
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
We recall some well-known facts on Littlewood–Paley deposition.
Proposition 1
([8, Prop. 3.1]) Let \(s\in {\mathbb {R}}\). A temperate distribution u is in \(H^s\) if and only if, for all \(j\in {\mathbb {N}}\), \(\Delta _ju\in L^2\) and
Moreover, there exists \(C>1\), depending only on n and s, such that, for all \(u\in H^s\),
Proposition 2
([12, Lemma 3.2]). A bounded function a is a Lipschitz-continuous function if and only if
Moreover, there exists \(C>0\), depending only on n, such that, for all \(a\in Lip\) and for all \(k\in {\mathbb {N}}\),
where \(\Vert a\Vert _\mathrm{{Lip}}=\Vert a\Vert _{L^\infty }+\Vert \nabla a\Vert _{L^\infty }\).
4.2 Modified Bony’s paraproduct
Definition 4
Let \(m\in {\mathbb {N}}\setminus \{0\}\), \(a\in L^\infty\) and \(s\in {\mathbb {R}}\). For all \(u\in H^s\), we define
We recall some known facts on modified Bony’s paraproduct.
Proposition 3
([15, Prop. 5.2.1 and Th. 5.2.8]). Let \(m\in {\mathbb {N}}\setminus \{0\}\), \(a\in L^\infty\) and \(s\in {\mathbb {R}}\).
Then \(T^m_a\) maps \(H^s\) into \(H^s\) and there exists \(C>0\) depending only on n, m and s, such that, for all \(u\in H^s\),
Let \(m\in {\mathbb {N}}\setminus \{0\}\) and let \(a\in Lip\).
Then \(a-T^m_a\) maps \(L^2\) into \(H^1\) and there exists \(C'>0\) depending only on n, m, such that, for all \(u\in L^2\),
Proposition 4
([8, Cor. 3.12]) Let \(m\in {\mathbb {N}}\setminus \{0\}\) and \(a\in Lip\). Suppose that, for all \(x\in {\mathbb {R}}^n\), \(a(x)\ge \lambda _0>0\).
Then, there exists m depending on \(\lambda _0\) and \(\Vert a\Vert _\mathrm{{Lip}}\) such that for all \(u\in L^2\),
A similar result remains valid when u is a vector valued function and a is replaced by a positive definite matrix \((a_{j,k})_{j,k}\).
Proposition 5
([8, Prop. 3.8 and Prop. 3.11] and [10, Prop. 3.8]) Let \(m\in {\mathbb {N}}\setminus \{0\}\) and \(a\in Lip\). Let \((T^m_a)^*\) be the adjoint operator of \(T^m_a\).
Then, there exists \(C>0\) depending only on n and m such that for all \(u\in L^2\),
We end this subsection with a property which will needed in the proof of the Carleman estimate.
Proposition 6
([10, Prop. 3.8]) Let \(m\in {\mathbb {N}}\setminus \{0\}\) and let \(a\in Lip\). Denote by \(\left[ \Delta _k, T^m_a\right]\) the commutator between \(\Delta _k\) and \(T^m_a\).
Then, there exists \(C>0\) depending only on n and m such that for all \(u\in H^1\),
4.3 Approximated Carleman estimate
Setting
the Carleman estimate (17) becomes: there exist \(\gamma _0>0\), \(C>0\) such that
for all \(\gamma >\gamma _0\) and for all \(v\in C^\infty _0\left( {\mathbb {R}}^{n+1}\right)\) such that \({\mathrm{Supp}} \,u\subseteq \left[ 0,\frac{T}{2}\right] \times {\mathbb {R}}^n_x\).
First of all, using Proposition 4, we fix a value for m in such a way that
for all \(v\in C^\infty _0\left( {\mathbb {R}}^{n+1}\right)\) such that \({\mathrm{Supp}} \,u\subseteq \left[ 0,\frac{T}{2}\right] \times {\mathbb {R}}^n\). Next we use Proposition 3 and in particular from (22) we deduce that (26) will be a consequence of
since the difference between (26) and (28) is absorbed by the right side part of (28) with possibly a different value of C and \(\gamma _0\). With a similar argument, using (19) and (25), (28) will be deduced from
where we have denoted by \(v_h\) the dyadic block \(\Delta _h v\).
We fix our attention on each of the terms
We have
Let consider the last term in (30). We define, for \(\varepsilon \in [0, \frac{T}{2}]\),
and
where \(\rho \in C^\infty _0({\mathbb {R}})\) with \({\mathrm{Supp}} \,\rho \subseteq [-1,\,1]\), \(\int _{\mathbb {R}}\rho (s)ds=1\), \(\rho (s)\ge 0\) and \(\rho _\varepsilon (s)= \frac{1}{\varepsilon } \rho (\frac{s}{\varepsilon })\). With a straightforward computation, from (10) and (11), we obtain
and
for all \(j,k=1 \,\dots , n\) and for all \((t,x)\in \left[ 0, \frac{T}{2}\right] \times {\mathbb {R}}^n\). We deduce
Now, \(T^m_{a_{j,k}}-T^m_{a_{j,k,\varepsilon }}= T^m_{a_{j,k}-a_{j,k,\varepsilon }}\) and, from (21) and (31),
Moreover \(\Vert \partial _{x_j}v_h\Vert _{L^2}\le 2^{h+1} \Vert v_h\Vert _{L^2}\) and \(\Vert \partial _{x_j}\partial _t v_h\Vert _{L^2}\le 2^{h+1} \Vert \partial _t v_h\Vert _{L^2}\), so that
where C depends only on n, m and \(\Vert a_{j,k}\Vert _{L^\infty }\) and \(N>0\) can be chosen arbitrarily.
Similarly
and, from (24),
where C depends only on n, m and \(\Vert a_{j,k}\Vert _{Lip}\) and \(N>0\) can be chosen arbitrarily.
As a conclusion, from (30), we finally obtain
4.4 End of the proof
We start considering (33) for \(h=0\). We fix \(\varepsilon =\frac{1}{2}\). Recalling (16) we have
Choosing a suitable \(\gamma _0\), we have that, for all \(\gamma >\gamma _0\),
We consider (33) for \(h\ge 1\). Choosing \(\varepsilon =2^{-2h}\), we have
From (27) it is possible to deduce that
Suppose first that
From (27) we have
and then, using also (16), we obtain
Then, there exist \(\gamma _0>0\) and \(C>0\) such that, for all \(\gamma > \gamma _0\) and for all \(h\ge 1\),
Suppose finally that
From (15), the fact that \(\lambda _0 \le 1\) and the properties of the modulus of continuity \(\mu\) we obtain
and
Consequently
Then, there exist \(\gamma _0>0\) and \(C>0\) such that, for all \(\gamma > \gamma _0\) and for all \(h\ge 1\),
As a conclusion, from (34), (36) and (37), there exist \(\gamma _0>0\) and \(C>0\) such that, for all \(\gamma > \gamma _0\) and for all \(h\in {\mathbb {N}}\),
and (29) follows. The proof is complete.
5 A counterexample
Theorem 3
There exists
with
and there exist \(u, \; b_1, \; b_2, \; c\in C^\infty _b({\mathbb {R}}_t\times {\mathbb {R}}^2_x)\), with
such that
Remark 5
Actually, the function l will satisfy
From (41) it is easy to obtain (40).
Proof
We will follow the proof of Theorem 1 in [16] (see also Theorem 3 in [9]). Let \(A, \; B, \; C,\; J\) be four \(C^\infty\) functions, defined in \({\mathbb {R}}\), with
and
Let \((a_n)_n,\; (z_n)_n\) be two real sequences such that
We define
We require
We set
We define
The condition
implies that \(u\in C^\infty _b({\mathbb {R}}_t\times {\mathbb {R}}^2_x)\).
We define
l is a \(C^\infty ({\mathbb {R}}\setminus \{0\})\) function. The condition
implies (39), i. e. the operator
is a parabolic operator. Moreover, l is in \(\bigcap _{\alpha \in [0,1[} C^{0,\alpha }({\mathbb {R}})\) if
Finally, we define
As in [16] and [9], the functions \(b_1,\, b_2, \, c\) are in \(C^\infty _b({\mathbb {R}}_t\times {\mathbb {R}}^2_x)\) if
We choose, for \(j_0\ge 2\),
With this choice (42) and (43) are satisfied and we have
where, for sequences \((f_n)_n,\, (g_n)_n\), \(f_n\sim g_n\) means \(\lim _n \frac{f_n}{g_n} = \lambda\), for some \(\lambda >0\). Similarly
and condition (44) is verified, for a suitable fixed \(j_0\). Remarking that we have, for \(j_0\) suitably large,
and
for some \(\lambda >0\). Finally
As a consequence (45), (46), (47) and (48) are satisfied for a suitable fixed \(j_0\). It remains to check (41). We have
and consequently
The conclusion of the theorem is reached simply exchanging t with \(-t\). \(\square\)
References
Bahouri, H., Chemin, J.Y., Danchin, R.: Fourier Analysis and Nonlinear Partial Differential Equations. Grundlehren der Mathematischen Wissenschaften, 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. In: Annales Scientifiques de l'École Normale Supérieure, vol. 14, pp. 209-246 (1981)
Chemin, J.Y.: Fluides Parfaits Incompressibles. Astérisque, 230. Société Mathématique de France, Paris (1995)
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. 6(3), 511–559 (1979) (French)
Colombini, F., Del Santo, D.; Kinoshita, T.: Well-posedness of the Cauchy problem for a hyperbolic equation with non-Lipschitz coefficients. Ann. Scula Norm. Super. Pisa Cl. Sci. 1(2), 327–358 (2002)
Colombini, F., Del Santo, D., Reissig, M.: On the optimal regularity of coefficients in hyperbolic Cauchy problems. Bull. Sci. Math. 127(4), 328–347 (2003)
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. 41(2), 177–220 (2008)
Del Santo, D., Prizzi, M.: Backward uniqueness for parabolic operators whose coefficients are non-Lipschitz continuous in time. J. Math. Pures Appl. 84(4), 471–491 (2005)
Del Santo, D., Prizzi, M.: A new result on backward uniqueness for parabolic operators. Ann. Mat. Pura Appl. 194(2), 387–403 (2015)
Del Santo, D., Jäh, C.: Non-uniqueness and uniqueness in the Cauchy problem of elliptic and backward-parabolic equations. In: M. Ruzhansky, M. Reissig (eds.) Progress in Partial Differential Equations - Asymptotic Profiles, Regularity and Well-Posedness. Springer, Basel, pp. 27–52 (2013)
Gérard, P.: Rauch, J.: Propagation of the local regularity of solutions of nonlinear hyperbolic equations. Ann. Inst. Fourier (Grenoble) 37(3), 65–84 (1987)
Ghisi, M., Gobbino, M.: Finite vs infinite derivative loss for abstract wave equations with singular time-dependent propagation speed. Bull. Sci. Math. 166, 102918
Hörmander, L.: On the uniqueness of the Cauchy problem. II. Math. Scand. 7, 177–190 (1959)
Métivier, G.: Para-differential Calculus and Applications to the Cauchy Problem for Nonlinear Systems. Centro di Ricerca Matematica Ennio De Giorgi (CRM) Series, 5. Edizioni della Normale, Pisa (2008)
Pliś, A.: On non-uniqueness in Cauchy problem for an elliptic second order differential equation. Bull. Acad. Polon. Sci. Sèr. Sci. Math. Astronom. Phys. 11, 95–100 (1963)
Tarama, S.: Local uniqueness in the Cauchy problem for second order elliptic equations with non-Lipschitzian coefficients. Publ. Res. Inst. Math. Sci. 33(1), 167–188 (1997)
Tarama, S.: Energy estimate for wave equations with coefficients in some Besov type class. Electron. J. Differ. Equ. 2007(85), 12 (2007)
Acknowledgements
The first author is member of the “Gruppo Nazionale per l’Analisi Matematica, la Probabilità e le loro Applicazioni” (GNAMPA) of the “Istituto Nazionale di Alta Matematica” (INdAM). Both the authors thank the anonymous reviewer for her/his careful reading of the manuscript.
Funding
Open access funding provided by Università degli Studi di Trieste within the CRUI-CARE Agreement.
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
Del Santo, D., Prizzi, M. On backward uniqueness for parabolic equations when Osgood continuity of the coefficients fails at one point. Annali di Matematica 201, 93–110 (2022). https://doi.org/10.1007/s10231-021-01108-3
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10231-021-01108-3