- About this Journal ·
- Abstracting and Indexing ·
- Aims and Scope ·
- Annual Issues ·
- Article Processing Charges ·
- Author Guidelines ·
- Bibliographic Information ·
- Citations to this Journal ·
- Contact Information ·
- Editorial Board ·
- Editorial Workflow ·
- Free eTOC Alerts ·
- Publication Ethics ·
- Recently Accepted Articles ·
- Reviewers Acknowledgment ·
- Submit a Manuscript ·
- Subscription Information ·
- Table of Contents
Abstract and Applied Analysis
Volume 2013 (2013), Article ID 941878, 10 pages
Global-in-Time Asymptotic Solutions to Kolmogorov-Feller-Type Parabolic Pseudodifferential Equations with Small Parameter—Forward- and Backward-in-Time Motion
Moscow Institute of Electronics and Mathematics, National Research University “Higher School of Economics”, B. Trekhsvyatitel'skii Per. 3, Moscow 109028, Russia
Received 31 January 2013; Accepted 2 April 2013
Academic Editor: Allan Peterson
Copyright © 2013 V. G. Danilov. 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.
We discuss the construction of solutions to the inverse Cauchy problem by using characteristics.
1. Forward-in-Time Motion
The goal of the present paper is to present a new approach to the construction of asymptotic (approximating) solutions for parabolic PDE by using bicharacteristics. This approach allows one to construct global-in-time solutions not only to the usual Cauchy problems, but also for the inverse problems. We will work with Kolmogorov-Feller-type equations with diffusion and jump terms. The equation under consideration has the form: where is the symbol of the Kolmogorov-Feller operator and is a small parameter characterizing the frequency and the amplitude of jumps of the Markov stochastic process with transition probability given by . To be more precise, we will keep in mind the following form of : where is a positive smooth matrix and is a family of positive bounded measures smooth in such that and is smooth in . The construction of a forward-in-time global asymptotic solution to equations of this type was developed by Maslov, [1–3]; for a version of this construction, see also [4–6]. Maslov’s approach is based on ideas similar to the ideas used in his famous canonical operator construction (or in the later and similar theory of Fourier integral operators). This construction is based on some integral representations and cannot be used to construct backward-in-time solutions. Another approach to the construction of global asymptotic solutions was suggested in  and is based on the construction of generalized solutions to the continuity equation in a discontinuous velocity field .
In the present paper, we develop an algorithm for constructing asymptotic solutions. Some steps of this algorithm are rigorously justified only in the one-dimensional case, but all the required facts can be checked “experimentally,” while the problem is considered in the multidimensional case. Therefore, we give general formulations but sometimes prove them only in the one-dimensional case.
We assume that the solutions under consideration admit the following limits:(1) the logarithmic pointwise limit . We denote this limit by and assume that it is a piecewise smooth function with bounded first derivatives and singular support in the form of a stratified manifold .(2) the weak limit of the expression . We denote it by and assume that is the sum of a function smooth outside () and the Dirac function on . Note that here we deal with the limit in the weighted weak sense.
If and are smooth functions, then the following representation is true (in the usual sense):
Definition 1. A solution to the Cauchy problem under consideration is called a generalized WKB solution if it satisfies conditions (1) and (2).
Example 2. One can see that if where is a smooth function, , then the WKB-like approach can be used (Kifer, ; Maslov, [1–3]). This gives an asymptotic (approximating) solution of the form (cf. ) for arbitrary . Here, is the solution to the Cauchy problem for the Hamilton-Jacobi equation and is the solution to the transport equation Both of the solutions and are defined via solutions of the Hamiltonian system
They are smooth, while
There are symplectic geometry objects corresponding to this construction:(1)the phase space ,(2)a Lagrangian manifold , where is a shift mapping along the Hamiltonian system trajectories,(3)the projection mapping with Jacobi matrix .
The main assumption that we must prove is the following one.
The Hamiltonian system trajectories form a fibration of the phase space (at least in the area of the phase space where we are working).
Theorem 3. The inequality is necessary and sufficient for the estimate where as and the function is a solution to the Hamilton-Jacobi equation with Hamiltonian .
It is easy to verify that the function —the symbol introduced above—satisfies the inequality mentioned in the theorem.
Example 4. In the special case corresponding to Example 2, we have
The corresponding system is
Its solution has the form
One can see that there are three values of at the point in the last case. This means that we can present an asymptotic solution near this point as the linear combination where each of the functions , and , satisfy the equation with the same accuracy. But the functions themselves are not equivalent in contrast to the hyperbolic case.
For example, it is clear that if the inequality holds at a certain point , then the “WKB” solutions and at the point satisfy the relation where is an arbitrary number. This follows from the fact that the difference in parentheses in the exponent is positive.
Thus, at each point in formula (17), it is necessary to choose the term, where the function is minimal. Such a choice leads to an expression of the form where . It is clear that the expression (20) is the leading term of the approximate solution.
The corresponding Lagrangian manifold is shown in Figure 4.
The vertical line is located so that the dashed squares are equal to each other; see Figure 4.
It is interesting to note that, in the one-dimensional case, there is a direct connection between the Hamilton-Jacobi equation and conservation law of the form where and the velocity of the vertical line is defined by the Rankine-Hugoniot condition corresponding to the conservation law. If the Lagrangian manifold has a jump, then the first derivative of the corresponding value function also has a jump.
Thus, we can state that the Lagrangian manifold is a key point for construction and investigation of asymptotic solutions.
It follows from the real analyticity assumption for all objects that there is no “concentration of singularities,” that is, each of them can be considered separately in a certain sense, and one can construct a value function as a solution of the Hamilton-Jacobi-Bellman equation.
What about the amplitude function? As was mentioned above, it is a solution of the transport equation
Generally, the velocity field calculated from the Hamiltonian system has a jump simultaneously with a jump in (and then in ). Thus, the problem (which is still open!) is to solve the transport equation in a discontinuous velocity field. We avoid this problem by considering a squared solution of the transport equation . Madelung  (about 100 years ago!) noticed that it satisfies the continuity equation in the smooth case.
Our case is more complicated, namely, we again have a discontinuous velocity field. There are a few approaches to the solution of this problem: the theory of measure solutions [12–17], the box approximation , the weak asymptotics method [19–22], the method of generalized characteristics [23–25]. The last approach allows one to construct a solution to the continuity equation in the case where the singular support of the velocity field is a stratified manifold with smooth strata which are transversal to the (incoming!) trajectories of the velocity field.
If the singular support of the velocity field preserves its structure on some time interval (the mapping of the singular support induced by a shift along the Hamiltonian flow is a diffeomorphism), then one can show that the singular support of the velocity field has the required structure. If the structure is changing (e.g., a jump appears see Figures 5 and 4, the last step of evolution with time), then one can use the weak asymptotics method to construct the global solution to the Hamilton-Jacobi and continuity equations. This approach is based on a “new method of (generalized) characteristics” constructed by Danilov and Mitrovic [23–25] in the case where the strata of the singular support are of codimension 1.
The main idea of this approach is to consider the singularity creation as the result of interaction of solitary nonlinear waves.
A simple example is the Hamiltonian flow corresponding to the heat equation in the previous example. The Hamilton-Jacobi equation in this case is equivalent to the Hopf equation for the momentum :
The solution in this example has the form and is plotted below in Figure 8 (here, is the Heaviside function, and ).
To consider we have to calculate the product
Here, the following equality holds: where is a new small parameter and is a small quantity in the sense of distributions, for each which is a test function. The time evolution of the function is such that the slanting intercept of the straight line preserves its shape until it takes vertical position, and then a jump propagates. This means that at every instant of time the solution anzatz can be presented in the form of a linear combination of Heaviside functions. This allows one to use a formula expressing the product of Heaviside functions as their linear combination up to a remainder, that is, small in the -sense. Hence, we conclude that the functions and (the latter up to a small quantity) uniformly in-time belong to the same linear space; for detail, see [23–26]. This allows one to apply the same procedure as in [23–26] to solve this problem uniformly in-time.
Taking , , at some initial instant of time and choosing an interval to include the point of overturning, we obtain a small correction to our Lagrangian manifold, that is, negligible as . But this correction allows one to apply the above technique for constructing the global-in-time solution describing the singularity appearance in the framework of the method of characteristics. In this framework we have new nonintersecting characteristics (Figure 7) instead of classical intersecting characteristics (Figure 6).
It remains to explain how we can go back from a generalized solution of the continuity equation to a solution of the transport equation. As was shown in [12, 13, 15–17] and in other papers listed above, the generalized solution to the continuity equation in this case has the form where is a smooth function outside , is a stratified manifold (singular support) of coinciding with the singular support of , is a function whose domain is , and is the Dirac -function on . Using the algorithm given in [23–26], one does not obtain expression (31) but obtains its regularization, where the key point is the regularization of the -function. Here, the following lemma can be used.
Lemma 5. Let , and let , . Let also the following estimate hold:
Then, in one has(i), (ii).
Proof. Let . Then, we make the change of variables , , and for all test functions we obtain
where . The last integral converges due to (32), and we obtain the first statement of the lemma with
where is the Leray measure on the surface . The general case can be considered similarly (also see ).
Using the same procedure for item (ii), we obtain Hence, the proof of the lemma is complete.
Now, we can consider the case of stratified manifold.
Each th stratum can be presented as a level surface for some function , and we can use the statement of the above lemma for each stratum.
Here, the last remark concerns expression (31). We have and the above considerations lead to the following conclusion: or in the limit form and in the weak sense to
Thus, we can prove the following theorem.
Theorem 6. Suppose that the following conditions are satisfied for , :(1)there exists a smooth solution of the Hamiltonian system,(2)the singularities of the velocity field
form a stratified manifold with smooth strata and .
Then, there exists a generalized solution of the Cauchy problem for the continuity equation in the sense of the integral identity introduced in [21, 22], and at the points where the projection is bijective, the asymptotic solution of the Cauchy problem for Kolmogorov-Feller-type equation has the form
2. Backward-in-Time Motion
As was shown above, all that we need to go forward-in-time is the Hamiltonian system:
We change the time direction as , and then we have
We want to solve the inverse problem: The right-hand sides are considered as given data, and we are looking for and for . Obviously, in our case, the solutions have the form We draw the following conclusion: the “same” trajectories can be used to move forward and backward in time. But the incoming trajectories become outcoming ones, and vice versa.
Corollary 7. Stable jumps become unstable.
But if there are no jumps (no singularities of the projection mapping ), then our geometry (and the asymptotic solution!) is invertible in-time. This means that if we take the Cauchy problem solution for the parabolic PDE such that then the leading term of the asymptotic solution for has the “WKB” form Then, taking the last function as the initial data for the parabolic PDE in the inverse time (let be its asymptotic solution), we obtain (recall that is an instant of inverse time) And surely these initial data will give the same leading term of the asymptotic solution for . We want to stress once again that this statement is true if the projection mapping has no singularities. But a jump brings problems.
By “measurements” one cannot recognize a multivalued function (see Figure 3 and (17)). It is possible to “see” only the function , and thus only a Lagrangian manifold with a jump can be determined. Of course, one can try to make a smooth regularization of the jump like it is shown in Figure 9 (the left-hand side) with equal squares of dashed areas, but obviously such a regularization is not unique. It is interesting to note that if one uses a manifold with a jump, then the problem of backward-in-time motion becomes similar to the well-known problem of unstable jump decay.
By reconstruction of the Lagrangian manifold, we mean the following. We choose an approximation of a jump by a smooth curve and then move the whole curve (Lagrangian manifold) backward-in-time along characteristics (42). After that if the projection map to -axis is not unique, we form a jump as a vertical segment with the condition of equal squares; see, for example, Figure 4. The last rule means that the action function corresponding to the shifted manifold is continuous. This property can be used to construct a Lagrangian manifold shifted backward-in-time in a multidimensional case, but we do not explain this here.
It is clear that all points of the Lagrangian manifold shifted backwards which are not the shifted points of a regularization curve (do not lie under the “terra incognita”) coincide with the points of the initial Lagrangian manifold corresponding to generalized WKB solution (if such a solution exists) at . Generally speaking, the one-to-one correspondence between the global-in-time generalized WKB solutions (more precisely, their logarithmic week limits) and the Lagrangian manifolds in the form that we are using does not hold. But we will assume that we are working with a subset of generalized WKB solutions which uniquely correspond to stratified Lagrangian manifolds globally in-time. Under this assumption and previous explanations we can uniquely reconstruct the Lagrangian manifold and the leading term of corresponding generalized WKB solution outside the “terra incognita.”
But fortunately we can move ahead using the weak sense considerations. The main point is that it may happen that the function does not attain its minimum (maximum) inside the “terra incognita.” This allows one to calculate the integrals containing the reconstructed solution without taking the “terra incognita” into account in the case where the integrand support contains this “terra incognita”, and we can formulate the following statement.
Theorem 8. Let the symbol defined by (2) be such that the function and the measure do not depend on and . Let be a solution of the Cauchy problem for a Kolmogorov-Feller-type equation. Suppose that, for some , the logarithmic limit (action function) and the generalized amplitude exist.
Let the singular support of be a stratified manifold , , has the form (31), and, be the regular part of the generalized solution to the continuity equation in the sense of distributions. Then, for an arbitrary test function from the Schwartz space and for all , the limit as of the integral is equal to , where .
In fact, these statements mean that from the viewpoint of the weak sense (momentum), the density reconstructed outside the “terra incognita” can be used in the same manner as the leading term of the asymptotic solution constructed earlier by Maslov’s tunnel canonical operator and its modifications, [1–6].
Before we explain how to prove this statement, we briefly recall the essence of the Laplace method which is the main tool for investigating the integrals considered in the theorem.
This approach was developed to calculate integrals of the form where is either a closed domain in or an interval. The leading term of as is the sum of terms corresponding to the points at which the function attains its minimal values.
For , one has either (1) , where and , ,
or(2) , where , .
If is an interior point of , then
Below, we consider the case where (for one spatial variable) the point of the function minimal value is an interior point of the segment , but the functions and are only piecewise continuous with jumps of derivatives (for ) and with jumps of the function and its derivatives at . In this case, formula (1) should be modified as where and are the values of corresponding functions and derivatives from the right (−) and from the left (−).
Any way, the above considerations lead to the following conclusion: under the assumption that the minimum of is attained on the boundary of the domain of integration, the value of the integral (with a high accuracy) depends only on the boundary values of the integrand (and its derivatives as well).
Now, I will briefly outline the proofs of the above statement. about invertibility in time. It can be divided in two parts. The first is to prove that, for all smooth reconstructions of the Lagrangian manifold in the “terra incognita” domain; the corresponding function (for some fixed ) cannot attain its minimum value inside this domain, see the lemma below. This allows one to use the Laplace method to calculate the integrals mentioned in that statements taking into account that, due to this method and the lemma, the results of these calculations do not depend on the integrand values inside the “terra incognita” domain. The proof is finished by taking account of the estimate which is true outside the singular support of the function ; see the theorem above.
We will concentrate our efforts on one-dimensional considerations and the case with the symbol .
Now, I formulate the lemma as follows.
Lemma 9. Let the symbol defined by (2) be such that the function and the measure do not depend on . Then the function , which is the action function corresponding to the Lagrangian manifold, cannot attain the minimal value inside the “terra incognita” domains.
We begin our consideration with a special case where the operator symbol does not depend on and restrict ourselves to the study of the one-dimensional case. Let be an interval inside the “terra incognita” domain, and let . We prove this by contradiction. First, we describe the “terra incognita” domain. It is easy to see that the upper end of the jump segment moves with horizontal speed and the lower end moves with the speed , where are -coordinates of the upper (+) and lower (−) ends. At the same time, the horizontal speed of a jump is
By the assumption , we immediately obtain The last inequality describes the “terra incognita,” which is a set of points between projections of the jump upper and lower ends shifted backwards. Let us consider some instant of time and take the obtained manifold as the initial one. It is clear that for each projection of the trajectory starting inside the “terra incognita,” there is another (at least one) projection of the trajectory starting inside the “terra incognita” which intersects with the first one. It follows from the picture in Figure 9 that each point on the boundary of the dashed domain has at least another one with the same projection on the -axis. This means that along each projection of the trajectory starting inside the “terra incognita,” the Jacobian is equal to zero at some instant of time.
Assume that the function attains its minimal value at the point ( is a “terra incognita” domain). We prove that the following inequality is true along the trajectory of the Hamiltonian system whose projection starts at : This inequality leads to contradiction because, by assumption, belongs to the “terra incognita” domain, and hence it belongs to the projection of the image of the singular (vertical) part of the Lagrangian manifold under a backward-in-time shift along the trajectories of the Hamiltonian system. In turn, this means that the projections of all trajectories such that the starting points of their projections belong to the “terra incognita” must intersect at a point in the case of the forward-in-time motion. So, the above inequality, leads to a contradiction. To prove this inequality let us write the projection of the Hamiltonian system trajectory starting at . It has the form It is clear that . Thus, Taking into account the fact that because of convexity of and due to the assumption that is a point of minimal value, we obtain the required inequality (55). The multidimensional case differs from this case in that the scalar values and must be replaced by vectors (gradients). In turn, this leads to matrix inequality in (58) and (59). The problem is to derive that the eigenvalues of the matrix are nonnegative by using (58) and (59). For this, we can make a change of variables that reduces the matrix to diagonal form. This transformation induces the corresponding transformation in the -plane that transforms the matrix into a new symmetric positive matrix. Now, we note that the principal minors of the new matrix product are products of matrix-factor principal minors (because the second has diagonal form). The determinants of the matrix-factor principal minors are nonnegative, so the spectrum of the matrix is also nonnegative, and we again obtain (55). To finish our consideration, we have to investigate the case, where the symbol depends on . We again will stay at the point , where the function attains its minimum. If so, then and by assumptions, for .
The system for the matrices and follows from the Hamiltonian system and has the form Because of our assumptions (see the statement of the lemma), we have , , and . This means that, along the Hamiltonian system trajectory starting from the point , , we have and . Thus, along the trajectory mentioned above, (61) and (62) have the form Integrating with respect to , we can transform the first equation to the form of (56) and apply all above arguments concerning this equality. This ends the proof.
The statement of the lemma can be generalized as follows. Let be a linear function in ,
Then, instead of (64), we obtain where the matrix has diagonal form with elements equal to constants.
Then, Here, we used the fact that the matrix has diagonal form with positive eigenvalues.
Thus, we came to the relation with the same properties as (56). One can do more and extend the statement for the case of arbitrary drift at least for the symbol of the form (2). But up to now, the presence of a potential destroys our picture, and I will further think about this.
This study was carried out within The National Research University Higher School of Economics Academic Fund Program in 2013-2014, research Grant no. 12-01-0082.
- V. P. Maslov, “Global exponential asymptotic behavior of solutions of the tunnel equations and the problem of large deviations,” Trudy Matematicheskogo Instituta imeni V. A. Steklova, vol. 163, pp. 150–180, 1984 (Russian), International conference on analytical methods in number theory and analysis (Moscow, 1981).
- V. P. Maslov, Asymptotic Methods and Perturbation Theory, Nauka, Moscow, Russia, 1988.
- V. P. Maslov and V. E. Nazaĭkinskiĭ, “The tunnel canonical operator in thermodynamics,” Funktsional'nyi Analiz i ego Prilozheniya, vol. 40, no. 3, pp. 12–29, 2006.
- V. G. Danilov, “Asymptotics of nonoscillating fundamental solutions of -pseudodifferential equations,” Mathematical Notes, vol. 44, no. 3, pp. 406–409, 1988.
- V. G. Danilov and S. M. Frolovitchev, “Exact asymptotics of the density of the transition probability for discontinuous markov processes,” Mathematische Nachrichten, vol. 215, pp. 55–90, 2000.
- V. G. Danilov, “A representation of the delta function via creation operators and Gaussian exponentials, and multiplicative fundamental solution asymptotics for some parabolic pseudodifferential equations,” Russian Journal of Mathematical Physics, vol. 3, no. 1, pp. 25–40, 1995.
- S. Albeverio and V. G. Danilov, “Global in time solutions to Kolmogorov-Feller pseudodifferential equations with small parameter,” Russian Journal of Mathematical Physics, vol. 18, no. 1, pp. 10–25, 2011.
- V. G. Danilov, “On singularities of continuity equation solutions,” Nonlinear Analysis: Theory, Methods & Applications, vol. 68, no. 6, pp. 1640–1651, 2008.
- Yu. Kifer, “On the asymptotic behavior of transition densities of processes with small diffusion,” Theory of Probability and Its Applications, vol. 21, no. 3, pp. 527–536, 1976.
- V. Maslov and M. Fedoryuk, Semiclassical Approximation in Quantum Mechanics, Reidel, Dordrecht, The Netherlands, 1981.
- E. Madelung, “Quantentheorie in hydrodynamischer Form,” Zeitschrift für Physik, vol. 40, no. 3-4, pp. 322–326, 1927.
- P. LeFloch, “An existence and uniqueness result for two nonstrictly hyperbolic systems,” in Nonlinear Evolution Equations That Change Type, vol. 27 of IMA Vol. Math. Appl., pp. 126–138, Springer, New York, NY, USA, 1990.
- G. Dal Maso, P. G. Lefloch, and F. Murat, “Definition and weak stability of nonconservative products,” Journal de Mathématiques Pures et Appliquées, vol. 74, no. 6, pp. 483–548, 1995.
- H. Yang, “Riemann problems for a class of coupled hyperbolic systems of conservation laws,” Journal of Differential Equations, vol. 159, no. 2, pp. 447–484, 1999.
- B. T. Hayes and P. G. LeFloch, “Measure solutions to a strictly hyperbolic system of conservation laws,” Nonlinearity, vol. 9, no. 6, pp. 1547–1563, 1996.
- D. C. Tan, T. Zhang, T. Chang, and Y. X. Zheng, “Delta-Shock Waves as Limits of Vanishing Viscosity for Hyperbolic Systems of Conservation Laws,” Journal of Differential Equations, vol. 112, no. 1, pp. 1–32, 1994.
- H. Yang, “Riemann problems for a class of coupled hyperbolic systems of conservation laws,” Journal of Differential Equations, vol. 159, no. 2, pp. 447–484, 1999.
- M. Nedeljkov and M. Oberguggenberger, “Interactions of delta shock waves in a strictly hyperbolic system of conservation laws,” Journal of Mathematical Analysis and Applications, vol. 344, no. 2, pp. 1143–1157, 2008.
- S. Albeverio and V. M. Shelkovich, “On the delta-shock front problem,” in Analytical Approaches to Multidimensional Balance Laws, O. Rosanova, Ed., chapter 2, pp. 45–87, Nova Science Publishers, New York, NY, USA, 2006.
- V. G. Danilov and V. M. Shelkovich, “Propagation and interaction of shock waves of quasilinear equation,” Nonlinear Studies, vol. 8, no. 1, pp. 135–169, 2001.
- V. G. Danilov and V. M. Shelkovich, “Dynamics of propagation and interaction of δ-shock waves in conservation law systems,” Journal of Differential Equations, vol. 211, no. 2, pp. 333–381, 2005.
- V. G. Danilov and V. M. Shelkovich, “Delta-shock wave type solution of hyperbolic systems of conservation laws,” Quarterly of Applied Mathematics, vol. 63, no. 3, pp. 401–427, 2005.
- V. Danilov and D. Mitrovic, “Weak asymptotics of shock wave formation process,” Nonlinear Analysis, Theory, Methods and Applications, vol. 61, no. 4, pp. 613–635, 2005.
- V. G. Danilov and D. Mitrovic, “Delta shock wave formation in the case of triangular hyperbolic system of conservation laws,” Journal of Differential Equations, vol. 245, no. 12, pp. 3704–3734, 2008.
- V. G. Danilov and D. Mitrovic, “Shock wave formation process for a multidimensional scalar conservation law,” Quarterly of Applied Mathematics, vol. 69, no. 4, pp. 613–634, 2011.
- V. G. Danilov, “Generalized solutions describing singularity interaction,” International Journal of Mathematics and Mathematical Sciences, vol. 29, no. 8, pp. 481–494, 2002.
- F. W. J. Olver, Asymptotics and Special Functions, Computer Science and Applied Mathematics, Academic Press, New York, NY, USA, 1974.
- M. V. Fedoryuk, Saddle Point Method, Nauka, Moscow, Russia, 1977.