Modified Cauchy Problem with Impulse Action for Parabolic Shilov Equations
Abstract
For parabolic Shilov equations with continuous coefficients, the problem of finding classical solutions that satisfy a modified initial condition with generalized data such as the Gelfand and Shilov distributions is considered. This condition arises in the approximate solution of parabolic problems inverse in time. It linearly combines the meaning of the solution at the initial and some intermediate points in time. The conditions for the correct solvability of this problem are clarified and the formula for its solution is found. Using the results obtained, the corresponding problems with impulse action were solved.
1. Introduction
The study of the Cauchy problem (1) and (5) has been presented in many research works. In particular, authors in [1, 2] describe the classes of unity and correctness of this problem. The stabilization properties of the solutions of equation (1) under special Λ-conditions were studied in [3–5]. In [6–8], the alternative methods of the fundamental solution study are offered, which allow to avoid the notion of the equation kind (1) and difficulties associated with its location. The abstract theory of the Cauchy problem (1) and (5) in Banach spaces is developed in [9, 10]. The works [11–16] are devoted to the construction of the theory of the Cauchy problem for equation (1) with variable coefficients. The results of these studies naturally complement and generalize the classical theory of the Cauchy problem for parabolic Petrovsky equations [17–19].
For parabolic Petrovsky equations, i.e., equation (1), in which p = h = 2b, problems with condition (7), and those with the conditions of a more general form were considered in [27–30]. Here various questions concerning the correctness of such problems and methods of solving them under certain conditions on the input data are considered. In this case, similar problems for parabolic Shilov equations with p ≠ h still remain in the state of expectation.
Most of the observed processes are influenced by impulses that are not taken into account by the differential equation of the corresponding mathematical model. Therefore, these effects should be reflected in the form of additional conditions to achieve the desired compliance of the model with the real process. Problems with impulse action for differential equations have been studied in many works, in [31–39] in particular. In [31, 32], the basics of the results of the theory of systems of differential equations with impulse action are presented. In [34], sufficient conditions are established for the controllability of a class of semilinear impulsive integrodifferential systems with nonlocal initial conditions in Banach spaces. The internal approximate controllability of the semilinear impulse deterministic thermal equation is set in [35]. In [36], this issue is already clarified for the semilinear impulse stochastic equation of thermal conductivity with delay. The Cauchy problem with impulse action for parabolic Petrovsky equations was studied in [37–39]. The abovementioned works and the references given in them refer to direct problems with impulse action, while inverse problems of this type have escaped the attention of researchers.
In this research, we study the modified Cauchy problem (1) and (9), which is generated by the inverse problem (1) and (8). By reducing to the corresponding Cauchy problem (1) and (5) in combination with the Fourier transform method, the correct solvability of this problem in a wide class of generalized initial data, such as the Gelfand and Shilov distributions, is established. At the same time, the explicit formulae of its classical solutions are found and the smoothness of these solutions by temporal and spatial variables is clarified. The results obtained are applied to solving the original problem (1) and (9) with the available time impulse (10), which can occur both before the time t∗ and after it.
The structure of the work is as follows. Section 2 provides the necessary information about the spaces of basic and generalized functions, which will serve as an environment for the study of the modified problem. The information about the correct solvability of the Cauchy problem for parabolic Shilov equations (1) is also presented here. In Section 3, the classical solutions of the modified Cauchy problem (1) and (9) with generalized initial data f are found and their uniqueness is substantiated. Problem (1) and (9) with impulse after-effect and preeffect is solved in Sections 4 and 5, respectively. Section 6 presents the conclusions.
2. Preliminary Information
Let ℂ∞(ℝn) be a class of all functions infinitely differentiable on ℝn and S be the space of L. Schwartz elements from ℂ∞(ℝn) rapidly fall to infinity, and S′ is the corresponding space of Schwartz distributions [40]. The set of all n-dimensional multi-indices is denoted by . And let |l| = l1 + ⋯+ln, , if z = (z1; …; zn) ∈ ℝn, .
The sets Sα, Sβ, and with corresponding topologies [40] are countably normalized complete perfect spaces, which are called Gelfand and Shilov spaces of the type S.
The correct topological relationship is [41].
In spaces of the type S, continuous addition, multiplication, convolution, and the operator F of the Fourier transform are defined, and the following topological equations are satisfied [40]: F[Sα] = Sα, F[Sβ] = Sβ, and .
We shall denote by Φ′ the space topologically conjugate to the space , where h > 0 and p > 1.
The convolution (f∗φ)(·) is a classic function from the class ℂ∞(ℝn) [40].
- (1)
(g∗φ)(·)≔<g(x), φ(x + ·) > ∈Φ, (∀φ ∈ Φ)
- (2)
The convolution operation g with the elements φ ∈ Φ is continuous in the space Φ
From here we come to the equality F[f∗g] = F[f]F[g], from which it becomes clear that the element g ∈ Φ′ is a convoluter in Φ only when its Fourier transform is F[g]—a multiplier in the corresponding space F[Φ].
The following criterion of the multiplier [6, 7] is correct: let , 0 ≤ τ < t ≤ T, then to be a multiplier in the space F[Φ], it is necessary and important for the function μ(·) ∈ ℂ∞(ℝn) that for each fixed t, 0 < t ≪ 1, the product belongs to the space F[Φ].
We consider the Cauchy problem for equation (1) with the initial condition (5), in which f is a functional from the space Φ′.
Definition 1. The solution of the Cauchy problem (1) and (5) on the set Π(0; T] is the function u, which on Π(0; T] satisfies equation (1) in the usual sense and the initial condition (5)—in the sense of convergence in the space Φ′:
The fundamental solution of the Cauchy problem for equation (1) is a function
Obviously, the solution for each fixed t ∈ (0; T].
The next statement is correct.
Theorem 1 (see [6].)Let f be a real functional from the space Φ′, then the corresponding Cauchy problem (1) and (5) on the set Π(0; T] is correctly solvable and its solution u(t; x) is differentiable with respect to the variable t and infinitely differentiable with respect to the variable x, for which the following conditions are satisfied:
- (1)
F[∂tu(t; ·)] = ∂tF[u(t; ·)], t ∈ (0; T]
- (2)
u(t; x) = f∗G(t, 0; x), (t; x) ∈ Π(0; T]
These results will help us to determine the correct solvability of the corresponding modified Cauchy problem (1) and (9), which will be considered in Section 3.
3. The Modified Cauchy Problem
We shall solve the obtained problem (1) and (9) by the Fourier transform method.
Then, taking into account the statement of Theorem 1, to prove the correct solvability of the original problem (1) and (9), it will be enough to substantiate the belonging of the functional to the space Φ′ and its real-valuedness. For this, it would obviously be enough to show that the function is a multiplier in the space F[Φ].
Definition 2. We assume that for problems (1) and (9), the following condition holds:
In particular, condition (27) for problem (1) and (9) will be satisfied if ν ∈ ℝn is such that
Indeed, directly from (3), we come to the estimate
Then, according to (28), we have
If the symbol P(t; ·) of equation (1) for each t ∈ [0; T] acquires only valid values on ℝn, then condition (27) will already be satisfied for all .
Lemma 1. Suppose that condition (27) is satisfied for problem (1) and (9), then the corresponding function μν(·) is a multiplier in the space F[Φ].
Proof. To simplify the calculations, we present a scheme of proof for the case n = 1.
According to the well-known Faa di Bruno formula of the differentiation of a composite function
Hence, according to Stirling’s formula
Therefore, μν(·) is a multiplier in the space .
Now that we have relation (13), we obtain the statement of the original lemma.
The lemma is proved.
We summarize the previous reflections in the form of the following statement.
Theorem 2. Suppose that condition (27) is satisfied and f is a real-valued functional from the space Φ′, then the corresponding modified problem (1) and (9) on the set Π(0; T] is correctly solvable. Its solution u is determined by the following formula:
In this case, u(t; x) is a classical function on Π(0; T], which is once differentiable with respect to the variable t and infinitely differentiable with respect to the variable x, for which equality (21) on the set (0; T] is correct.
Taking into account the specificity of condition (9), for t∗ ≠ T there are two possible cases: t∗ < ti(impulse after-effect) and ti < t∗ (impulse preeffect).
We consider each of these cases separately.
4. The Problem with Impulse After-Effect
Let us consider here the situation when the impulse occurred after the “measurement” evolution u(t; ·) of the considered process, i.e., when t∗ < ti. In this case, on the set , we have problem (1), (9), and (10) for t∗ < ti.
We shall solve this problem thinking as follows.
Therefore, the following statement is correct.
Theorem 3. If condition (27) is satisfied and f is a real-valued functional from the space Φ′, then for t∗ < ti the corresponding problem (1), (9), and (10) on the set is correctly solved. Its solution u(t; x) is a classical function represented by formula (44). It is once differentiable with respect to the variable t and infinitely differentiable with respect to the variable x, and equality (21) on the set (0; T]\{ti} is correct.
5. The Problem with Impulse Preeffect
We consider now the case when the impulse occurs before the “measurement” evolution u(t; ·): ti < t∗. Then on the set we have problem (1), (9), and (10) for ti < t∗.
The next statement is correct.
Theorem 4. Let condition (27) be satisfied and f be a real-valued functional from the space Φ′. Then the corresponding problem (1), (9), and (10) for ti < t∗ on the set is correctly solvable and its solution u(t; x) is determined by the formula
In this case, u(t; x) is a classical function on , which is once differentiable with respect to the variable t and infinitely differentiable with respect to the variable x, for which equation (21) is correct on the set (0; T]\{ti}.
Proof. The Fourier transform operator F reduces problem (1), (9), and (10) to problem
According to the classical Cauchy theorem, all solutions of equation (46) on the set [τ; T] are described by the formula with a random function c(·). Then the general solution of equation (46) on the set [0; T]\{ti} is the set
From here and from conditions (47) and (48), we get the system
Provided that
Therefore, the function
Let condition (27) be satisfied. Then acting on equality (53) by the operator F−1, we obtain the solution of problem (1), (9), and (10)
This is easy to see, if we take into account equation (18), the properties of the function , statement of Lemma 1, and the known formula
Further, if t ∈ (0; ti], then
However, each of equations (57) and (58) determines the solution of the Cauchy problem (1) and (5) with the corresponding initial function on the corresponding time interval. Therefore, according to Theorem 1, the found function u is a classical solution of equation (1) on the set , besides this u(t; ·) ∈ ℂ∞(ℝn), (0; T]\{ti}, and the equality is satisfied
Now applying the convolution formula (43) to equation (55), we come to the image of the solution of problem (1), (9), and (10) in the form (45).
The theorem is proved.
In conclusion, we demonstrate the obtained results on the example of the classical equation of thermal conductivity (4). The fundamental solution of the Cauchy problem for (4) is a function
Since P(t; ξ) = −a2‖ξ‖2 ∈ ℝ, ξ ∈ ℝn, we choose ν > −1. This choice holds condition (27) for the corresponding task (4) and (9).
Equation (4) is a Shilov parabolic one, for which p = h = 2. Therefore, its fundamental solution is , t > 0.
Further, in the space , we have
The functional ϕ is a regular generalized function with generated by the element . Then, , in this case, the following equality is satisfied
If we now choose a really significant generalized function f, the δ-Dirac function from the space , for the initial one, is then
Hence, according to formula (36), we obtain the following classical solution of the corresponding modified Cauchy problem (4) and (9):
The solution u(t; ·) for each t > 0 is an element of the space .
For χ from ℝ, we have
Considering this, directly from formula (44), we arrive at the following solution of the modified Cauchy problem (4), (9), and (10) with impulse after-effect on the set :
Obviously, , t ∈ (0; ti), and u(t; ·) ∈ ℂ∞(ℝn), t > ti.
In a similar way from formula (45), we obtain the solution of the modified Cauchy problem (4), (9), and (10) with impulse preeffect on the set :
This solution is an element of the class ℂ∞(ℝn) for each t ∈ (0; +∞)\{ti}.
6. Conclusions
This research deals with a modified Cauchy problem for parabolic Shilov equations with variable coefficients, which arises at approximately solving the time-inverse parabolic problem. The correct solvability of this problem in a wide class of generalized initial data such as the Gelfant and Shilov distributions is determined. At that, the method of reducing the modified problem to the classical Cauchy problem is applied. This method allows obtaining important results about the solvability of the new problem in the form of corresponding consequences from the known statements about the Cauchy problem; this significantly simplifies the research process. Also, the correct solvability of this problem with the available single impulse is found. At the same time, the cases with impulse after-effect and preeffect in relation to the moment of “measurement” of evolution of the considered process are separately considered. For parabolic Shilov equations and in the case of the problem with impulse action, for parabolic Petrovsky equations as well, the results obtained here are new.
The formulae of classical solutions with generalized boundary values of these problems found here can be applied for virtual visualization of these processes using computer technology. They are also appropriate for numerical analysis using modern application packages. On the other hand, these results are important for further studies of parabolic equations with nonlocal and impulse conditions of a more general structure.
Conflicts of Interest
The author declares that he has no conflicts of interest.
Open Research
Data Availability
The data used in the research to support the findings of this study are purely bibliographic and from scientific publications, which are included in the article with their respective citations.