Abstract
We consider the volume potential associated with the heat operator and we prove a mapping property in the space of distributions which are the time derivative of Hölder continuous functions. As an application we solve the Dirichlet and Neumann problems for the heat equation with a non-homogeneous term in such space of distributions.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
One of the most useful tools to deal with non-homogeneous equations is of course the volume potential. For this reason many authors have investigated the mapping properties of operators of volume potential type in different functional settings and for several partial differential operators. While the elliptic framework is better understood, parabolic volume potentials are less investigated.
For example, it is well known that if F is a \(C^{0,\alpha }\)-vector field defined on a sufficiently regular bounded open subset of \({\mathbb {R}}^n\) then the Newtonian volume potential \({{\tilde{P}}}[\textrm{div} F]\), i.e. the volume potential associated with the Laplace operator and applied on \(\textrm{div}F\), is of class \(C^{1,\alpha }\) (see, e.g., Dalla Riva, Lanza de Cristoforis and Musolino [6]). This property allows to use the Newtonian volume potential \({{\tilde{P}}}[\cdot ]\) to deal with the Poisson equation when the non-homogeneous term is the distributional divergence of a \(C^{0,\alpha }\)-vector field F, that is
The parabolic analog of the above equation is
Boundary value problems for equation (1) under several Hölder regularity assumptions on the vector field G were considered in Lieberman [14] and Lunardi and Vespri [16] with different techniques. Instead, to the best of the author knowledge, the classical parabolic theory does not cover the case
where f is a \(\frac{1+\alpha }{2}\)-Hölder continuous in time and \(\beta \)-Hölder continuous in space. Motivated by the above example, in the present paper we develop a theory for the volume potential \(P[\cdot ]\) associated with the heat operator acting on the space of distributions of the form \(\partial _t f\) and as a main result we prove a mapping property of \(P[\cdot ]\) (see Theorem 3.2).
As a consequence of our main result, we show how to solve the Dirichlet and Neumann problems for equation (2) (see Theorem 5.1). We note that in principle one could also try to deal with boundary value problems for equation (2) with a semigroup approach following, e.g., Lunardi [15]. However, our aim is to consider (2) from the point of view of potential theory and develop some tools that we also plan to exploit to analyze perturbation problems for the heat equation via potential theory.
For the classical results on elliptic volume potentials we mention Gilbarg and Trudinger [8] and Miranda [19]. We also note that a potential theoretic approach has recently revealed to be very effective to deal with elliptic problems in singularly perturbed domains. For this reason, mapping properties of elliptic volume potentials have been also considered in view of applications to perturbation problems (see Dalla Riva, Lanza de Cristoforis and Musolino [4, 5]). More details on the potential theoretic approach to perturbation problems for elliptic equations and results on volume potentials can be found in the monograph by Dalla Riva, Lanza de Cristoforis and Musolino [6].
For what concerns the parabolic case, regularity properties of the heat volume potential have been considered in Friedman [7, Ch. 1, Sec. 3]. Ladyženskaja, Solonnikov, and Ural’ceva [10, Ch. IV, Sec. 2, Sec. 3] proved a series of mapping properties of the heat volume potential in parabolic Schauder and Sobolev spaces. In Cherepova [2] the author considered the heat volume potential acting on parabolic Hölder continuous functions that are allowed to blow up at the parabolic boundary. Finally, Karazym and Suragan [9] have considered the volume potential associated with a degenerate parabolic equation. However we note that, up to the author knowledge, no results for the heat volume potential on spaces of distributions are available in the literature.
The results of the present paper continue the line of the works [11, 12, 18] on the properties of integral operators of potential type appearing in the framework of parabolic theory. Incidentally, we mention that our interest in proving these kind of mapping properties for the heat volume potential is also of technical nature since an equation of type (2) arises when one tries to pull-back the heat equation from a varying domain to a fixed one requiring only optimal regularity assumptions on the domains. In a subsequent paper by Dalla Riva and the author [3] we will indeed use the results of the present paper to prove domain perturbation results for layer heat potentials and for the heat equation.
We conclude this introduction with two possibile future developments stemming from this work. First, following the lines of this paper, one can try to extend the results on parabolic Sobolev spaces of [10, Ch. IV, Sec. 3] to distributions of the form \(\partial _t f\), where f has some (low) Sobolev regularity. Second, it would be of interest to generalize our results to volume potentials supported on time-varying domains and not only on parabolic cylinders (see e.g. Lewis and Murray [13] for the use of layer heat potentials on time-varying domains).
The paper is organized as follows. In Sect. 2 we introduce the functional spaces that we need, i.e. parabolic Schauder spaces. In Sect. 3, after having introduced the heat volume potential on functions and on a suitable space of distributions, we state our main result Theorem 3.2. Moreover, we show that the heat and Newtonian volume potentials coincide, up to the sign, whenever the densities are time-independent. Section 4 contains the proof of Theorem 3.2 together with some auxiliary results needed. Finally, in Sect. 5 we apply Theorem 3.2 to solve the Dirichlet and Neumann problems for the heat equation with a distributional non-homogeneous term which is the time derivative of an Hölder continuous function. For the clarity of exposition, we have postponed a known result of functional analysis regarding quotient spaces to Appendix A.
2 Schauder spaces
Throughout the paper we fix
which represents the dimension of the space variable. Let \(\Omega \) be a bounded open subset of \({\mathbb {R}}^n\). Let \(k \in {\mathbb {N}}\) and \(\alpha \in \mathopen ]0,1[\). For the definition of sets and functions of the Schauder class \(C^{k,\alpha }\) we refer, e.g., to Gilbarg and Trudinger [8]. Next we pass to recall the definition of the parabolic analog of Schauder spaces. Let \(T \in \mathopen ]-\infty ,+\infty ]\). For the sake of brevity, we set
We now introduce the definition of an anisotropic Hölder space where Hölder regularity with respect to time and space directions can differ. Let \(\alpha , \beta \in \mathopen ]0,1[\). Then \(C^{\alpha ;\beta }(\overline{\Omega _T})\) denotes the space of bounded continuous functions u from \(\overline{\Omega _T}\) to \({{\mathbb {R}}}\) such that
We also denote by \(C^{\alpha ;0}(\overline{\Omega _T})\) the space of bounded continuous functions u from \(\overline{\Omega _T}\) to \({{\mathbb {R}}}\) such that
With the aim of considering boundary value problems, we will also need higher order parabolic Hölder spaces, i.e. parabolic Schauder spaces. Let \(\alpha \in \mathopen ]0,1[\). We denote by \(C^{\frac{1+\alpha }{2};1+\alpha }(\overline{\Omega _{T}})\) the space of bounded continuous functions u from \(\overline{{\Omega }_{T}}\) to \({{\mathbb {R}}}\) that are continuously differentiable with respect to the space variables and such that
If \(\Omega \) is of class \(C^{1,\alpha }\), by local parametrizations it is possible to naturally define the space \(C^{\frac{1+\alpha }{2};1+\alpha }(\partial _T\Omega )\). For more detailed definitions of parabolic Schauder spaces we refer to Baderko [1, p. 450] and Ladyženskaja, Solonnikov, and Ural’ceva [10, p. 7] (see also [11, 12]).
Since we will consider the heat volume potential on a specific space of distributions, we need the following definition. We denote by \(C^{-1+\alpha ;\beta }(\overline{\Omega _{T}})\) the space of distributions in \(\Omega _T\) that are the (distributional) time derivative of a function in \(C^{\alpha ;\beta }(\overline{\Omega _{T}})\), endowed with the quotient norm. That is
and
It can be easily seen that all the above spaces endowed with their respective norms are Banach spaces (see Theorem A.1 of the Appendix A for the case of \(C^{-1+\alpha ;\beta }(\overline{\Omega _{T}})\)). Finally, when \(T >0\), with a subscript 0 in the above spaces we mean the Banach subspace made of functions that are zero before zero. For example,
The spaces \(C^{\alpha ;0}_0(\overline{\Omega _T})\), \(C_0^{\frac{1+\alpha }{2};1+\alpha }(\overline{\Omega _{T}})\), and \(C_0^{\frac{1+\alpha }{2};1+\alpha }(\partial _T\Omega )\) can be defined in the same way. Similarly
3 The heat volume potential and statement of the main result
Let \(S_n: {\mathbb {R}}^{1+n} {\setminus } \{0,0\} \rightarrow {\mathbb {R}}\) denote the fundamental solution of the heat operator, that is
As it is well know, \(S_n \in C^\infty ({\mathbb {R}}^{1+n}{\setminus } \{(0,0)\})\) and solves the heat equation in \({\mathbb {R}}^{1+n}{\setminus } \{(0,0)\}\). We recall a known bound for \(S_n\) which can be found e.g. in Ladyzhenskaja, Solonnikov and Ural’ceva [10, p. 274]: for all \(\eta \in {\mathbb {N}}^n\) and for all \(h\in {\mathbb {N}}\) there exists a constant \(C_{\eta ,h}>0\) such that
Let \(\Omega \) be a bounded open subset of \({\mathbb {R}}^n\) and \(T \in \mathopen ]-\infty ,+\infty ]\). Let \(x_0 \in \Omega \). If \(f \in L^\infty ( \Omega _T)\), we define the heat volume potential P[f] to be the function from \(\overline{\Omega _T}\) to \({\mathbb {R}}\) defined by
where \(\delta _{i,j}\) denotes the Kronecker delta. We note that the above definition, in the case \(n=2\), depends on the choice of \(x_0 \in \Omega \). Indeed, a different choice of \(x_0\) would provide a volume potential that differs by a constant. However, if \(T \in \mathopen ]0,+\infty ]\) and \(\textrm{supp}\, f \subseteq \overline{[0,T[}\times \Omega \) (this is the case needed when one considers an initial-boundary value problem with initial condition at \(t=0\)), then the volume potential P[f] no longer depends on \(x_0\) in the case \(n=2\) and
which is the classical definition of heat volume potential.
Remark 1
The Definition 4 of the heat volume potential contains the term \(\delta _{2,n}S_n(-\tau ,x_0-y)\). This term is needed to avoid summability issues of the kernel as \(\tau \rightarrow -\infty \) in the case \(n=2\). Indeed \(S_2(t-\tau ,x-y)\) behaves like \((t-\tau )^{-1}\) as \(\tau \rightarrow -\infty \), while \(S_2(t-\tau ,x-y)- S_2(-\tau ,x_0-y)\) does not have the same problem. To see this fact, we fix \(\tau < \textrm{min}\{0,t\}\) and \(x,y \in \Omega \). One has
Then, if we denote by \(\{e_j\}_{j=1,\ldots ,n}\) the standard basis of \({\mathbb {R}}^n\), the fundamental theorem of calculus and the estimates (3) for the fundamental solution \(S_n\) imply that
and that
which show that the kernel of (4) is summable for \(\tau \rightarrow -\infty \).
The goal of the present paper is to prove some properties of the heat volume potential acting on the space of distributions \(C^{\frac{-1+\alpha }{2};\beta }(\overline{\Omega _T})\). As a first step we need to specify what we mean by the heat volume potential on such a space (see Definition (7)). To this aim, we need to shows that the Definition (7) does not depend on the representative in the equivalence class and coincides with the Definition (4) when the distribution comes from a \(L^\infty \) function. We do this in the following Proposition 3.1 which we shall prove in Sect. 4.
Proposition 3.1
Let \(\Omega \) be a bounded open subset of \({\mathbb {R}}^n\) and \(T \in \mathopen ]-\infty ,+\infty ]\). Let \(\alpha ,\beta \in \mathopen ]0,1]\). Let \(f \in C^{\frac{1+\alpha }{2};\beta }(\overline{\Omega _T})\). Then the following statements hold.
-
(i)
Suppose that \(\partial _t f =0\) in the sense of distributions. Then
$$\begin{aligned}&\int _{-\infty }^t\int _{\Omega }\partial _tS_n(t-\tau ,x-y)(f(\tau ,y)-f(t,y))\,dyd\tau =0 \qquad \forall (t,x) \in \overline{\Omega _T}. \end{aligned}$$(5) -
(ii)
Suppose that \(\partial _t f \in L^\infty {(\Omega _T)}\). Then
$$\begin{aligned} P[\partial _t f](t,x)=\int _{-\infty }^t\int _{\Omega }\partial _tS_n(t-\tau ,x-y)(f(\tau ,y)-f(t,y))\,dyd\tau \qquad \forall (t,x) \in \overline{\Omega _T}. \end{aligned}$$(6)
By Proposition 3.1 we can extend the heat volume potential \(P[\cdot ]\) to include distributions in \(C^{\frac{-1+\alpha }{2};\beta }(\overline{\Omega _T})\) via
where \(g = \partial _t f\) and \(f \in C^{\frac{1+\alpha }{2};\beta }(\overline{\Omega _T})\).
We are now ready to state our main result, whose proof is postponed to Sect. 4.
Theorem 3.2
Let \(\Omega \) be a bounded open subset of \({\mathbb {R}}^n\) and \(T \in \mathopen ]-\infty ,+\infty ]\). Let \(\alpha ,\beta \in \mathopen ]0,1[\). Then the following statements hold.
-
(i)
If \(g \in C^{\frac{-1+\alpha }{2};\beta }(\overline{\Omega _T})\), then \(\partial _t P[g] - \Delta P[g] = g\) in the sense of distributions in \(\Omega _T\).
-
(ii)
\(P[\cdot ]\) is a bounded linear operator from \(C^{\frac{-1+\alpha }{2};\beta }(\overline{\Omega _T})\) to \(C^{\frac{1+\alpha }{2};1+\alpha }(\overline{\Omega _T})\).
In order to prove Theorem 3.2 will also need the Newtonian volume potential and then we recall that the standard fundamental solution of the Laplace operator is
where
is the \((n-1)\)-dimensional measure of the unit sphere \(\partial {\mathbb {B}}_n(0,1)\) and \(\Gamma \) denotes the Euler Gamma function. If \(h \in L^\infty (\Omega )\), the harmonic volume potential \({{\tilde{P}}}[h]\) is the function from \(\overline{\Omega }\) to \({\mathbb {R}}\) defined by
Likewise other potential-type operators, the heat volume potential of an autonomous (i.e. time-independent) density is autonomous and coincides up to the sign with the corresponding Newtonian volume potential. That is, we have the following.
Lemma 3.3
Let \(\Omega \) be a bounded open subset of \({\mathbb {R}}^n\) and \(T \in \mathopen ]-\infty ,+\infty ]\). Let \(x_0 \in \Omega \). Let \(h \in L^\infty (\Omega )\). Then
Proof
We follow the lines of the proof of [17, Lemma A.3, Lemma A.4] where the analog relation between heat and harmonic layer potentials has been proved. Let \((t,x) \in \overline{\Omega _T}\). We first consider the case \(n=2\). Then
By the changes of variable \(t-\tau = \frac{\vert x-y\vert ^2}{4\xi }\) in the first term inside the integral and \(-\tau = \frac{\vert x_0-y\vert ^2}{4\xi }\) in the second term, we get
Let g be the function from \({\mathbb {R}}\) to \({\mathbb {R}}\) defined by
It is easy to see that g is continuous in \({\mathbb {R}}\) and that
Accordingly, the dominated convergence theorem implies that
Next we pass to the case \(n \ge 3\). By the change of variable \(\vert x-y\vert ^2s = 4(t-\tau )\) we have that
which proves the statement. \(\square \)
4 Proof of the main result
In the present section we consider the action of \(P[\cdot ]\) in the space \(C^{\frac{-1+\alpha }{2};\beta }(\overline{\Omega _T})\) with the final goal of proving Theorem 3.2. To this aim, we need some preliminary results.
Proposition 4.1
Let \(\Omega \) be a bounded open subset of \({\mathbb {R}}^n\) and \(T \in \mathopen ]-\infty ,+\infty ]\). Let \(\alpha \in \mathopen ]0,1[\). Then the operator B defined by
is linear and continuous from \(C^{\frac{1+\alpha }{2};0}(\overline{\Omega _T})\) to \(C^{\frac{1+\alpha }{2};1+\alpha }(\overline{\Omega _T})\).
Proof
For convenience, for \(\gamma >0\) we set
It is easily seen that for \(\gamma >0\) one has
Let \((t,x) \in \overline{\Omega _T}\). By (3) there exists a constant \(C_{0,1}>0\) such that
Then, by the above inequality and by the Vitali convergence theorem, \(B[\cdot ]\) is linear and continuous from \(C^{\frac{1+\alpha }{2};0}(\overline{\Omega _T})\) to \(C^{0}(\overline{\Omega _T})\).
Next we consider the Hölder continuity in the time variable. We take \(t',t'' \in \mathopen ]-\infty ,T[\), \(t' < t''\), \(x \in \Omega \). Then
We begin considering the first term in the right hand side of (9). The bounds (3) on \(S_n\) imply
The second term in the right hand side of (9) can be estimated in the same way by noting that \(t'-2\vert t''-t'\vert = t''-3\vert t''-t'\vert \). We then consider the third term. By (3) together with the mean value theorem one can see that there exists a constant \(C'_{0,1}>0\) such that
for all \(x,y \in \Omega \), \(t'<t''\), \(\tau < t'-2\vert t''-t'\vert \). For an explicit derivation of (10) we refer to [11, Lem. 4.3 (iii)]. Then
Next, we consider the last term in the right hand side of (9).
It remains consider the regularity in the space variables. More precisely, we need to prove that for all \(i \in \{1,\ldots ,n\}\), the map \(\partial _{x_i}B[\cdot ]\) is linear and continuous from \(C^{\frac{1+\alpha }{2};0}(\overline{\Omega _T})\) to \(C^{\frac{\alpha }{2};\alpha }(\overline{\Omega _T})\). Let \((t,x) \in \Omega _T\). Let \(i \in \{1,\ldots ,n\}\). By classical differentiation theorems for integrals depending on a parameter and by the bound (3) there exists a constant \(C_{e_i,1}>0\) such that
For what concerns the time \(\frac{\alpha }{2}\)-Hölder norm, it can be estimated exactly in the same way of the first part of the proof just by noting that the kernel is more singular by a term \((t-\tau )^{-\frac{1}{2}}\) but we need to obtain an \(\frac{\alpha }{2}\)-Hölder regularity instead of an \(\frac{1+\alpha }{2}\)-regularity.
Now we consider the spatial \(\alpha \)-Hölder regularity. Let \(x',x'' \in \Omega \), \(t \in \mathopen ]-\infty ,T[\). By classical differentiation theorems for integrals depending on a parameter we have
We consider the first term in the right hand side of (11). By the bound (3) we have
The second term in the right hand side of (11) can be estimated in the same way. Finally we consider the last term. The fundamental theorem of calculus and the bound (3) imply
\(\square \)
Next we show that the operator B[f] of Proposition 4.1 coincides with \(\partial _t P[f]\) whenever \(f \in C^{\frac{1+\alpha }{2};\beta }(\overline{\Omega _T})\).
Lemma 4.2
Let \(\Omega \) be a bounded open subset of \({\mathbb {R}}^n\) and \(T \in \mathopen ]-\infty ,+\infty ]\). Let \(\alpha ,\beta \in \mathopen ]0,1[\). Let \(f \in C^{\frac{1+\alpha }{2};\beta }(\overline{\Omega _T})\). Then P[f] is continuously differentiable with respect to t and
Proof
Let \((t,x) \in \Omega _T\). Since f is \(\beta \)-Hölder continuous in space, by Friedman [7, Thm. 9 p. 21] the volume potential P[f] is continuously differentiable with respect to the time variable and twice continuously differentiable with respect to the space variables. Moreover, again by Friedman [7, Thm. 9 p. 21], one has
By the properties of the Newtonian volume potential (see e.g. Gilbarg and Trudinger [8, Sec. 4.2]), we have
Since by Lemma 3.3 the heat and Newtonian volume potential coincide up to the sign, we have that
The bound (3) for the fundamental solution and (8) imply that
Accordingly the statement follows by standard differentiation theorems for integral depending on a parameter and by recalling that \(S_n\) solves the heat equation in \({\mathbb {R}}^{1+n} {\setminus } \{(0,0)\}\). \(\square \)
Now we are ready to prove Proposition 3.1, which shows that the heat volume potential in \( C^{\frac{-1+\alpha }{2};\beta }(\overline{\Omega _T})\) is well-defined.
Proof of Proposition 3.1
We first consider statement i). With the notation introduced in Proposition 4.1 we need to show that
Since by Proposition 4.1 the map B[f] is continuous in \(\overline{\Omega _T}\), it suffices to show equality (5) in \(\Omega _T\). Let \((t,x) \in \Omega _T\) be fixed. Since
is continuous in \((\tau ,y) \in \overline{\Omega _t} {\setminus } \{(t,x)\}\), it has a distributional \(\tau \)-derivative which, since \(\partial _tf=0\) in the sense of distributions, equals
Let \(\varepsilon >0\). Since the function g is continuous in \(\overline{\Omega _{t-\varepsilon }}\), then
For all \(y \in \Omega \) we have
By the dominated convergence theorem we obtain (5) by letting \(\varepsilon \rightarrow 0\).
Statement ii) is a direct consequence of integration by parts in the time variable. \(\square \)
Now we have all the ingredients to prove our main result on the action of \(P[\cdot ]\), that is Theorem 3.2.
Proof of Theorem 3.2
We start considering i). If \(g \in C^{\frac{-1+\alpha }{2};\beta }(\overline{\Omega _T})\) and \(g = \partial _t f\) with \(f \in C^{\frac{1+\alpha }{2};\beta }(\overline{\Omega _T})\), then by Lemma 4.2 we have
Hence
in the sense of distributions. The second equality in (12) follows by classical results for the heat volume potential (see, e.g., Friedman [7, Thm. 9, p.21]).
Statement ii) follows by the definition of the heat volume potential \(P[\cdot ]\), by Proposition 4.1 and by Theorem A.1 of the Appendix. \(\square \)
5 The Dirichlet and Neumann problems
As an application, we show the solvability of the Dirichlet and Neumann problem for equation (2). Let \(\alpha , \beta \in \mathopen ]0,1[\). Let \(T>0\). Let \(\Omega \) be a bounded open subset of \({\mathbb {R}}^n\) of class \(C^{1,\alpha }\). Let \(f \in C_0^{\frac{1+\alpha }{2};\beta }(\overline{\Omega _T})\), \(g \in C_0^{\frac{1+\alpha }{2};1+\alpha }(\partial _T \Omega )\), and \(h \in C_0^{\frac{\alpha }{2};\alpha }( \partial _T \Omega )\). The Dirichlet problem for equation (2) is
while the Neumann problem reads
Of course the partial differential equation in problems (13) and (14) has to be understood in the weak sense of distributions. We note that following the lines of the present section one can also show the solvability of problems for equation (2) with boundary conditions other than Dirichlet and Neumann, as for example Robin or transmission boundary conditions. For the sake of simplicity, here we treat only problems (13) and (14).
We have the following existence and uniqueness result which is an immediate consequence of classical parabolic theory together with Theorem 3.2.
Theorem 5.1
Let \(\alpha , \beta \in \mathopen ]0,1[\). Let \(T >0\). Let \(\Omega \) be a bounded open subset of \({\mathbb {R}}^n\) of class \(C^{1,\alpha }\). Let \(f \in C_0^{\frac{1+\alpha }{2};\beta }(\overline{\Omega _T})\), \(g \in C_0^{\frac{1+\alpha }{2};1+\alpha }(\partial _T \Omega )\), and \(h \in C_0^{\frac{\alpha }{2};\alpha }( \partial _T\Omega )\). Then problem (13) admits a unique solution \(u \in C_0^{\frac{1+\alpha }{2};1+\alpha }(\overline{\Omega _T})\) and problem (14) admits a unique solution \(v \in C_0^{\frac{1+\alpha }{2};1+\alpha }(\overline{\Omega _T})\)
Proof
Since (13) and (14) are linear problems, the uniqueness of their solutions in the space \(C_0^{\frac{1+\alpha }{2};1+\alpha }( \overline{\Omega _T})\) is well known (cf, e.g., Friedman [7]).
Next we pass to consider existence of a solution. By Theorem 3.2, the map \(P[\partial _t f] \in C_0^{\frac{1+\alpha }{2};1+\alpha }(\overline{\Omega _T})\) and solves equation (2). Thus, the existence of a solution for problems (13) and (14) can be reduced to the existence of a solution for
and for
respectively. Indeed, if \({{\tilde{u}}}, {{\tilde{v}}} \in C_0^{\frac{1+\alpha }{2};1+\alpha }(\overline{\Omega _T})\) solve respectively problems (15) and (16), then \(u = {{\tilde{u}}}+ P[\partial _t f] \in C_0^{\frac{1+\alpha }{2};1+\alpha }(\overline{\Omega _T})\) and \(v = {{\tilde{v}}}+ P[\partial _t f] \in C_0^{\frac{1+\alpha }{2};1+\alpha }(\overline{\Omega _T})\) solve respectively problems (13) and (14). It is classical that problems (15) and (16) admit a solution in the space \(C_0^{\frac{1+\alpha }{2};1+\alpha }(\overline{\Omega _T})\). For a proof of this result based on potential theoretic methods we refer to Baderko [1] (see also Lunardi and Vespri [16] for a proof based on semigroups theory).
\(\square \)
References
Baderko, E.A.: Parabolic problems and boundary integral equations. Math. Methods Appl. Sci. 20(5), 449–459 (1997)
Cherepova, M. F.: On some properties of the parabolic potential of bulk masses. II. (Russian). Differ. Uravn. 36, 408–414 (2000). (432; translation in Differ. Equ. 36(3), 457–465 (2000))
Dalla Riva, M., Luzzini, P.: Dependence of the layer heat potentials upon support perturbations. Differ. Integr. Equ. 36(11–12), 971–1003 (2023)
Dalla Riva, M., Lanza de Cristoforis, M., Musolino, P.: Analytic dependence of volume potentials corresponding to parametric families of fundamental solutions. Integr. Equ. Oper. Theory 82(3), 371–393 (2015)
Dalla Riva, M., Lanza de Cristoforis, M., Musolino, P.: Mapping properties of weakly singular periodic volume potentials in Roumieu classes. J. Integr. Equ. Appl. 32(2), 129–149 (2020)
Dalla Riva, M., Lanza de Cristoforis, M., Musolino, P.: Singularly Perturbed Boundary Value Problems: A Functional Analytic Approach. Springer Nature, Cham (2021)
Friedman, A.: Partial Differential Equations of Parabolic Type, p. xiv+347. Prentice-Hall Inc, Englewood Cliffs (1964)
Gilbarg, D., Trudinger, N.S.: Elliptic Partial Differential Equations of Second Order. Elliptic Partial Differential Equations of Second Order. Reprint of the 1998 Edition Classics in Mathematics, p. xiv+517. Springer, Berlin (2001)
Karazym, M., Suragan, D.: Trace formulae of potentials for degenerate parabolic equations. Differ. Integr. Equ. 33(7–8), 337–360 (2020)
Ladyženskaja, O.A., Solonnikov, V.A., Ural’ceva, N.N.: Linear and Quasilinear Equations of Parabolic Type. (Russian) Translated from the Russian by S. Smith. Translations of Mathematical Monographs, vol. 23. American Mathematical Society, Providence (1968)
Lanza de Cristoforis, M., Luzzini, P.: Time dependent boundary norms for kernels and regularizing properties of the double layer heat potential. Eur. Math. J. 8(1), 76–118 (2017)
Lanza de Cristoforis, M., Luzzini, P.: Tangential derivatives and higher-order regularizing properties of the double layer heat potential. Analysis (Berlin) 38(4), 167–193 (2018)
J. L. Lewis. M. A. M. Murray, The method of layer potentials for the heat equation in time-varying domains. Mem. Amer. Math. Soc.114 (1995), no. 545, viii+157 pp
Lieberman, G.M.: Second Order Parabolic Differential Equations, p. xii+439. World Scientific Publishing Co., Inc, River Edge (1996)
Lunardi, A.: Analytic Semigroups and Optimal Regularity in Parabolic Problems. [2013 reprint of the 1995 original]. [MR1329547] Modern Birkhäuser Classics, p. xviii+424. Birkhäuser/Springer Basel AG, Basel (1995)
Lunardi, A., Vespri, V.: Hölder regularity in variational parabolic nonhomogeneous equations. J. Differ. Equ. 94(1), 1–40 (1991)
P. Luzzini, Regularizing Properties of the Double Layer Heat Potential and Shape Analysis of a Periodic Problem. Ph.D. Dissertation, Università degli Studi di Padova (2019)
Luzzini, P.: Regularizing properties of space-periodic layer heat potentials and applications to boundary value problems in periodic domains. Math. Methods Appl. Sci. 43(8), 5273–5294 (2020)
C. Miranda, Sulle proprietà di regolarità di certe trasformazioni integrali. (Italian) Atti Accad. Naz. Lincei Mem. Cl. Sci. Fis. Mat. Natur. Sez. Ia (8) 7, 303–336 (1965)
Schaefer, H.H.: Topological Vector Spaces. Third Printing Corrected, Graduate Texts in Mathematics, vol. 3. Springer, New York (1971)
Acknowledgements
The author wish to thank Professor M. Lanza de Cristoforis and Professor M. Dalla Riva for many valuable comments and suggestions during the preparation of the paper. The 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). The author also acknowledges the support of the Project BIRD191739/19 ‘Sensitivity analysis of partial differential equations in the mathematical theory of electromagnetism’ of the University of Padova.
Funding
Open access funding provided by Università degli Studi di Padova within the CRUI-CARE Agreement.
Author information
Authors and Affiliations
Corresponding author
Ethics declarations
Conflict of interest
The author has no competing interests to declare that are relevant to the content of this article.
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Appendix A
Appendix A
In this Appendix we collect a well-know result in functional analysis regarding quotient spaces. For a proof we refer to Schaefer [20, p. 42] (see also Dalla Riva, Lanza de Cristoforis and Musolino [6]).
Theorem A.1
Let \((X, \Vert \cdot \Vert _{X})\) be a normed space. Let V be a closed subspace of X. Then the norm on the quotient X/V defined by
generates the quotient topology on X/V, i.e the strongest topology on X/V such that the canonical projection \(\pi \) of X onto X/V is continuous.
If X is complete, then \((X/V, \Vert \cdot \Vert _{X/V})\) is complete. If Y is a normed space and if T is a linear map from X/V to Y, then T is continuous if and only if \(T \circ \pi \) is continuous.
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
Luzzini, P. A mapping property of the heat volume potential. Boll Unione Mat Ital 17, 401–416 (2024). https://doi.org/10.1007/s40574-023-00383-7
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s40574-023-00383-7
Keywords
- Heat equation
- Volume potential
- Regularity theory for integral operators
- Initial-boundary value problems