International Journal of Mathematics and Mathematical Sciences
Volume 2021 (2021), Article ID 5539676, 10 pages
https://doi.org/10.1155/2021/5539676

Research Article

Modified Cauchy Problem with Impulse Action for Parabolic Shilov Equations

Galina Unguryan

Yu Fed’kovych Chernivtsi National University, 2 Kotsubins’ky Street, 58012 Chernivtsi, Ukraine

Correspondence should be addressed to Galina Unguryan; galuna_unguryan@ukr.net

Received 20 January 2021; Revised 5 April 2021; Accepted 15 April 2021; Published 28 April 2021

Academic Editor: Sergejs Solovjovs

Copyright © 2021 Galina Unguryan. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

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

In the medium , we consider a certain process whose evolution during the time is described by the partial differential equation:

in which

differential expression of order with continuous coefficients on the set . Here, is an imaginary unit, is a partial derivative of a variable of order , and is a real Euclidean space of dimension with a scalar product and norm .

We consider that equation (1) on the set is a uniformly parabolic Shilov equation with the index of parabolicity , , i.e., such that

A simpler example (1) is the classical thermal conductivity equation

with the Laplace operator , which describes the process of heat propagation or diffusion in the medium . This equation is also related to the random Wiener process. Its fundamental solution is the density distribution of the probability of motion of microscopic particles in a liquid or gas under the action of medium molecules.

If the initial state , , is known, this process at time , i.e., the initial condition is set,

then to find its evolution we get the Cauchy problem (1) and (5).

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].

The Cauchy problem is a so-called direct problem. However, in many cases, there is a situation when it is necessary to study the evolution of the process described by equation (1), based only on the known information about its final (or intermediate) state in time:

for example, astrophysical problems concerning the celestial bodies study and some problems of thermophysics, diffusion, demography, and mathematical biology (see [20–23]). Problem (1) and (6) is called an inverse problem. Usually, such a problem is incorrectly set by Hadamard [24].

Among the existing methods for solving the inverse problem of thermal conductivity, the method of quasireversibility should be noted [25]. However, this method is associated with an increase in the order of the original differential equation, which leads to significant difficulties in its numerical implementation. The Tikhonov regularization method for solving the equivalent integral equation [24] is an alternative to the quasireversibility method. In [26], developing Tikhonov’s idea, a method for finding an approximate solution of the inverse thermal conductivity problem is proposed. It is based on the replacement of this problem by a corresponding problem with a nonlocal by time condition, in which a partial shift of the condition is carried out at at the initial moment :

where is a known parameter.

For parabolic Petrovsky equations, i.e., equation (1), in which , 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 still remain in the state of expectation.

It should be noted that (1) and (6) is the problem of studying the evolution of a process in the past on the interval based on the data available about it , , at the moment of time . However, if the information about the evolution of this process is also important for us in the near future, then we should already consider the problem for equation (1) with the condition

for . In this regard, the corresponding condition (7) takes the form

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.

Let us return to the inverse problem (1) and (8). Suppose that we somehow managed to find out that at a certain point in time , , the process in question (1) was (or will be) subjected to a momentum effect of units. Then, model (1) and (8) must be supplemented by an additional impulse condition

where and . In this case, if , then problem (1), (8), and (10) is naturally called an inverse problem with an impulse precursor, in other words, an inverse problem with an impulse after-effect.

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 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 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 be a class of all functions infinitely differentiable on and be the space of L. Schwartz elements from rapidly fall to infinity, and is the corresponding space of Schwartz distributions [40]. The set of all -dimensional multi-indices is denoted by . And let , , if , .

For and ,

The sets , , and with corresponding topologies [40] are countably normalized complete perfect spaces, which are called Gelfand and Shilov spaces of the type .

The correct topological relationship is [41].

The space is nontrivial for and consists only of those functions that satisfy the inequality

with positive constants , , and , dependent on the function only [40].

In spaces of the type , continuous addition, multiplication, convolution, and the operator of the Fourier transform are defined, and the following topological equations are satisfied [40]: , , and .

We shall denote by the space topologically conjugate to the space , where and .

For and , the following continuous inclusions are satisfied [40]:

The Fourier transform of the generalized function and the convolution of the elements are determined by the relations [40]:

where the angle brackets indicate the effect of the generalized function on the basic one.

The convolution operation of the generalized function with the main function is determined by the equality

The convolution is a classic function from the class [40].

It is obvious that the convolution operation in the space will exist if the generalized function is a convoluter in the space , i.e., it is such that

(1)(2)The convolution operation with the elements is continuous in the space

