Abstract
We study deformations of plane curves in the similarity geometry. It is known that continuous deformations of smooth curves are described by the Burgers hierarchy. In this paper, we formulate the discrete deformation of discrete plane curves described by the discrete Burgers hierarchy as isogonal deformations. We also construct explicit formulas for the curve deformations by using the solution of linear diffusion differential/difference equations.
Similar content being viewed by others
Introduction
Integrable deformations of curves play crucial roles in the differential geometry of space/plane curves [30]. Formulating the deformation of curves as the simultaneous system of the Frenet-Serret formula for the Frenet frame of curves and its deformation equation, it naturally gives rise to various integrable systems. This framework can be discretized so that it is consistent with the theory of discrete integrable systems, which is sometimes referred to as the discrete differential geometry [1]. Various deformations of discrete curves have been formulated in this context [6–8, 15–19, 26–29]. The theory of discrete differential geometry of curves is now making progress in explicit constructions of curves, by using the theory of τ functions [22–25].
When we change the geometric structure of space/plane in the framework of Klein geometry, the curve motions are governed by various integrable equations [3–5]. Therefore it may be an interesting and important problem to discretize such deformations of curves consistently with corresponding integrable structures.
In this paper, we consider deformation of the plane curves in the similarity geometry, which is a Klein geometry associated with the linear conformal group. In this setting, it is known that the Burgers hierarchy describes the deformations of similarity curvature of curves. We present discrete deformations of discrete plane curves in the similarity geometry described by the discrete Burgers hierarchy as the isogonal deformations in which each angle of adjascent segments is preserved. The lattice intervals of the hierarchy are generalized to arbitrary functions of corresponding independent variables. Using this formulation, we present explicit formulas of curves for both smooth and discrete cases. We note that the (complex) Burgers equation and its discrete analogue also arise in the curve deformations in complex hyperbola, where the Hamiltonian formulation of the deformation of smooth curves is discussed [15].
In Section 2, we give a brief summary of deformation of smooth plane curves in the similarity geometry, and we see that the Burgers hierarchy naturally arises as the equations for the similarity curvature. We also construct the explicit formula for the family of plane curves corresponding to the shock wave solutions to the Burgers equation. In Section 3, we discretize the whole theory described in Section 2 so that the deformations are governed by the discrete Burgers hierarchy. Formulations of the Burgers and the discrete Burgers hierarchies are discussed in detail in Appendix.
In [21, 31], the deformation theory of plane curves in the similarity geometry can be applied to the construction and generalization of aesthetic curves in CAD. Also, in [9–14] discretizations for the class of nonlinear differential equations describing the motions of plane curves are constructed by using the geometric formulations, resulting in self-adaptive moving mesh discrete model of the original equation. This discretization enables to contruct highly accurate numerical scheme of given equation. The Burgers equation is widely used as the universal model describing one-dimensional nonlinear dissipative system after various transformations which are difficult to discretize. It may be possible to construct various useful discrete models by using the result in this paper. We hope that the results in this paper serves as the basis of such industry-based problems.
Deformation of smooth curves
Let γ=γ(s) be a smooth curve in \(\mathbb {R}^{2}\), s be the arc-length, and κ be the curvature of γ. We denote by Sim(2) the similarity transformation group of \(\mathbb {R}^{2}\), that is, \(\text {Sim} (2) = \text {CO} (2) \ltimes \mathbb {R}^{2}\) where CO(2) is the linear conformal group
The Sim(2)-invariant parameter x is given by the angle function
and the Sim(2)-invariant curvature u is defined as
The x and u are called the similarity arc-length parameter and the similarity curvature, respectively. If the similarity curvature is constant u=k 1, then the inverse of Euclidean curvature is 1/κ=−k 1 s+k 2 for some constant k 2. Thus γ is a log-spiral (if k 1≠0) or a circle (if k 1=0,k 2≠0).
The Sim(2)-invariant frame \(\phi = \left [T, N\right ]\) is given by
where the prime means differentiation with respect to the similarity arc-length parameter x. The SO(2)-invariant frame (the Frenet frame) ϕ E given by
varies according to the Frenet formula
Therefore, by using (2.1) and (2.2), we have
We denote by γ(x,t) a deformation of a curve γ(x). We use the dot to indicate differentiation with respect to time t. Writing \(\dot \gamma \) as the linear combination of T and N as
we have by using (2.3) that
The compatibility condition of the linear system (2.4) and (2.5) is given by
for some function a=a(t). Especially, choosing f=a−u, g=−1 and denoting t=t 2, we have
Equation (2.9) is called the Burgers equation, which is linearized to
via the Cole-Hopf transformation [20]
Further, the Burgers hierarchy naturally arises as follows [3–5]. Substituting (2.6) into (2.7), we have that
where \(\Omega = \partial _{x} - u - u' \partial _{x}^{- 1}\) is the recursion operator of the Burgers hierarchy (see Appendix A). Here, \(\partial _{x}^{-1}\) is the formal integration operator with respect to x, and in the following, the integration constant should be chosen to be 0. In view of this, we introduce an infinite number of time variables t=(t 2,t 3,t 4,…), and choose g ′=Ω i−3 u ′ (i≥3). Then the higher flow with respect to the new time variable t i is given by
The compatibility condition between (2.4) and (2.13) is the i-th Burgers equation
which is linearized to
via the Cole-Hopf transformation (2.11). Note that the case of i=2 of (2.15) recovers (2.10).
It is possible to express the postion vector γ in terms of q as follows. The inverse of Euclidean curvature satisfies 1/κ=c q for some function c=c(t), because the similarity curvature is logarithmic differentiation of κ, that is, u satisfies that
Since the similarity arclength parameter x is the angle function, we have
where we have incorporated the ambiguity of the angle function x 0=x 0(t) explicitly. Hence
We determine c and x 0 by the deformation equation (2.13). By differentiating T by t i (here \(\dot {\phantom {c}}\) denotes \(\partial _{t_{i}}\)), we have by substituting (2.16) into (2.13),
Note that from (2.14) and (2.11) we have \(- \partial _{x}^{- 1}\left (\Omega ^{i - 1} +\Omega ^{i - 3} + a\right) u' = \dot {q}/q\). Similarly for the case of i=2 we also have \(- u' + u^{2} + 1 - a u = \dot {q}/q\) from (2.10) and (2.11). Then from (2.13) we obtain
which implies c(t)=c(const.) and x 0=A(t) where \(\dot {A}(t)=a(t)\). Therefore we obtain:
Proposition 2.1.
Let γ=γ(x,t), t=(t 2,t 3,t 4,…) be a position vector of the plane curve in the similarity geometry satisfying (2.4), (2.8) and (2.13). Then γ admits the representation formula
where
c is a constant, and q(x,t) satisfies (2.15).
For a shock wave solution to the Burgers hierarchy, we can explictly construct the position vector. For a positive integer M,
solves the linear Eq. (2.15), where λ 1,ξ 1,…,λ M ,ξ M are parameters. Then (2.17) gives
where λ 0=ξ 0=0. Figures 1 and 2 illustrate motion of plane curves corresponding to M-shock wave solutions (M=1,2, respectively) of the Burgers Eq. (2.9) with \(t_{i} = 0 \left (i \geq 3\right)\).
Remark 2.2.
The parameter a originally arises as an integration constant in (2.6), and play a role of rotation in the deformation of smooth curves as seen in Proposition 2.1. This parameter can be formally absorbed by a suitable linear transformation of independent variables (see, for example, (2.14) and (2.15)). In the discrete case, however, such manipulation is not applicable since the chain rule does not work effectively. Actually the similar parameter appears in a non-trivial manner in the deformation of discrete curves as shown in Section 3.
Isogonal deformation of discrete curves
In this section, we consider the discrete deformation of discrete plane curves under the similarity geometry, which naturally gives rise to the discrete Burgers equation and its hierarchy. For the definition and fundamental properties of the discrete Burgers hierarchy, the readers may refer to Appendix B.
3.1 Discrete curve
For a map \(\gamma \colon \mathbb {Z} \to \mathbb {R}^{2},\, n \mapsto \gamma _{n}\), if any consecutive three points γ n+1,γ n ,γ n−1 are not colinear, we call γ a discrete plane curve. For a discrete plane curve γ, we denote by q n the distance between the adjacent vertices
We introduce κ n as the angle between the two vectors γ n −γ n−1, γ n+1−γ n . More precisely, we define \(\kappa \colon \mathbb {Z} \to \left (0, 2 \pi \right)\) by
where R is the rotation matrix
Moreover, we put
and introduce the map \(\phi \colon \mathbb {Z} \to \text {CO} (2)\) by
We call the map ϕ the similarity Frenet frame of the discrete plane curve γ.
Proposition 3.1.
The similairity Frenet frame ϕ satisfies the linear difference equation
Proof.
Since T satisfies
we have
Since the rotation matrix \(R \left (\kappa _{n + 1}\right)\) and the matrix ϕ n commute with each other, the statement is proved.
3.2 Isogonal deformation
3.2.1 General settings
We next consider the deformation of the curves. We write the deformed curve as \(\overline {\gamma }\), and we also express the data associated with \(\overline {\gamma }\) by putting —. For instance, we define the function \(\overline {\kappa }\colon \mathbb {Z} \to \left (0, 2 \pi \right)\) by
Lemma 3.2.
The necessary and sufficient condition for the deformation \(\gamma \mapsto \overline {\gamma }\) being isogonal, namely, \(\overline {\kappa } = \kappa \), is that there exist a positive-valued function H and a constant a satisfying
Proof.
Since both \(\overline {T}\) and T are planar vectors, it is obvious that there exist a positive-valued function H and an angle a such that
Therefore the equality \(\overline {\kappa } = \kappa \) holds if and only if the angle a is independent of n.
Proposition 3.3.
We fix \(\delta \in \mathbb {R}_{>0}\), \(a,\, f_{0},\, g_{0}\in \mathbb {R}\) and a positive-valued function H. We introduce the functions f, g by the recursion relation
and define the deformation \(\gamma \mapsto \overline {\gamma }\) by
Then we have the following:
-
(1)
The deformation is isogonal. Namely, for the angle \(\overline {\kappa }_{n}\) defined by (3.2), we have \(\overline {\kappa }_{n} = \kappa _{n}\).
-
(2)
The similarity Frenet frame \(\overline {\phi }\) of the discrete curve \(\overline {\gamma }\) can be expresed in terms the frame ϕ of γ as
$$\overline{\phi}_{n} = \phi_{n} Y_{n},\quad Y_{n} = H_{n} R (a). $$
Proof.
We compute the difference of \(\overline {\gamma }\) by using (3.5), (3.1) and (3.4)
Then we have (3.3), which means \(\overline {\kappa } = \kappa \). The frame of \(\overline {\gamma }\) satisfies
which completes the proof.
Repeating the deformation in Proposition 3.3, we have the sequence of isogonal deformations of discrete plane curves γ 0=γ, \(\gamma ^{1} = \overline {\gamma }\), …, \(\gamma ^{m} = \overline {\gamma ^{m - 1}}\), …. We write
Proposition 3.4.
Let κbe the angles associated with the discrete curve γ 0. For each \(m\in \mathbb {Z}\), we fix δ m >0, real numbers \(a_{m},\, {f^{m}_{0}},\, {g^{m}_{0}}\), and the positive-valued function H m, and we introduce the functions f m,g m by the recursion relation
Then defining the discrete curves γ m by
we have the following:
-
(1)
For each m, it holds that κ m=κ 0=κ.
-
(2)
The similarity Frenet frames ϕ m, ϕ m+1 satisfy the system of linear difference equations
$$\begin{array}{*{20}l} \phi^{m}_{n + 1} &= {\phi^{m}_{n}} {X^{m}_{n}},\quad {X^{m}_{n}} = \frac{q^{m}_{n + 1}}{{q^{m}_{n}}} R \left(\kappa_{n + 1}\right), \end{array} $$((3.8))$$\begin{array}{*{20}l} \phi^{m + 1}_{n} &= {\phi^{m}_{n}} {Y^{m}_{n}},\quad {Y^{m}_{n}} = {H^{m}_{n}} R \left(a_{m}\right). \end{array} $$((3.9)) -
(3)
The compatibility condition of the system of linear difference Eqs. (3.8)–(3.9) is
$$ \frac{q^{m + 1}_{n + 1}}{q^{m + 1}_{n}} \frac{{q^{m}_{n}}}{q^{m}_{n + 1}} = \frac{H^{m}_{n + 1}}{{H^{m}_{n}}}. $$((3.10))
3.2.2 Discrete Burgers flow
Let us consider a special case where the function κ is a constant κ n =ε. For each \(m\in \mathbb {Z}\), let δ m be a positive constant, and we set
Then the solution of the difference Eq. (3.6) is given by
Defining the deformation of the discrete curve by (3.7) by using this solution, the compatibility condition (3.10) yields that the ratio \({u_{n}^{m}} = q_{n+1}^{m}/{q_{n}^{m}}\) obeys (a variant of) the discrete Burgers equation (see (B.3) with i=2)
The length \({q_{n}^{m}} = \left |\gamma ^{m}_{n + 1} - {\gamma ^{m}_{n}}\right |\) satisfy the linear difference equation
Remark 3.5.
The function \({H_{n}^{m}}\) defined by (3.11) is not necessarily positive in general. However, it is possible to make it positive by choosing δ m >0 appropriately as follows. We put
If Q m ≥2 cos ε, then we have for arbitrary n
which gives H\(_{n}^{m}>0\). If Q m <2cosε, then choose δ m as
then \({H_{n}^{m}}\) becomes positive. In fact, we have for arbitrary n
3.2.3 Discrete Burgers flow of higher order
Let us write down the deformation equation corresponding to (2.12). From (3.6) we have that
We solve the second equation in terms of \({f_{n}^{m}}\) and substitute it into the first equation with n↦n−1 so as to obtain that
Then the compatibility condition (3.10) gives
or equivalently
Equation (3.13) or (3.14) is the general form of the deformation equation of the discrete curves in the framework of the similarity geometry, and is regarded as a discrete counterpart of (2.12).
Theorem 3.6.
For a fixed \(m\in \mathbb {Z}\), let \({\gamma _{n}^{m}}\in \mathbb {R}^{2}\) be a discrete curve, and let \(\kappa _{n}=\angle (\gamma _{n+1}^{m}-{\gamma _{n}^{m}}, {\gamma _{n}^{m}}-\gamma _{n-1}^{m})\), \({q_{n}^{m}}= |\gamma _{n+1}^{m}-{\gamma _{n}^{m}}|\), \({u_{n}^{m}}= \frac {q_{n+1}^{m}}{{q_{n}^{m}}}\). For given \(\delta _{m}, a_{m}, {H_{0}^{m}}\in \mathbb {R}\) and a function \({g_{n}^{m}}\in \mathbb {R}\), we define \({H_{n}^{m}}\in \mathbb {R}\) recursively by
Then we have:
-
(1)
By choosing δ m and a m appropriately, \({H_{n}^{m}}\) becomes positive.
-
(2)
Setting the function \({f_{n}^{m}}\) by
$$\begin{aligned} {f_{n}^{m}} = &- \frac{{u_{n}^{m}}}{\sin\kappa_{n+1}} g_{n+1}^{m} + \frac{\text{cos}\,\kappa_{n+1}}{\sin\kappa_{n+1}}{g_{n}^{m}} - \frac{1}{\delta_{m}} \\&+ \frac{\sin(\kappa_{n+1}-a_{m})}{\delta_{m}\sin\kappa_{n+1}}{H_{n}^{m}}, \end{aligned} $$the condition (3.6) is satisfied. Namely, (3.5) gives a isogonal deformation.
-
(3)
\({u_{n}^{m}}\) satisfies (3.14).
We note that (3.14) yields the discrete Burgers equation and its generalizations to that of higher-order by suitable specialization of \({g_{n}^{m}}\).
3.2.3.0 Autonomous case
In the case of κ n =ε=const., (3.14) is reduced to
where \(\Omega _{n}^{(2)}\) is the recursion operator of the discrete Burgers hierarchy given in (B.6). Putting \(g_{n}=\frac {\sin \epsilon }{\epsilon ^{2}}\) and a m =0, (3.16) recovers the autonomous discrete Burgers Eq. 3.12. Equation 3.17 is a discrete counterpart of (2.12). Therefore, due to (B.5), by putting \({g_{n}^{m}}\) as
we obtain a variant of the higher order autonomous discrete Burgers equation
which corresponds to (2.14).
3.2.3.0 Non-autonomous case
For the case of generic κ n , we see that the recursion operator of the non-autonomous discrete Burgers hierarchy appears in the right hand side of (3.14). In fact, we have
by parametrizing \(\sin \kappa _{n}\) as
where \(\epsilon _{n}^{(i)}\) and \(\Omega _{n}^{(i)}\) are given in (B.13) and (B.14), respectively. For the simplest case i=0, we choose \({g_{n}^{m}}=1\) in (3.14) and have
which is a non-autonomous discrete analogue of the Burgers equation (2.9). If we set a m =0, we obtain a simpler version of the non-autonomous discrete Burgers equation
For i>0, we put \({g_{n}^{m}}=K_{n}^{(i)}[{u_{n}^{m}}]\) and find that \({u_{n}^{m}}\) satisfies a variant of non-autonomous higher-order discrete Burgers equation
which is a non-autonomous discrete analogue of the higher-order Burgers Eq. 2.14. Note that \({q_{n}^{m}}=|\gamma _{n+1}^{m} - {\gamma _{n}^{m}}|\) satisfies the linear equation
We now prove Theorem 3.6. The statement (2) and (3) are derived immediately by solving (3.6) and using the compatibility condition (3.10). For the statement (1), we have the following as a sufficient condition for the positivity of \({H_{n}^{m}}\):
Lemma 3.7.
We assume that κ n satisfies 0<κ n <π or −π<κ n <0 for all n. For each m, we choose δ m and a m in the following manner:
where
and
Then we have \({H_{n}^{m}}>0\).
Proof.
We first write the recursion relation (3.15) as
where
Then (3.20) can be solved formally as
Noticing that \(\delta _{m}, {u_{n}^{m}}>0\), it is sufficient for \({H_{n}^{m}}>0\) that all of the following conditions
are satisfied for all n. Then it is easy to see that (3.22) is satisfied by choosing δ m as (3.19). The conditions (3.21) and (3.22) imply
from which we have
This is equivalent to the second condition in (3.19).
3.3 Explicit formula
An explicit representation formula for the curve \({\gamma _{n}^{m}}\) is constructed in a similar manner to the smooth curves.
Proposition 3.8.
Let \({\gamma _{n}^{m}}\) be a discrete curve satisfying (3.8) and (3.9). Then \({\gamma _{n}^{m}}\) admits the representation formula
Proof.
Since \(|\gamma _{n+1}^{m} - {\gamma _{n}^{m}}|/{q_{n}^{m}} = 1\), there exist a function \({\theta _{n}^{m}}\in [0,2\pi)\) such that
so that the frame \({\phi _{n}^{m}}\) is expressed as
and we may assume
without losing generality, which implies (3.26).
For the curves constructed from the shock wave solutions of the autonomous discrete Burgers hierarchy, the summation in (3.26) can be computed explicitly. For simplicity, we demonstrate it by taking the case of i=2 with κ n =ε (const.), δ m =δ (const.) in (3.18)
which is linearized in terms of \({q_{n}^{m}}\) as
(3.32) admits the solution
where \(M\in \mathbb {N}\), λ k , ξ k (k=1,…,M) are arbitrary constants and
Then, by using the formulas
where c is a constant satisfying c j→0 (\(j\to -\infty \)), we have from (3.26) that
with λ 0=ξ 0=0 and λ k >0.
Figures 3, 4 illustrate motion of discrete plane curves corresponding to M-shock wave solutions (M=1,2, respectively) of the discrete Burgers equation (3.31) with parameters a=π/3, ε=π/4, δ=1, ξ 1=0.
Appendixes
A Burgers hierarchy
The Burgers hierarchy is the family of nonlinear partial differential equations obtained from the linear partial differential equations
through the Cole-Hopf transformation
By noticing that
the nonlinear equations in the hierachy are expressed [2] as
Some of the flows of the hierarchy are given by
An elementary calculation shows the following relation between K i [ u] and K i−1[ u]:
Here, Ω is called the recursion operator of the Burgers hierarchy, by which the equations in the hierarchy can be expressed as
B Discrete Burgers hierachy
B.1 Discrete Burgers hierarchy
Let δ,ε be constants. For i=0,1,2,…, we consider the family of linear difference equations
where
Here Δ is a central-difference operator in n defined as
The first few examples of \(\widehat {L}^{(i)}\left [{q_{n}^{m}}\right ]\) are given by
The discrete Burgers hierarchy is a family of nonlinear difference equations obtained from (B.1) by the discrete Cole-Hopf transformation [15]
Noticing that
the i-th order equation in the hierarchy can be written as
where
For instance, the first few \(\widehat {K}^{(i)}\) are given by
The discrete Burgers hierarchy admits the recursion operators which generate higher order flows from lower ones.
Proposition B.1.
It holds that
where Ω n is a difference operator defined by
In particular, we have
where
Proof.
Since we have
from (B.1), we obtain
which immediately yields (B.4). The second half of the statement can be verified by a straightforward calculation.
By using the recursion operators (B.4) and (B.6), \(\widehat {K}^{(i)}\left [{u_{n}^{m}}\right ]\) can be expressed as
B.2 Non-autonomous discrete Burgers hierarchy
We formulate the discrete Burgers hierarchy with arbitrary lattice intervals, which we call non-autonomous discrete Burgers hierarchy. The hierarchy introduced in the previous section is sometimes referred to as the autonomous discrete Burgers hierarchy. We first introduce the divided difference \(f\left [x_{j},x_{j+1},\ldots,x_{j+n}\right ]\) of the function f(x) with the base points x j ,x j+1,…,x j+n recursively by f[ x j ]=f(x j ) and
Among the various properties of the divided differences, we here note the following:
-
(1)
Expansion formula.
$$f[\!x_{j},x_{j+1},\ldots,x_{j+n}] = \sum_{k=0}^{n} \frac{f(x_{j+k})}{\prod_{s=0,\, s\neq k}^{n}\, (x_{j+k}-x_{j+s})}. $$For example, we have
$${\begin{aligned} f[\!x_{j},x_{j+1}] =\;& \frac{f(x_{j+1})}{x_{j+1}-x_{j}} + \frac{f(x_{j})}{x_{j}-x_{j+1}},\\ f[\!x_{j},x_{j+1},x_{j+2}] =\;& \frac{f(x_{j+2})}{(x_{j+2}-x_{j+1})(x_{j+2}-x_{j})}\\ &+ \frac{f(x_{j+1})}{(x_{j+1}-x_{j+2})(x_{j+1}-x_{j})}\\ &+ \frac{f(x_{j})}{(x_{j}-x_{j+2})(x_{j}-x_{j+1})},\\ f[\!x_{j},x_{j+1},x_{j+2},x_{j+3}] =\;& \frac{f(x_{j+3})}{(x_{j+3}-x_{j+2})(x_{j+3}-x_{j+1})(x_{j+3}-x_{j})}\\ &+ \frac{f(x_{j+2})}{(x_{j+2}-x_{j+3})(x_{j+2}-x_{j+1})(x_{j+2}-x_{j})}\\ & + \frac{f(x_{j+1})}{(x_{j+1}-x_{j+3})(x_{j+1}-x_{j+2})(x_{j+1}-x_{j})}\\ &+ \frac{f(x_{j})}{(x_{j}-x_{j+3})(x_{j}-x_{j+2})(x_{j}-x_{j+1})}. \end{aligned}} $$As an immediate consequence, it follows that f[ x j ,x j+1,…,x j+n ] is invariant with respect to interchanging the base points.
-
(2)
Autonomization and continuous limit. Putting the lattice interval to be constant, namely, x j+k =x j +k ε, it follows that
$$ \begin{aligned} f[x_{j},x_{j+1},\ldots,x_{j+n}] &= \frac{1}{n!}\Delta_{+x}^{n}\, f(x_{j}),\quad \Delta_{+x}\,f(x)\\ &= \frac{f(x+\epsilon)-f(x)}{\epsilon}, \end{aligned} $$((B.7))and thus
$$f\left[x_{j},x_{j+1},\ldots,x_{j+n}\right] \ \longrightarrow\ \frac{1}{n!}\frac{d^{n}f(x_{j})}{dx^{n}}\quad (\epsilon\to 0). $$
In order to formulate the non-autonomous discrete Burgers hierarchy, we first introduce the family of linear difference equations for \({q_{n}^{m}}=q(x_{n},t_{m})\), δ m =t m+1−t m :
where
The first few examples of \(L_{n}^{(i)}[{q_{n}^{m}}]\) are given by
We note that the following recursion relations hold:
The non-autonomous discrete Burgers hierarchy is a family of nonlinear difference equations obtained from (B.8) by the discrete Cole-Hopf transformation (B.2). The i-th order equation in the hierarchy is given as
where
The recursion operator for the non-autonomous discrete Burgers hierarchy is given as follows:
Proposition B.2.
It holds that
where \(\Omega _{n}^{(1,i+1)}\) is a difference operator defined by
and
In particular, we have
where
Proof.
The first half of the statement follows from the recursion relation of the divided differences. Indeed, it follows from (B.9) and (B.10) that
which are equivalent to
Thus we have (B.12). The second half is verified by a direct computation.
Remark B.3.
The non-autonomous discrete Burgers hierarchy (B.11) reduces to the discrete Burgers hierarchy (B.3) by putting (see (B.7))
References
Bobenko, AI, Suris, YB: Discrete Differential Geometry. American Mathematical Society, Prividence, RI (2008).
Choodnovsky, DV, Choodnovsky, GV: Pole expansions of nonlinear partial differential equations. Nuovo Cimento. 40B, 339–353 (1977).
Chou, K-S, Qu, C-Z: Integrable equations arising from motions of plane curves. Phys. D. 162, 9–33 (2002).
Chou, K-S, Qu, C-Z: Integrable equations arising from motions of plane curves. II. J. Nonlinear Sci. 13, 487–517 (2003).
Chou, K-S, Qu, C-Z: Motions of curves in similarity geometries and Burgers-mKdV hierarchies. Chaos, Solitons and Fractals. 19, 47–53 (2003).
Doliwa, A, Santini, PM: An elementary geometric characterization of the integrable motions of a curve. Phys. Lett. A185, 373–384 (1994).
Doliwa, A, Santini, PM: Integrable dynamics of a discrete curve and the Ablowitz-Ladik hierarchy. J. Math. Phys. 36, 1259–1273 (1995).
Doliwa, A, Santini, PM: Geometry of discrete curves and lattices and integrable difference equations. Discrete Integrable Geometry and Physics(Bobenko, A, Seiler, R, eds.)Clarendon Press, Oxford (1999).
Feng, BF, Inoguchi, J, Kajiwara, K, Maruno, K, Ohta, Y: Discrete integral systems and hodograph transformations arising from motions of discrete plane curves. J. Phys. A: Math. Theor. 44, 395201(19 pages) (2011).
Feng, BF, Inoguchi, J, Kajiwara, K, Maruno, K, Ohta, Y: Integrable discretizations of the Dym equation. Front. Math. China. 8, 1017–1029 (2013).
Feng, BF, Maruno, K, Ohta, Y: Integrable discretizations of the short pulse equation. J. Phys. A: Math. Theor. 43, 085203(14 pages) (2010).
Feng, BF, Maruno, K, Ohta, Y: A self-adaptive moving mesh method for the Camassa-Holm equation. J. Comput. Appl. Math. 235, 229–243 (2010).
Feng, BF, Maruno, K, Ohta, Y: Integrable discretizations for the short-wave model of the Camassa-Holm equation. J. Phys. A: Math. Theor. 43, 265202(14 pages) (2010).
Feng, BF, Maruno, K, Ohta, Y: Self-adaptive moving mesh schemes for short pulse type equations and their Lax pairs. Pac. J. Math. Ind. 6, 8 (2014).
Fujioka, A, Kurose, T: Motions of curves in the complex hyperbola and the Burgers hierarchy. Osaka. J. Math. 45, 1057–1065 (2008).
Hisakado, M, Nakayama, K, Wadati, M: Motion of discrete curves in the plane. J. Phys. Soc. Jpn. 64, 2390–2393 (1995).
Hisakado, M, Wadati, M: Moving discrete curve and geometric phase. Phys. Lett. A214, 252–258 (1996).
Hoffmann, T: Discrete Hashimoto surfaces and a doubly discrete smoke-ring flow. Discrete Differential Geometry(Bobenko, AI, Schröder, P, Sullivan, JM, Ziegler, GM, eds.)Oberwolfach Seminars Vol.39 Birkhäuser, Basel, 95–115 (2008).
Hoffmann, T, Kutz, N: Discrete curves in \(\mathbb {C}P^{1}\) and the Toda lattice. Stud. Appl. Math. 113, 31–55 (2004).
Hopf, E: The partial differential equation u t +u u x =μ u xx . Comm. Pure Appl. Math. 3, 201–230 (1950).
Inoguchi, J: Attractive plane curves in differential geometry. MI Lecture Note. 64, 121–124 (2015). Kyushu University.
Inoguchi, J, Kajiwara, K, Matsuura, N, Ohta, Y: Motion and Bäcklund transformations of discrete plane curves. Kyushu J. Math. 66, 303–324 (2012).
Inoguchi, J, Kajiwara, K, Matsuura, N, Ohta, Y: Explicit solutions to the semi-discrete modified KdV equation and motion of discrete plane curves. J. Phys. A: Math. Theor. 45, 045206 (2012).
Inoguchi, J, Kajiwara, K, Matsuura, N, Ohta, Y: Discrete mKdV and discrete sine-Gordon flows on discrete space curves. J. Phys. A: Math. Theor. 47, 235202(26 pages) (2014).
Matsuura, N: Discrete KdV and discrete modified KdV equations arising from motions of planar discrete curves. Int. Math. Res. Not. 2012, 1681–1698 (2012).
Nakayama, K: Elementary vortex filament model of the discrete nonlinear Schrödinger equation. J. Phys. Soc. Jpn. 76, 074003 (2007).
Nakayama, K, Segur, H, Wadati, M: Integrability and the motions of curves. Phys. Rev. Lett. 69, 2603–2606 (1992).
Nishinari, K: A discrete model of an extensible string in three-dimensional space. J. Appl. Mech. 66, 695–701 (1999).
Pinkall, U, Springborn, B, Weißmann, S: A new doubly discrete analogue of smoke ring flow and the real time simulation of fluid flow. J. Phys. A: Math. Theor. 40, 12563–12576 (2007).
Rogers, C, Schief, WK: Bäcklund and Darboux Transformations. Geometry and Modern Applications in Soliton Theory Cambridge University Press, Cambridge (2002).
Sato, M, Shimizu, Y: Log-aesthetic curves and Riccati equations from the viewpoint of similarity geometry. JSIAM Lett. 7, 21–24 (2015).
Acknowledgements
The authors would like to thank Professor Jun-ichi Inoguchi for valuable suggestions. This work was partially supported by JSPS KAKENHI Grant Number 15K04862.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Kajiwara, K., Kuroda, T. & Matsuura, N. Isogonal deformation of discrete plane curves and discrete Burgers hierarchy. Pac. J. Math. Ind. 8, 3 (2016). https://doi.org/10.1186/s40736-016-0022-z
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s40736-016-0022-z