Abstract formulation of the Miura transform

Miura transform is known as the transformation between Korweg de-Vries equation and modified Korweg de-Vries equation. Its formal similarity to the Cole-Hopf transform has been noticed. This fact sheds light on the logarithmic type transformations as an origin of certain kind of nonlinearity in the soliton equations. In this article, based on the logarithmic representation of operators in infinite-dimensional Banach spaces, a structure common to both Miura and Cole-Hopf transforms is discussed. In conclusion, the Miura transform is generalized as the transform in abstract Banach spaces, and it is applied to the higher order abstract evolution equations.


Introduction
The Korteweg-de-Vries equation (KdV equation, for short) and the modified Korweg de-Vries equation (mKdV equation, for short) are known as a nonlinear equations holding the soliton solutions. Let u and v be the solutions of KdV equation and mKdV equation, respectively. Both equations, which are known as soliton equations, are nonlinear, and the functions u and v are assumed to be the general solutions that satisfy x v = 0 without identifying the details such as the initial and boundary conditions of the mixed problem. For a recent result associated with the well-posedness of the KdV equations, the existence and uniqueness of the solution of semilinear KdV equations in non-parabolic domain is obtained in [1] by using the parabolic regularization method, the Faedo-Galerkin method, and the approximation of a non-parabolic domain by a sequence of regularizable subdomains. Meanwhile interesting studies on the family of KdV-type equations have been recently carried out in [16]. Let a set of all the real numbers be denoted by R. Although u and v are functions of t ∈ R and x ∈ R, they are not apparently shown if there is no confusion. The Miura transform [15] which is formally the same as the Riccati's differential equation of a variable x if u is assumed to be a known function. In this article, the Miura transform is generalized as the transform in the abstract spaces.
which corresponds to v = ∂ x log ψ if log ψ and its derivative are well-defined. This is formally the same as the Cole-Hopf transform [3,4,8]. By applying this transform to the Miura transform, the Miura transform is written by If ψ and ∂ x ψ commute, This is the second order evolution equation in which u plays a role of infinitesimal generator, and the evolution direction is fixed to x. It is remarkable that, after the combination with the Cole-Hopf transform, the Miura transform M : u → ψ is a transform between nonlinear KdV equation and linear equation. In other words, it provides the transform between the evolution operator and its infinitesimal generator. In the following the obtained transform from u to ψ is called the combined Miura transform.

Miura transform and Cole-Hopf transform.
It is worth differentiating Eq. (2) for clarifying the identity of the Miura transform. Under the commutation assumption, the formal calculation without taking the differentiability into account leads to where the first term of the right hand side corresponds to the combined Miura transform, and the second term of the right hand side is the square of the Cole-Hopf transform. It simply means that ∂ 2 x (log ψ) being defined by the right hand side of (5) can be regarded by defining the the combined Miura transform and Cole-Hopf transform simultaneously. As is well known in the theory of integrable systems, ∂ 2 x (log ψ) corresponds to one typical type of Hirota's methods [5], thus a typical type of linear to nonlinear transformation. This type is known to be associated with the Bäcklund transform and KP theory (for a textbook, see [11]).

Logarithmic representation of infinitesimal generators.
Let X be a Banach space, B(X) is a space of bounded linear operators on X, and Y be a dense Banach subspace of X. The Cauchy problem for the first order abstract evolution equation of hyperbolic type [13,14] is defined by Y → X is assumed to be the infinitesimal generator of the evolution operator U (t, s) ∈ B(X) satisfying the strong continuity and the semigroup property: [19,12,18]) that is a generalization of one-parameter C 0 -semigroup and therefore an abstract generalization of the exponential function of operator. If A(t) is confirmed to be an infinitesimal generator, then the solution u(t) is represented by u(t) = U (t, s)u s with u s ∈ X for a certain 0 ≤ s ≤ T (cf. Hille-Yosida Theorem; for example, see [19,12,18]). Then, for a certain complex number κ, the alternative bounded infinitesimal generator a(t, s) = Log(U (t, s) + κI) to A(t) is well defined [6,7], where Log denotes the principal branch of logarithm.
Lemma 2.1 (Logarithmic representation of infinitesimal generators [6]). Let t and s satisfy 0 ≤ t, s ≤ T , and Y be a dense subspace of X. Let a(t, s) ∈ B(X) be defined by a(t, s) = LogU (t, s). If A(t) and U (t, s) commute, infinitesimal generators {A(t)} 0≤t≤T are represented by means of the logarithm function; there exists a certain complex number κ = 0 such that where u is an element of a dense subspace Y of X, and the logarithm of function is defined by the Riesz-Dunford integral.
Under the commutation relation between U (t, s) and A(t), where u is an element in Y .
The commutation assumption is trivially satisfied if A(t) is independent of t. Equation (7) is the logarithmic representation of infinitesimal generator A(t). This representation is the generalization of the Cole-Hopf transform [3,4].