From here we come to the equality , from which it becomes clear that the element is a convoluter in only when its Fourier transform is —a multiplier in the corresponding space .

The following criterion of the multiplier [6, 7] is correct: let , , then to be a multiplier in the space , it is necessary and important for the function that for each fixed , , the product belongs to the space .

In [6], the properties of the function are studied, in particular, the belonging of to the space for each fixed , and the following estimates are obtained:

with positive constants , , , and . Here, , if and at .

We consider the Cauchy problem for equation (1) with the initial condition (5), in which is a functional from the space .

Definition 1. The solution of the Cauchy problem (1) and (5) on the set is the function , which on 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 .
The next statement is correct.

Theorem 1 (see [6]). Let be a real functional from the space , then the corresponding Cauchy problem (1) and (5) on the set is correctly solvable and its solution is differentiable with respect to the variable and infinitely differentiable with respect to the variable , for which the following conditions are satisfied:

(1)(2)

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.

At the end of this section, we comment on conditions (1) and (2) of Theorem 1 for a better understanding of our further considerations. Since , , then according to equation (15), the solution of the Cauchy problem (1) and (5) is determined by the formula

with

while the equality

is considered in the space .

3. The Modified Cauchy Problem

We arbitrarily fix the real-valued functional from the space , and for equation (1), we set the modified initial condition (9), which, considering the differentiability of the function at the point , we regard as a weak convergence in :

We shall solve the obtained problem (1) and (9) by the Fourier transform method.

To do this, we write the corresponding dual Fourier problem:

where .

According to the classical Cauchy theorem, all solutions of equation (23) are described by the formula with an arbitrary function . Hence, for , , we arrive at the equivalence of the condition (24) to the following initial condition:

Thus, for , , the dual Fourier problem (23) and (24) is equivalent to the Cauchy problem (23) and (25), and the only solution to these problems is the function

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 .

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 is such that

where is the corresponding constant from the condition of parabolicity (3).
Indeed, directly from (3), we come to the estimate

Then, according to (28), we have

If the symbol of equation (1) for each acquires only valid values on , 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 .

Proof. To simplify the calculations, we present a scheme of proof for the case .
According to the well-known Faa di Bruno formula of the differentiation of a composite function

where the sign of the sum extends to all integer nonnegative solutions of the equation , and , we obtain that

Hence, according to Stirling’s formula

and the estimates (16),

we find out the existence of positive constants and , such that for all and , the following inequality is fulfilled:

which in combination with the estimate (16) ensures that the product belongs to the space for each fixed .
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 is a real-valued functional from the space , then the corresponding modified problem (1) and (9) on the set is correctly solvable. Its solution is determined by the following formula:

In this case, is a classical function on , which is once differentiable with respect to the variable and infinitely differentiable with respect to the variable , for which equality (21) on the set is correct.

We now turn to consider the modified Cauchy problem (1) and (9) with a single impulse action that occurs at time . In this case, equation (1) will be considered on the set with an additional impulse condition (10), in which . We assume that the solution at the point is continuous on the left. Then we understand condition (10) in the following limiting limiting sense:

