Abstract
We consider a parabolic equation whose coefficients are Log-Lipschitz continuous in t and Lipschitz continuous in x. Combining a recent conditional stability result with a well posed variational problem, we reconstruct the initial condition of an unknown solution from a rough measurement at the final time.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
In this paper we consider the strictly parabolic equation
on the strip \([0,T] \times \mathbb {R}^n\). We assume that the coefficients \(a_{ij}\)’s are Lipschitz continuous with respect to x and Log-Lipschitz continuous with respect to t (we shall make these assumptions more precise in the next section). It is well known that the backward Cauchy problem for (1.1) is ill posed (see e.g. [16] and the references therein). Yet, our aim is to reconstruct the initial condition \({\bar{u}}(0)\) of an unknown solution \({\bar{u}}(t)\) of (1.1), provided we have an a priori bound on \({\bar{u}}(0)\) and we can measure with arbitrary accuracy its final configuration \({\bar{u}}(T)\). More precisely, suppose that for every \(\delta >0\) we can perform a measurement g of \({\bar{u}}(T)\) such that
Moreover, suppose that we know a priori that \(\Vert {\bar{u}}(0)\Vert _{H^1}\le E\) for some \(E>0\). We are interested in finding a computable approximation of \({\bar{u}}(0)\). By computable we mean that it is obtained by solving some well posed problem. There is a vast literature on the subject when the coefficients \(a_{ij}(t,x)\) are Lipschitz continuous in t. The procedure consists typically in two steps:
-
first, one proves some kind of well behaveness or conditional stability for backward solutions of (1.1). The concept of conditional stability is central in inverse problem theory and was introduced by Tikhonov in 1943 in the paper [21], while the more stringent concept of well behaveness was introduced by John in 1960 in the paper [17]. Roughly, conditional stability means continuous dependence on data, while well behaveness means Hölder continuous dependence on data, subject in both cases to some a priori bounds. We refer to [4] for a (partial) history and a discussion of these concepts.
-
second, one searches for a technique to construct some solution of (1.1) to which the conditional stability result applies.
The first step is usually achieved by exploiting the logarithmic convexity technique, developed by Agmon and Nirenberg in [1]. The Lipschitz continuity of the coefficients \(a_{ij}(t,x)\) with respect to t plays a crucial role in the computations involved in the logatithmic convexity technique. For the LogLipschitz case, in the paper [4] the following conditional stability result was proved through weighted energy-type estimates obtained by mean of microlocal analysis tools:
for every \(E>0\)there exist \(\rho >0\), \(0<\theta \le 1\)and \(K>0\)such that, if uis a solution of (1.1) on [0, T]with \(\Vert u(0,\cdot )\Vert _{H^1}\le E\) and \(\Vert u(T,\cdot )\Vert _{L^2}\le \rho \),then
Concerning the second step, if it were possible to solve equation (1.1) backward in time with final condition \(u(T)=g\), then by (1.3) we would get that u(0) is closed to \({\bar{u}}(0)\), provided \(\Vert u(0)\Vert _{H^1}\le E\) and g is sufficiently closed to \({\bar{u}}(T)\). However, equation (1.1) with final condition \(u(T)=g\) in general has no solution, due to the regularizing effect of equation (1.1) forward in time, and to the fact that g does not possess any regularity, since it is the output of a measurement. There are various strategies to overcome this obstruction. We mention the technique of quasi reversibility (see e.g. [9]), which consists in perturbing the equation to make it solvable backward in time, and the technique of Fourier truncation, which consists in approximating g with a very regular function obtained truncating its Fourier transform. The latter technique was exploited in [4] to illustrate the conditional stability result through an example inspired by [10]. In that example the coefficients \(a_{ij}\)’s depended only on the time variable t.
On the other hand, when the coefficients \(a_{ij}\)’s depend on x but are independent of t, another technique which is frequently used is the so called nonlocal quasi-boundary value method, consisting in solving the well posed nonlocal problem
where \(\alpha \) is a small parameter to be chosen in a suitable way, depending on the parameter \(\delta \) of (1.2). This technique was firstly developed by Showalter in [19]. See also [5, 7, 13, 14, 18]. In [12] Hào and Duc proposed a version of the quasi-boundary value method suited for non autonomous equations. The estimates obtained by Hào and Duc however cannot be applied to the case of Log-Lipschitz coefficients, since in their proof the logarithmic-convexity estimates for the solutions play a crucial role. Moreover, the result of Hào and Duc furnishes an approximation of \({\bar{u}}(t)\) for all \(t\in ]0,T]\), but gives no information at \(t=0\).
In the present paper we further develope some ideas of Hào and Duc and obtain a full approximation of \({\bar{u}}(t)\) up to \(t=0\) when the coefficients \(a_{ij}(t,x)\) are Log-Lipschitz continuous with respect to t. To be more precise, if \({\bar{u}}(\cdot )\) is an unknown solution of (1.1) satisfying a \(H^1\) a-priori bound, and \(\delta \) and g are given as in (1.2), we construct a solution u(t) of (1.1) such that
where \(\theta \) is the same exponent of (1.3). In Sect. 4 we shall discuss briefly how this convergence rate relates to similar results concerning autonomous equations and non-autonomous equations whose coefficients are Lipschitz continuous in t.
2 Preliminaries
We consider the parabolic equation
on the strip \([0,T] \times \mathbb {R}^n\).
Hypothesis 2.1
We assume throughout the paper that:
-
(1)
for all \((t,x) \in [0,T] \times \mathbb {R}^n\) and for all \(j,k = 1, \dots , n\),
$$\begin{aligned} a_{jk}(t,x) = a_{kj}(t,x); \end{aligned}$$ -
(2)
there exists \(\kappa \), \(0<\kappa \le 1\), such that for all \((t,x,\xi ) \in [0,T] \times \mathbb {R}^n \times \mathbb {R}^n\),
$$\begin{aligned} \kappa |\xi |^2 \le \sum \limits _{j,k=1}^n a_{jk}(t,x)\xi _j \xi _k \le \frac{1}{\kappa } |\xi |^2; \end{aligned}$$(2.2) -
(3)
for all \(j,k=1,\dots ,n\), \(a_{jk} \in {{\,\textrm{Log}\,}}{{\,\textrm{Lip}\,}}([0,T],L^\infty (\mathbb {R}^n)) \cap L^\infty ([0,T], {{\,\textrm{Lip}\,}}(\mathbb {R}^n))\).
We set
Throughout the paper, whenever X is a Hilbert space we denote by \(\langle u|v\rangle _X\) the scalar product of u and \(v\in X\) and by \(\Vert \cdot \Vert _X\) the corresponding norm. Moreover, we denote by \(\langle \phi |u\rangle _{(X^*,X)}\) the action of the continuous linear form \(\phi \in X^*\) on \(u\in X\).
For each \(t\in [0,T]\) we define the symmetric, non-negative bilinear form
and we notice that for all \(u\in H^1(\mathbb {R}^n)\) we have
and
whence
For each \(t\in [0,T]\) the bilinear form \(a(t;\cdot ,\cdot )\) defines a bounded linear operator \(\mathcal {A}(t):H^{1}(\mathbb {R}^n)\rightarrow H^{-1}(\mathbb {R}^n)\) by the formula
We denote by A(t) the part of \(\mathcal {A}(t)\) in \(L^2(\mathbb {R}^n)\). By regularity theory for elliptic partial differential equations (see e.g. [11, Thms. 8.8 and 8.12]), for each \(t\in [0,T]\) the operator A(t) is self-adjoint and non negative in \(L^2(\mathbb {R}^n)\), with domain \(H^2(\mathbb {R}^n)\), and its explicit expression is
The dependence on t of the operator A(t) is better than Hölder continuous, so one can apply the abstract theory of linear parabolic equations and obtain well posedness of the initial value Cauchy problem associated with (2.1) in the space \(H^\theta (\mathbb {R}^n)\) for every \(0\le \theta \le 2\). More precisely, we have the following theorem (see e.g. [2, Thm. 4.4.1]; see also [20] and [22]):
Theorem 2.2
There exists a family of evolution operators U(p, s), \(0\le s\le p\le T\), for equation (2.1), satisfying the following properties:
-
(1)
for every s, p with \(0\le s\le p\le T\) and for every \(\theta \) with \(0\le \theta \le 2\), \(U(p,s): H^\theta (\mathbb {R}^n)\rightarrow H^\theta (\mathbb {R}^n)\) is a bounded linear operator, and there exists \(M>0\) (independent of p, s and \(\theta \)) such that \(\Vert U(p,s)\Vert _{\mathcal {L}(H^\theta ,H^\theta )}\le M\);
-
(2)
for every p, s with \(0\le s< p\le T\) and for every \(\theta _1,\theta _2\) with \(0\le \theta _1<\theta _2\le 2\), \(U(p,s): H^{\theta _1}(\mathbb {R}^n)\rightarrow H^{\theta _2}(\mathbb {R}^n)\) is a bounded linear operator, and there exists \(M>0\) (independent of p, s and \(\theta _1,\theta _2\)) such that \(\Vert U(p,s)\Vert _{\mathcal {L}(H^{\theta _1},H^{\theta _2})}\le M(1+(p-s)^{-(\theta _2-\theta _1)})\);
-
(3)
for every \(s\in [0,T]\), \(U(s,s)=I\) and for every s, q, p with \(\le s\le q\le p\le T\), \(U(p,q)U(q,s)=U(p,s)\);
-
(4)
for every \(\theta \in [0,2]\), \(s\in [0,T[\) and \(u_s\in H^\theta (\mathbb {R}^n)\), the function \(u(p):=U(p,s)u_s\) is continuous from [s, T] to \(H^\theta (\mathbb {R}^n)\), continuous from ]s, T] to \(H^2(\mathbb {R}^n)\), differentiable from ]s, T] to \(L^2(\mathbb {R}^n)\), and satisfies (2.1) in \(L^2(\mathbb {R}^n)\) on ]s, T] with \(u(s)=u_s\). If \(\theta =2\), u(p) is differentiable in \(L^2(\mathbb {R}^n)\) up to \(p=s\), and if \(\theta \ge 1\) is differentiable at least in \(H^{-1}(\mathbb {R}^n)\) up to \(p=s\).
Together with (2.1), we consider the adjoint problem
on the strip \([0,T] \times \mathbb {R}^n\). This problem is well posed backward in time and it defines an evolution family V(s, p), \(0\le s\le p\le T\), where \(v(s):=V(s,p)v_p\) is the solution of (2.9) on [0, p] with \(v(p)=v_p\), for every \(v_p\in L^2(\mathbb {R}^n)\). The family V(s, p) satisfies the same properties of U(p, s) with reversed time direction.
Proposition 2.3
For \(0\le s\le p\le T\) the following relation holds:
where \(U(p,s)^*\) is the adjoint of U(p, s).
Proof
Let \(u_s,v_p\in L^2(\mathbb {R}^n)\) and set \(u(t):=U(t,s)u_s\), \(v(t):=V(t,p)v_p\), \(t\in [s,p]\). For \(t\in ]s,p[\) we have:
Therefore the map \(t\mapsto \langle u(t),v(t)\rangle _{L^2}\) is constant in [s, p]. It follows that \(\langle u(p),v(p)\rangle _{L^2}=\langle u(s),v(s)\rangle _{L^2}\), that is
Since \(u_s\) and \(v_p\) are arbitrary, this means that \(V(s,p)=U(p,s)^*\). \(\square \)
Proposition 2.4
Let \(\alpha >0\); for \(u,v\in H^1(\mathbb {R}^n)\), let
Then:
-
(1)
for all \(\phi \in H^{-1}(\mathbb {R}^n)\) there exists a unique \(u_{\alpha ,\phi }\in H^1(\mathbb {R}^n)\) such that
$$\begin{aligned} b_\alpha (u_{\alpha ,\phi },h)=\langle \phi ,h\rangle _{(H^{-1},H^1)}\quad \text { for all } h\in H^1(\mathbb {R}^n) \end{aligned}$$ -
(2)
\(\Vert u_{\alpha ,\phi }\Vert _{H^{1}}\le \frac{1}{\kappa \alpha }\Vert \phi \Vert _{H^{-1}}\)
-
(3)
\(u_{\alpha ,\phi }\) achieves
$$\begin{aligned} \min _{u\in H^1}\left\{ \frac{1}{2} b_\alpha (u,u)-\langle \phi ,u\rangle _{(H^{-1},H^1)}\right\} \end{aligned}$$
Proof
We have that
and
The thesis follows by the Lax-Milgram theorem (see e.g. [3, p. 138]).\(\square \)
3 The main result
Let \({\bar{u}}:[0,T]\rightarrow H^1(\mathbb {R}^n)\) be an unknown solution of (2.1). Suppose that we know a priori that \(\Vert {\bar{u}}(0)\Vert _{H^1}\le E\). Suppose also that for all \(\delta >0\) we can measure \({\bar{u}}(T)\) with an error smaller than \(\delta \), that is we can perform a measurement g of \({\bar{u}}(T)\) in such a way that \(\Vert g-{\bar{u}}(T)\Vert _{L^2}\le \delta \). Our goal is to reconstruct \({\bar{u}}(0)\) from g with an error depending on \(\delta \) and tending to 0 as \(\delta \rightarrow 0\). Our main tool is the following conditional stability result up to 0, that we proved in [4].
Theorem 3.1
[4, cf Thm. 5.3] Assume Hypothesis 2.1 is satisfied. Let \(E>0\). There exist positive constants \(\rho _E\), \(\theta _E\) and \(K_E\), depending only on \(A_{LL}\), A, \(\kappa \), T and E, such that if \(u,v \in C^0([0,T],H^1)\cap C^1(]0,T],L^2)\) are solutions of (2.1) satisfying \(\Vert u(0,\cdot )\Vert _{H^1}\le E\), \(\Vert v(0,\cdot )\Vert _{H^1}\le E\) and \(\Vert u(T,\cdot )-v(T,\cdot ))\Vert _{L^2} \le \rho _E\), then the inequality
holds true.
If we settle with reconstructing u(t) for t away from 0, a better estimate (intermediate between Hölder and logarithmic) is available:
Theorem 3.2
[4, cf Thm. 2.7] Assume Hypothesis 2.1 is satisfied. Let \(E>0\) and \(t_*\in ]0,T[\). There exist positive constants \(\rho _{E,t*}\), \(\mu _{E,t*}\), \(K_{E,t*}\) and \(N_{E,t*}\), depending only on \(A_{LL}\), A, \(\kappa \), T, \(t_*\) and E, such that if \(u,v \in C^0([0,T],H^1)\cap C^1(]0,T],L^2)\) are solutions of (2.1) satisfying \(\Vert u(0,\cdot )\Vert _{L^2}\le E\), \(\Vert v(0,\cdot )\Vert _{L^2}\le E\) and \(\Vert u(T,\cdot )-v(T,\cdot ))\Vert _{L^2} \le \rho _{E,t_*}\), then the inequality
holds true.
Remark 3.3
Unlike in the Lipschitz case, in the Log-Lipschitz case it is impossible to obtain a conditional stability estimate of Hölder type for \(t\ge t_*>0\) (a counterexample was explicitely constructed in [6]).
In order to apply Theorems 3.1 and 3.2 we need to construct a solution \(u(\cdot )\) of (2.1) such that:
-
\(\Vert u(0)-{\bar{u}}(0)\Vert _{H^1}\) is controlled in terms of E;
-
\(\Vert u(T)-{\bar{u}}(T)\Vert _{L^2}\) is small and controlled in terms of \(\delta \).
Theorem 3.4
Let \({\bar{u}}:[0,T]\rightarrow H^1(\mathbb {R}^n)\) be a solution of (2.1) with \(\Vert {\bar{u}}(0)\Vert _{H^1}\le E\). Let \(\delta >0\) and let \(g\in L^2(\mathbb {R}^n)\) be such that \(\Vert g-{\bar{u}}(T)\Vert _{L^2}\le \delta \). Then there exists \(u_{g,\delta }\in H^1(\mathbb {R}^n)\) such that, setting \(u(t):= U(t,0)u_{g,\delta }\), the following estimates are satisfied:
-
(1)
\(\Vert u(0)-{\bar{u}}(0)\Vert _{H^1}\le \frac{1}{\kappa ^2}(1+E)\);
-
(2)
\(\Vert u(T)-{\bar{u}}(T)\Vert _{L^2}\le \frac{M^{1/2}}{\kappa }(1+E)\delta ^{1/2}\).
The element \(u_{g,\delta }\) is obtained as the unique solution of the well posed problem
with \(\alpha =\delta M\kappa \), where \(b_\alpha (\cdot ,\cdot )\) is the bilinear form defined by (2.11) and M is the constant in Theorem 2.2.
Proof
Define \(\phi \in H^{-1}(\mathbb {R}^n)\) as follows:
Then by Proposition 2.4 for all \(\alpha >0\) there exists a unique \(u_{g,\alpha }\in H^1(\mathbb {R}^n)\) such that
that is
Define \(u(t):=U(t,0)u_{g,\alpha }\) and \(z_0:=u_{g,\alpha }-{\bar{u}}(0)=u(0)-{\bar{u}}(0)\). Set \(g_1:=U(T,0)^*{\bar{u}}(T)=U(T,0)^*\,U(T,0){\bar{u}}(0)\) and \(g_2:=U(T,0)^*g\). Now we trivially observe that
Subtracting (3.3) from (3.2), we get
Choosing \(h=z_0\) in (3.4) and taking into account the estimates (2.12) and (2.13), we get
It follows that
Therefore we have
Now we choose \(\alpha =\alpha (\delta )=M\kappa \delta \). With this choice we finnaly get
On the other hand, by (3.5) and with \(\alpha =M\kappa \delta \), we have
whence
The thesis follows defining \(u_{g,\delta }:=u_{g,\alpha (\delta )}\). \(\square \)
Combining Theorems 3.4 and 3.1 we obtain the desired reconstruction result:
Theorem 3.5
Let \({\bar{u}}:[0,T]\rightarrow H^1(\mathbb {R}^n)\) be an unknown solution of (2.1) with \(\Vert {\bar{u}}(0)\Vert _{H^1}\le E\). Let \(E':=(1+E)/\kappa ^2\). Let \(\rho \), \(\theta \) and K be the constants given by Theorem 3.1 when E is replaced by \(E'\). Let \(\delta >0\), let \(g\in L^2(\mathbb {R}^n)\) be a measurement of \({\bar{u}}(T)\) with \(\Vert g-{\bar{u}}(T)\Vert _{L^2}<\delta \) and let \(u_{g,\delta }\) be the element given by Theorem 3.4. Let \(u(t):=U(t,0)u_{g,\delta }\). Then, if \(\delta \) is so small that \((M^{1/2}/\kappa )(1+E)\delta ^{1/2}<\rho \), the estimate
holds true (where \(K'\) is a constant which can be explicitly expressed in terms of K, \(\theta \), \(\kappa \), M and E).
Combining Theorems 3.4 and 3.2 we obtain the a better approximation rate for t away from 0:
Theorem 3.6
Let \({\bar{u}}:[0,T]\rightarrow H^1(\mathbb {R}^n)\) be an unknown solution of (2.1) with \(\Vert {\bar{u}}(0)\Vert _{H^1}\le E\). Let \(t*\in ]0,T[\) and let \(E':=(1+E)/\kappa ^2\). Let \(\rho \), \(\mu \), K and N be the constants (depending on \(E'\) and \(t_*\)) given by Theorem 3.2 when E is replaced by \(E'\). Let \(\delta >0\), let \(g\in L^2(\mathbb {R}^n)\) be a measurement of \({\bar{u}}(T)\) with \(\Vert g-{\bar{u}}(T)\Vert _{L^2}<\delta \) and let \(u_{g,\delta }\) be the element given by Theorem 3.4. Let \(u(t):=U(t,0)u_{g,\delta }\). Then, if \(\delta \) is so small that \((M^{1/2}/\kappa )(1+E)\delta ^{1/2}<\rho \), the estimate
holds true (where \(K'\) and \(N'\) are constants which can be explicitly expressed in terms of K, N, \(\mu \), \(\kappa \), M and E).
Remark 3.7
The estimate given by Theorem 3.6 is intermediate between Hölder and logarithmic. Unlike in the Lipschitz case, in the Log-Lipschitz case it is not possible to obtain an approximation rate of Hölder type for \(t\ge t_*>0\) (see the remark following Theorem 3.2).
In the next section we give two interpretations of this reconstruction method.
4 Interpretations of the result and relation with similar results
4.1 Interpretation as a nonlocal quasi-boundary value problem
Keeping notations from the previous sections, let \(u(t):=U(t,0)u_{g,\delta }\). For \(t\in [0,2T]\) define
and
By elliptic regularity and reminding that \(V(2T-t,T)=U(T,2T-t)^*\), it is easy to check that w(t, x) solves the (well posed) nonlocal quasi-boundary value problem
or equivalently
with \(\alpha =M\kappa \delta \), where \(g_2=U(T,0)^*g=V(0,T)g\). Notice that \(g_2=\eta (2T)\), where \(\eta (t)\) is the solution of the (well posed) forward Cauchy problem
Therefore finding \(u_{g,\delta }\) amounts to:
-
solve the forward Cauchy problem (4.2);
-
set \(g_2:=\eta (2T)\);
-
solve the nonlocal quasi-boundary value problem (4.1) with \(\alpha =M\kappa \delta \);
-
set \(u_{g,\delta }:= w(0)\).
Interpreted in this way our approach regains its similarities with the one of [12].
4.2 Variational interpretation
We have seen that \(u_{g,\delta }\) is obtained via Lax-Milgram Theorem, and it is the unique minimizer of the functional
with \(\alpha =M\kappa \delta \). Spelled out in full, the latter reads
Adding the constant \(\frac{1}{2}\Vert g\Vert _{L^2}^2\), we obtain that \(u_{g,\delta }\) is the unique minimizer of
with \(\alpha =M\kappa \delta \). This means, roughly, that \(u_{g,\delta }\) is chosen in order to make \(\Vert U(T,0)u-g\Vert ^2+\delta \Vert u\Vert _{H^1}^2\) as small as possible.
Interpreted in this way our approach regains its similarities with the one of [18].
4.3 Comparison with similar results
In the Log-Lipschitz case considered in this paper the stability estimates of Theorems 3.1 and 3.2 are obtained through a rather sophisticated use of the Fourier transform and by mean of paradifferential calculus. This makes the results not directly exportable to the case of equations on bounded domains, where such tools are not available. That being said, we also point out that though the exponent \(\theta \) in (1.3) and (1.5) could in principle be tracked through the computations in [4], it is in general small and far from optimal. We discuss briefly how this convergence rate relates to similar results concerning autonomous equations and non-autonomous equations whose coefficients are Lipschitz continuous in t. For autonomous parabolic equations on bounded domains, in [7] Denche and Bessila, with a \(H^2\) a-priori bound, obtained approximate solutions with a convergence rate of type (1.5) with \(\theta =1\), while in [14] Hào, Duc, and Sahli, with a \(H^1\) a-priori bound, obtained a convergence rate of type (1.5) with \(\theta =1/2\); along the same line, in [13] Hào, Duc, and Lesnic proved several stability estimates up to 0 of optimal order. The same type of optimal convergence rate was obtained by Liu and Xiao in the paper [18], where the authors presented also a very accurate numerical treatment of their approximation result. For the non-autonomous case only few results are available (provided the coefficients are Lipschitz continuous in t). As mentioned in the Introduction, in the paper [12] Hào and Duc obtained approximate solutions under a \(L^2\) a-priori bound, with a convergence rate of Hölder type for \(t\ge t_*>0\), but with no information at \(t=0\). In the paper [15] Imanuvilov and Yamamoto proved a conditional stability result of logarithmic type up to \(t=0\), which suggests that an approximation scheme with \(H^1\) a-priori bound and a convergence rate of type (1.5) with \(\theta =1/4\) can be developed. Finally, in the recent paper [8] Duc, Muoi and Anh obtained a convergence rate of type (1.5) with \(\theta =1/4\) under \(H^1\) a-priori bound, for a particular non-autonomous parabolic equation. As we stressed above, in our result the exponent \(\theta \) is in general small and far from optimal. This is ultimately due to the fact that in the Log-Lipschitz case it is not possible to obtain a conditional stability estimate of Hölder type for \(t\ge t_*>0\) (see the remark following Theorem 3.2).
References
Agmon, S., Nirenberg, L.: Properties of solutions of ordinary differential equations in Banach spaces. Commn. Pure Appl. Math. 16, 121–239 (1963)
Amann, H.: Linear and Quasilinear Parabolic Problems. Vol. I. Abstract Linear Theory. Monographs in Mathematics, vol. 89. Birkhäuser, Boston (1995)
Brezis, H.: Functional Analysis. Sobolev Spaces ad Partial Differential Equations. Springer, New York (2011)
Casagrande, D., Del Santo, D., Prizzi, M.: Conditional stability up to the final time for backward-parabolic equations with log-Lipschitz coefficients. J. Differ. Equ. 338, 518–550 (2022)
Clark, G.W., Oppenheimer, S.F.: Quasireversibility methods for non-well-posed problems. Electron. J. Differ. Equ. No. 08, 9 pp (1994)
Del Santo, D., Prizzi, M.: Continuous dependence for backward parabolic operators with Log-Lipschitz coefficients. Math. Ann. 345(1), 213–243 (2009)
Denche, M., Bessila, K.: A modified quasi-boundary value method for ill-posed problems. J. Math. Anal. Appl. 301(2), 419–426 (2005)
Duc, N.V., Muoi, P.Q., Anh, N.T.V.: Stability results for backward heat equations with time-dependent coefficient in the Banach space \(L_p(R)\). Appl. Numer. Math. 175, 40–55 (2022)
Ewing, R.E.: The approximation of certain parabolic equations backward in time by Sobolev equations. SIAM J. Math. Anal. 6, 283–294 (1975)
Fu, C.-L., Xiong, X.-T., Qian, Z.: Fourier regularization for a backward heat equation. J. Math. Anal. Appl. 331(1), 472–480 (2007)
Gilbarg, D., Trudinger, N.S.: Elliptic Partial Differential Equations of Second Order. Grundlehren der Mathematischen Wissenschaften, vol. 224. Springer, Berlin (1977)
Hào, D.N., Duc, N.V.: Stability results for backward parabolic equations with time-dependent coefficients. Inverse Probl. 27(2), 025003 (2011)
Hào, D.N., Duc, N.V., Lesnic, D.: Regularization of parabolic equations backward in time by a non-local boundary value problem method. IMA J. Appl. Math. 75(2), 291–315 (2010)
Hào, D.N., Duc, N.V., Sahli, H.: A non-local boundary value problem method for parabolic equations backward in time. J. Math. Anal. Appl. 345(2), 805–815 (2008)
Imanuvilov, Yu. O., Yamamoto, M.: Conditional stability in a backward parabolic system. Appl. Anal. 93(10), 2174–2198 (2014)
Isakov, V.: Inverse Problems for Partial Differential Equations. Applied Mathematical Sciences, 127. Springer, New York (1998)
John, F.: Continuous dependence on data for solutions of partial differential equations with a prescribed bound. Commun. Pure Appl. Math. 13, 551–585 (1960)
Liu, J., Xiao, M.: Quasi-boundary value methods for regularizing the backward parabolic equation under the optimal control framework. Inverse Probl. 35(12), 124003 (2019)
Showalter, R.E.: Cauchy problem for hyperparabolic partial differential equations. Trends in the theory and practice of nonlinear analysis (Arlington, Tex., 1984), 421–425. North-Holland Math. Stud., 110 North-Holland Publishing Co., Amsterdam (1985)
Tanabe, H.: Equations of Evolution. Monographs Studies in Mathematics, vol. 6. Pitman (Advanced Publishing Program), Boston (1979)
Tikhonov, A.N.: On the stability of inverse problems. C. R. (Doklady) Acad. Sci. URSS (N.S.) 39, 176–179 (1943)
Yagi, A.: Abstract Parabolic Evolution Equations and Their Applications. Springer, Berlin (2010)
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. Reconstruction of the initial condition in parabolic equations with Log-Lipschitz coefficients. Annali di Matematica (2024). https://doi.org/10.1007/s10231-024-01475-7
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s10231-024-01475-7