Main result
3.1. Generalization of Miura transform. Let X be a Banach space, and Y be a dense Banach subspace of X . By focusing on establishing the definition of infinitesimal generator, the discussion is limited to the autonomous case. The Cauchy problem for the second order abstract evolution equation of hyperbolic type (for example, see [2]) is defined by Let the Cauchy problem be solvable; i.e., it admits the well-defined evolution operator U(t, s) ∈ B(X ) satisfying the strong continuity and the semigroup property: U(t, s) = U(t, r)U(r, s) for 0 ≤ s ≤ r ≤ t < T . The solution is represented by u(t) = U(t, s)u s with u s ∈ X for a certain 0 ≤ s ≤ T . For the second order equation, U(t, s) is not equal to the abstraction of exp( A(t)dt), so that A(t) is not the infinitesimal generator of U(t, s), and A(t) is the infinitesimal generator of exp( A(t)dt) instead. In the following, the combined Miura transform is shown to be equivalent to the logarithmic representation for the infinitesimal generator of the second order abstract evolution equations.
The master equation of (8) is also written as a system of equations: where, by focusing on the representation of v(t), v(t) is formally represented by v(t) = ∂ t U(t, s)v s for a certain v s ∈ D(∂ t U(t, s)) that is compatible with the original u(t) = U(t, s)u s for a certain u s ∈ D(U(t, s)) = X .
Lemma 3.1 (Logarithmic representation of the derivative). Let κ be a certain complex number. For the evolution operator of Eq, (8), let U(t, s) be included in the C 1 class in terms of variables t and s, and the first order derivative V(t, s) := ∂ t U(t, s) be further assumed to be bounded on X and strongly continuous for 0 ≤ t, s ≤ T . Then, for V(t, s), is well defined if V(t, s) and ∂ t V(t, s) commute, whereα(t, s) : X → X is an operator defined byα(t, s) = Log(V(t, s) + κI).
Proof. The statement follows from Lemma 2.1.
On the other hand, another logarithmic representation is trivially well-defined by the assumption. According to the representations (10) and (11), the abstract version of the Miura transform is obtained as the product of two logarithmic representations.
Theorem 3.2 (Abstract formulation of the Miura transform). Let t and s satisfy 0 ≤ t, s ≤ T , κ be a certain complex number, and Y and Y ′ be a dense subspace of X . The operator ∂ t α(t, s) is assumed to be a closed operator from Y to X , and ∂ tα (t, s) is assumed to be a closed operator from Y ′ to X . If U(t, s), ∂ t U(t, s), and ∂ 2 t U(t, s) commute with each other within a properly given domain space, the operators {A(t)} 0≤t≤T are represented by means of the logarithm function; there exists a certain complex number κ = 0 such that for an element u of a dense subspace {u ∈ Y; (I−κe −α(t,s) ) −1 ∂ t α(t, s)u ⊂ D(∂ tα (t, s))} of X , and for an elementû of a dense subspace {û ∈ Y ′ ; ( Proof. The autonomous equation (8), which corresponds to the abstract form of the Miura transform (4), is written by s)u for any u ∈ X , so that it follows that ∂ 2 t U(t, s) = AU(t, s) is valid as an operator equation. Under the assumption of commutative property between A and U(t, s), the operator A is represented by s), where the former part U(t, s) −1 ∂ t U(t, s) and the latter part (∂ t U(t, s)) −1 ∂ 2 t U(t, s) of the right hand side correspond to the logarithmic representation (I−κe −α(t,s) ) −1 ∂ t α(t, s) and (I − κe −α(t,s) ) −1 ∂ tα (t, s) respectively. In this equation U(t, s), ∂ t U(t, s), and ∂ 2 t U(t, s) are assumed to commute with each other, so that the logarithmic representation of A(t) follows.
In particular, for the commutation between two generally-unbounded operators, the intermediate domain space can be different depending on the order of operators.
Here is a reason why the two.representations (12) and (13) are obtained depending on the order of operators.
3.2. Second order abstract evolution equations.   Proof. Under the commutation relation, the autonomous equation (8) is also formally factorized as for any u ∈ X . It leads to the decomposition such that The representation shown in Eq. (16) is understood. It is necessary to confirm the possibility of defining the fractional power of A. The possibility of defining square root of operator is justified if it is possible to define the exponential of where note that the logarithms of the right hand side are the formal form, and it does not matter whether they are well defined or not. Since α(t, s) ∈ B(X ) and α(t, s) ∈ B(X ) are the logarithms of operator, here the logarithm of logarithm is necessary to be well-defined. According to the commutation assumption between ∂ t U(t, s) and ∂ t V(t, s) = ∂ 2 t U(t, s), the exponential of each logarithm of the right hand side are independently well-defined. According to the commutation relation between U(t, s), ∂ t U(t, s) and ∂ t V(t, s) = ∂ 2 t U(t, s), the exponential function of right hand side is equal to and each square root is well-defined by the sectorial assumption (for the sectorial property, see Sec.2.10 of Chap.5 in [12]), where the logarithms of U(t, s) and V(t, s) leading to the definition of fractional powers of U(t, s) and V(t, s) are valid as seen in Eqs. (10) and (11). Consequently, the logarithmic representations of infinitesimal generators ±A(t) 1/2 are true.

Summary
In this article the Miura transform is generalized in the following sense: • it is not only the transform between the KdV and mKdV equations; • the spatial dimension of the equation is not necessarily equal to 1; • the differential in Eq. (12) is not necessarily for the spatial variable x; where, in terms of applying to theory of higher order abstract evolution equations, the variable is taken as t in this article. For the preceding work dealing with the general choice of the evolution direction, see [9,10]. Consequently the generalized Miura transform is obtained as the product of two logarithmic representations of operators in a general Banach space framework and they are applied to clarify the structure of the general solutions of second order abstract evolution equations defined in finite and infinite dimensional Banach spaces. Since the linear operator A is a generalized concept of matrices, the presented result potentially includes any matrix situations.