Taking into account the specificity of condition (9), for there are two possible cases: (impulse after-effect) and (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 of the considered process, i.e., when . In this case, on the set , we have problem (1), (9), and (10) for .

We shall solve this problem thinking as follows.

If we take into account the continuity on the left of the function at the point , then on the time interval the initial problem (1), (9), and (10) obviously reduces to problem (1) and (9) with . Then, according to Theorem 2, under the appropriate conditions, the desired solution can be written as

with this solution being unique on the set .

Further, the impulse condition (10) takes the form

where —regular functionality from the space . Therefore, finding the solution of problem (1), (9), and (10) on the interval is reduced to solving the Cauchy problem (1) and (39) on the set . Using the statement of Theorem 1, we find that

and this solution is also unique on .

The use of the Heaviside function

enables to write the found solution on the set in the form

Hence, according to the convolution formula

we get

Therefore, the following statement is correct.

Theorem 3. If condition (27) is satisfied and is a real-valued functional from the space , then for the corresponding problem (1), (9), and (10) on the set is correctly solved. Its solution is a classical function represented by formula (44). It is once differentiable with respect to the variable and infinitely differentiable with respect to the variable , and equality (21) on the set is correct.

5. The Problem with Impulse Preeffect

We consider now the case when the impulse occurs before the “measurement” evolution : . Then on the set we have problem (1), (9), and (10) for .

The next statement is correct.

Theorem 4. Let condition (27) be satisfied and be a real-valued functional from the space . Then the corresponding problem (1), (9), and (10) for on the set is correctly solvable and its solution is determined by the formula

In this case, is a classical function on , which is once differentiable with respect to the variable and infinitely differentiable with respect to the variable , for which equation (21) is correct on the set .

Proof. The Fourier transform operator reduces problem (1), (9), and (10) to problem

where .
According to the classical Cauchy theorem, all solutions of equation (46) on the set are described by the formula with a random function . Then the general solution of equation (46) on the set is the set

with random functions .
From here and from conditions (47) and (48), we get the system

to find the quantities for which the function from equality (49) is the solution to problem (46)–(48).
Provided that

system (50) has a single solution

Therefore, the function

is the only solution of problem (46)–(48).
Let condition (27) be satisfied. Then acting on equality (53) by the operator , we obtain the solution of problem (1), (9), and (10)

which is also the only one. This solution allows images

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 , then

and, if , 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 is a classical solution of equation (1) on the set , besides this , , 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

with

Since , , we choose . This choice holds condition (27) for the corresponding task (4) and (9).
Equation (4) is a Shilov parabolic one, for which . Therefore, its fundamental solution is , .
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 , 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 for each 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, , , and , .
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 for each .

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.

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.

Conflicts of Interest

The author declares that he has no conflicts of interest.

References

G. E. Shilov, “On conditions of correctness of Cauchy’s problem for systems of partial differential equations with constant coefficients,” Uspekhi Matematicheskikh Nauk, vol. 10, no. 4, pp. 89–100, 1955, in Russian.

I. Gel’fand and G. Shilov, “Generalized functions,” Theory of Differential Equations, Academic Press, Boston, MA, USA, 1967.

S. D. Eidelman, S. D. Ivasishen, and F. O. Porper, “The Liouville theorems for systems parabolic by Shilov,” Central European Journal of Mathematics, vol. 169, no. 6, p. 179, 1961, in Russian.

V. V. Gorodetskii, “The Cauchy problem for Shilov parabolic equations in classes of generalized periodic functions,” Central European Journal of Mathematics, vol. 10, no. 5, pp. 82–84, 1988, in Russian.

V. V. Gorodetskii, “Some theorems on stabilization of solutions of the Cauchy problem for Shilov parabolic systems in classes of generalized functions,” Ukrainian Mathematical Journal, vol. 40, no. 1, pp. 43–48, 1988, in Russian.

V. A. Litovchenko, “The Cauchy problem for Shilov parabolic equations,” Siberian Mathematical Journal, vol. 45, no. 4, pp. 669–679, 2004.

V. A. Litovchenko, “Cauchy problem for -parabolic equations with time-dependent coefficients,” Mathematical Notes, vol. 77, no. 3-4, pp. 364–379, 2005.

V. A. Litovchenko, “One method for the investigation of fundamental solution of the Cauchy problem for parabolic systems,” Ukrainian Mathematical Journal, vol. 70, pp. 922–934, 2018.

Q. Zheng, “Matrices of operators and regularized cosine functions,” Journal of Mathematical Analysis and Applications, vol. 315, no. 1, pp. 68–75, 2006.

M. Kostic, “Shilov Parabolic Systems,” Bulletin, vol. 37, pp. 19–39, 2012.

Y. I. Zhitomirskii, “Cauchy problem for some types of systems of linear equations, which are parabolic by G.E. Shilov, with partial derivatives with continuous coefficients,” Izvestiya Rossiiskoi Akademii Nauk, vol. 23, pp. 925–932, 1959, in Russian.

V. A. Litovchenko and I. M. Dovzhitska, “The fundamental matrix of solutions of the Cauchy problem for a class of parabolic systems of the Shilov type with variable coefficients,” Journal of Mathematical Sciences, vol. 175, no. 4, pp. 450–476, 2011.

V. A. Litovchenko and I. M. Dovzhytska, “Cauchy problem for a class of parabolic systems of Shilov type with variable coefficients,” Central European Journal of Mathematics, vol. 10, no. 3, pp. 1084–1102, 2012.

V. A. Litovchenko and I. M. Dovzhytska, “Stabilization of solutions to Shilov-type parabolic systems with nonnegative genus,” Siber Mathematics Journal, vol. 55, no. 2, pp. 276–283, 2014.

V. A. Litovchenko and G. M. Unguryan, “Conjugate Cauchy problem for parabolic Shilov type systems with nonnegative genus,” Differential Equations, vol. 54, no. 3, pp. 335–351, 2018.

V. Litovchenko and G. Unguryan, “Some properties of Green’s functions of Shilov-type parabolic systems,” Miskolc Mathematical Notes, vol. 20, no. 1, pp. 365–379, 2019.

I. G. Petrovskii, “On the Cauchy problem for systems of equations with partial derivatives in a domain of nonanalytic functions,” Bulletin, vol. 1, no. 7, pp. 1–72, 1938, in Russian.

S. D. Eidelman, Parabolic Systems, North-Holland, Amsterdam, Netherland, 1969.

A. Friedman, Partial Differential Equations of Parabolic Type, Prentice-Hall, Englewood Cliffs, NJ, USA, 1964.

J. R. Cannon and J. van der Hoek, “Diffusion subject to the specification of mass,” Journal of Mathematical Analysis and Applications, vol. 115, no. 2, pp. 517–529, 1986.

A. M. Nakhushev, Equations of Mathematical Biology, Springer, Berlin, Germany, 1995, in Russian.

I. A. Belavin, S. P. Kapitsa, and S. P. Kurdyumov, “Mathematical model of global demographic processes taking into account spatial distribution,” Computational Mathematics and Mathematical Physics, vol. 38, no. 6, pp. 885–902, 1998, in Russian.

S. M. Alekseeva and N. I. Yurchuk, “The quasi-inversion method for the initial condition control problem for the heat equation with integral boundary condition,” Differential Equation, vol. 34, no. 4, pp. 495–502, 1998, in Russian.

A. N. Tikhonov and V. Y. Arsenin, Methods for Solving Incorrect Problems, Springer, Berlin, Germany, 1979, in Russian.

R. Lattes and J.-L. Lions, Methode de quasi-reversibilite et applications, Dunod, Paris, France, 1967.

P. N. Vabishchevich, “Nonlocal parabolic problems and the inverse problem of thermal conductivity,” Differential Equation, vol. 17, no. 7, pp. 1193–1199, 1981, in Russian.

N. I. Ivanchov, “Boundary value problems for a parabolic equation with Integral Conditions,” Differential equation, vol. 40, pp. 591–609, 2004.

J. Chabrowski, “On the non-local problems with a functional for parabolic equation,” Funckcialaj Ekvacioj, vol. 27, pp. 101–123, 1984.

V. V. Shelukhin, “Time-nonlocal problem for the equations of the dynamics of a barotropic ocean,” Siber Mathematics Journal, vol. 36, no. 3, pp. 701–724, 1995, in Russian.

V. V. Gorodetskiy, R. S. Kolisnyk, and O. V. Martynyuk, “On a nonlocal problem for partial diferential equations of parabolic type,” Bukovinian Mathematics Journal, vol. 8, no. 2, pp. 24–39, 2020.

V. Lakshmikantham and D. D. Bainov, Simeonov Theory of Impulsive Differential Equations, World Scientific, Singapore, 1989.

A. M. Samoilenko and N. A. Perestyuk, Impulsive Differential Equations, World Scientific, Singapore, 1995.

V. E. Slyusarchuk, “General theorems on the existence and uniqueness of solutions of differential equations with impulsive action,” Ukrainian Mathematical Journal, vol. 52, no. 7, pp. 954–964, 2000, in Russian.

B. Radhakrishnan and K. Balachandran, “Controllability results for semilinear impulsive integrodifferential evolution systems with nonlocal conditions,” Journal of Control Theory and Applications, vol. 10, no. 1, pp. 28–34, 2012.

H. Leiva and N. Merentes, “Approximate controllability of the impulsive semilinear heat equation,” Journal of Mathematics and Applications, vol. 38, pp. 85–104, 2015.

H. Leiva, M. Narvaez, and Z. Sivoli, “Controllability of impulsive semilinear stochastic heat equation with delay,” International Journal of Differential Equations, vol. 2020, Article ID 2515160, 10 pages, 2020.

M. I. Matiichuk and V. M. Luchko, “Cauchy problem for parabolic systems with pulse action,” Ukrainian Mathematical Journal, vol. 58, no. 11, pp. 1525–1535, 2006.

L. P. Luo, Y. Q. Wang, and Z. G. Gong, “New criteria for oscillation of vector parabolic equations with the influence of impulse and delay,” Acta Scientiarum Naturalium Universitatis Sunyatseni, vol. 51, no. 2, pp. 45–48, 2012.

I. D. Pukal’skii and B. O. Yashan, “The Cauchy problem for parabolic equations with degeneration,” Advances in Mathematical Physics, vol. 2020, Article ID 1245143, 7 pages, 2020.

I. M. Gel’fand and G. E. Shilov, “Spaces of basic and generalized functions,” Elsevier, Amsterdam, Netherlands, 1958, in Russian.

A. I. Kashpirovsky, “About coincidence of spaces and Functional analysis and its application,” vol. 14, no. 2, pp. 60–72, 1980, in Russian.