Next Article in Journal
Analysis of a Collision-Affected M/GI/1/ /N Retrial Queuing System Considering Negative Customers and Transmission Errors
Previous Article in Journal
Bacterial Competition in the Presence of a Virus in a Chemostat
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

Framed Curve Families Induced by Real and Complex Coupled Dispersionless-Type Equations

1
Faculty of Mathematics and Computer Science, Alfa BK University, 11000 Belgrade, Serbia
2
Sakarya University Technology Developing Zones Manager Company, 54050 Sakarya, Turkey
3
School of Electrical and Computer Engineering, Academy of Technical and Art Applied Studies, 11000 Belgrade, Serbia
4
Department of Mathematics, Faculty of Sciences, University of Sakarya, 54050 Sakarya, Turkey
*
Author to whom correspondence should be addressed.
Mathematics 2023, 11(16), 3531; https://doi.org/10.3390/math11163531
Submission received: 19 July 2023 / Revised: 5 August 2023 / Accepted: 10 August 2023 / Published: 16 August 2023

Abstract

:
In this study, we investigate coupled real and complex dispersionless equations for curve families, even if they have singular points. Even though the connections with the differential equations and regular curves were considered in various ways in the past, since each curve does not need to be regular, we establish the connections for framed base curves, which generalize regular curves with linear independent conditions. Also, we give the Lax pairs of the real and complex coupled dispersionless equations from the motions of any framed curve. These give us significant conditions based on the framed curvatures and associated curvatures of the framed curves for integrability since it is well known that the Lax pair provides the integrability of differential equations.

1. Introduction

Nonlinear partial differential equation (PDE) systems have been utilized to model a wide range of issues in recent years. Since they offer comprehensive discrimination of the dynamics of complex systems and aid in visualizing and controlling their behavior, it is important to understand how these systems behave in order to advance numerous fields of science and engineering. These systems are an active area of research, and many mathematical and computational techniques are continuously being developed to contribute to the revelation of vital phenomena, diseases, populations, and many other physical problems. Real coupled dispersionless (CD) or complex coupled dispersionless (CCD) equations are types of PDE systems that describe the dynamics of multiple variables or fields without dispersion. New coupled integrable dispersionless equations were introduced, and the inverse scattering method was used to solve them [1]. The inverse scattering method solves the general form of the integrable dispersionless equation. Soliton solutions consist of growing solitons, decaying solitons, and stationary solitons, and their interaction and properties were considered in [2]. In addition to the CD and CCD equations, real short pulse (SP) and complex short pulse (CSP) equations were investigated by Shen et al. in [3]. This study demonstrated that the motions of the space curves are first linked to CD and CCD equations and then to SP and CSP equations via hodograph transformations, and in addition, it was expressed that providing these equations’ Lax pairs guarantees their integrability. Kakuhata and Konno suggested a generalized inverse technique for the coupled integrable dispersionless system from a group theoretic perspective [4]. Moreover, the authors of ref. [5] derived the Hamiltonian starting from the Lagrangian of the unified integrable and distributionless equations and obtained the conserved quantities associated with Lagrangian symmetries, which the inverse scattering approach cannot obtain. In [6], the defocusing CSP equations were investigated with geometric and algebraic approaches, and a link of the CCD system with the motion of space curves was stated in Minkowski space. Recently, in [7], the CCD equations for non-null curves were interpreted in Minkowski space, which has spatial and temporal dimensions and forces us to investigate curves with a physical insight via the non-Euclidean metric. Besides the gauge equivalence between the Zhaidary-III and CD equations, the families of involute–evolute curves generated by the CD equations were derived by Eren et al. [8]. In a similar vein, but this time according to the Bishop frame, the CD equations were constructed by Eren [9] for pairs of curves such as Mannheim curves in [10] and Bertrand curves in [11]. In addition to all of these, since differential equations are mathematical tools used for capturing some natural phenomena, various approaches have been used to study differential equations; for instance, Ref. [12] presented the definition of the finite volume method’s mechanism and applied the suggested comparisons of the numerical methods described in the paper using an inviscid Burgers equation. Further, the major findings of multiple simulations for the Burgers equation and one for the Buckley–Leverett equation were presented. The fourth-order nonlinear damped delayed differential equation class oscillation with distributed deviation arguments was the subject of the research [13]. A new explanation of quaternary equation oscillation in terms of undamped oscillation of a similar well-studied quadratic linear differential equation was proposed. The extended Riccati transform, integral averaging approach, and comparison principles were used to procure some additional oscillation criteria. Bazighifan et al. investigated the asymptotic behavior of fourth-order advanced differential equations in a certain form, and new results were obtained in the form of Philos-type and Hille–Nehari oscillation criteria for the oscillation behavior of these equations [14]. Vikas et al. carried out an analytical study of coupled convective heat and mass transfer with volumetric heating data describing the sublimation of a porous body under the most sensitive temperature inputs as well as a numerical study of a nonlinear porous sublimation issue with temperature-dependent thermal conductivity and concentration-dependent mass diffusivity [15,16]. As it is known, modeling via PDEs takes into account possible configurations of the dynamic systems. Therefore, PDE-based controllers are more precise and reliable for implementation. For instance, some implementations of complex and coupled dispersionless-type equations yielding dynamic controllers can be seen in [17,18,19]. Additionally, the physical applications or geometric interpretations of special nonlinear PDEs are attractive research areas, and its importance is increasing in line with the developments in physical and engineering sciences. In the majority of investigations that include geometrical interpretations, the Frenet frames of the moving smooth space curves are taken into consideration. However, the Frenet frame of a moving space curve cannot be defined at the singular points. An alternative frame that can be accepted as relatively new, a Frenet-type frame, was defined along a curve under certain conditions to solve this problem. Also, the basic concepts of the Frenet-type framed base curve and the existence and uniqueness conditions of the framed curve introduced in [20] have affected the following investigations widely. For instance, the Bertrand and Mannheim curve pairs of framed curves were considered by [21], and evolutes and focal surfaces of framed immersions were constructed in Euclidean 3-space in [22]. In addition, framed slant helices [23], generalized oscillating type ruled surfaces of singular curves in Euclidean 3-space [24], and framed normal curves in Euclidean 4-space [25] are recent studies using this frame.
The novelty of the paper arises from the benefit of the Frenet-type frame at the singular points. Herein, we discuss the relationships of the CD and CCD equations with the motions of the space curve, even if they are not regular at each point. Starting from this idea, we find the Lax pairs providing the integration of the CD and CCD equations to be obtained via the framed curvatures and associated curvatures of the framed curves with some singular points. We conclude by demonstrating that the conserved quantities in the CD and CCD equations are constants. The novelty allows us to incorporate the results of the link of the regular curves’ motions to the CD and CCD equations that are given [3].

2. Preliminaries

2.1. Coupled Dispersionless-Type Equations

Konno et al. introduced the real CD equation in [1] as
ω u s = ρ ω , ρ s + ω ω u = 0 .
The Lax pair of this real CD equation is
ψ u = C ψ , ψ s = D ψ ,
where
C = i λ ρ ω u ω u ρ , D = i 4 λ 1 2 ω 1 2 ω i 4 λ
in [1,2]. Here, λ 0 and C s D u + C , D = 0 are also satisfied [3].
The CCD equation is defined as
ω u s = ρ ω , ρ s + 1 2 ω 2 u = 0 ,
where ω is a real-valued function, and the subscripts u and s denote partial differentiations [4,5]. The Lax pair, which procures the integrability of this CCD equation, is given by
ψ u = A ψ , ψ s = B ψ ,
where
A = i λ ρ ω u ω u * ρ , B = i 4 λ 1 2 ω 1 2 ω * i 4 λ ,
and the function ω * indicates the complex conjugate of ω [4,5].

2.2. Framed Curves in Euclidean 3-Space

Let γ : I R 3 be a smooth space curve that does not need to be regular in Euclidean 3-space and let the set Δ 2 be a three-dimensional smooth manifold defined by
Δ 2 = μ = μ 1 , μ 2 R 3 × R 3 : μ i , μ j = δ i j , i , j = 1 , 2 .
Let μ = μ 1 , μ 2 Δ 2 and let υ be a unit vector such that υ = μ 1 × μ 2 [20].
Definition 1. 
γ , μ : I R 3 × Δ 2 is called a framed curve provided that γ , μ 1 = γ , μ 2 = 0 for each u I . Also, γ : I R 3 is called a framed base curve if μ : I Δ 2 , where γ , μ is a framed curve [20].
Let γ , μ 1 , μ 2 : I R 3 × Δ 2 be a framed curve and υ = μ 1 × μ 2 . Then, the Frenet-type formula of the framed curve is written as follows:
μ 1 u μ 2 u υ u = 0 l u m u l u 0 n u m u n u 0 μ 1 u μ 2 u υ u .
Here, l u = μ 1 u , μ 2 u , m u = μ 1 u , υ u , and n u = μ 2 u , υ u . l u , m u , n u , α u is called the curvature of the framed curve γ where the smooth mapping α : I R is given by
γ u = α u υ u .
α u 0 = 0 only if u 0 is a singular point of the curve γ . If m u = n u = 0 , then υ u = 0 .
In this article, we make the assumption that υ u 0 as in [20]. The sequential two basic theorems on the existence and uniqueness of framed curves admit a foundation for understanding the behavior of framed curves and ensuring the validity of solutions to framed curve equations.
Theorem 1 
(The Existence Theorem). Let l , m , n , α : I R 4 be a smooth mapping. There exists a framed curve, γ , μ : I R 3 × Δ 2 , whose associated curvatures are l , m , n , α [20].
Theorem 2 
(The Uniqueness Theorem). Let γ , μ and γ ¯ , μ ¯ be framed curves whose curvatures l , m , n , α and l ¯ , m ¯ , n ¯ , α ¯ are coincided. Then, the curves γ , μ and γ ¯ , μ ¯ are congruent as framed curves [20].
Let γ , μ 1 , μ 2 : I R 3 × Δ 2 be a framed curve with the curvatures l , m , n , α . The normal plane of the curve γ u is spanned by μ 1 and μ 2 . Let φ u be a smooth function. If the relationship
μ ¯ 1 u μ ¯ 2 u cos φ u sin φ u sin φ u cos φ u μ 1 u μ 2 u
is expressed, then γ , μ ¯ 1 , μ ¯ 2 : I R 3 × Δ 2 is also a framed curve. Thus, it is evident that
υ ¯ u = μ 1 u × μ 2 u = μ ¯ 1 u × μ ¯ 2 u = υ u .
Using straightforward calculations, there are the relations
υ u = p u μ ¯ 1 u , μ ¯ 1 u = p u υ u + l u φ u μ ¯ 2 u , μ ¯ 2 u = l u φ u μ ¯ 1 u ,
where φ : I R is a smooth function, and there exist the equalities
m u sin φ u = n u cos φ u , m u = p u cos φ u , and n u = p u sin φ u .
The vectors υ u , μ ¯ 1 u , and μ ¯ 2 u construct an adapted frame along the framed curve γ u , so the following Frenet frame formula emerges:
υ u μ ¯ 1 u μ ¯ 2 u = 0 p u 0 p u 0 q u 0 q u 0 υ u μ ¯ 1 u μ ¯ 2 u ,
where
p u = υ u > 0 and q u = l u φ u .
The vectors υ u , μ ¯ 1 u , and μ ¯ 2 u are called the generalized tangent vector, the generalized principal normal vector, and the generalized binormal vector of γ u , respectively. Additionally, p u , q u , α u is called the framed curvature of the curve γ u [20].

3. Framed Curve Families Induced by the Real and Complex Coupled Dispersionless Equations

In this section of the study, the CCD and CD equations will be linked to a framed curve based on its curvatures, respectively, in Euclidean 3-space. Let us consider the following family of framed curves:
γ : 0 , l 1 × 0 , l 2 R 3
where s 0 , l 2 represents the time and u 0 , l 1 is the arc-length parameter of each framed curve γ ( u , s 0 ) at any moment s 0 . Considering Equation (1), the time evolution of the orthonormal Frenet-type frame μ 1 , μ 2 , υ in matrix form for the framed curve is given by
μ 1 μ 2 υ s = 0 f 1 f 2 f 1 0 f 3 f 2 f 3 0 μ 1 μ 2 υ ,
where f 1 , f 2 , and f 3 are functions of u and s. The partial differentiations of the equations in (1) according to the parameter s and the equations in (3) according to the parameter u are
μ 1 u s = l s μ 2 + l μ 2 s + m s υ + m υ s , μ 2 u s = l s μ 1 + l μ 1 s + n s υ + n υ s , υ u s = m s μ 1 + m μ 1 s n s μ 2 + n μ 2 s ,
and
μ 1 s u = f 1 u μ 2 + f 1 μ 2 u + f 2 u υ + f 2 υ u , μ 2 s u = f 1 u μ 1 + f 1 μ 1 u + f 3 u υ + f 3 υ u , υ s u = f 2 u μ 1 + f 2 μ 1 u f 3 u μ 2 + f 3 μ 2 u ,
respectively. Thus, using the equations μ 1 s u = μ 1 u s , μ 2 s u = μ 2 u s , and υ s u = υ u s gives us the relations
l s = f 1 u n f 2 + m f 3 ,
m s = n f 1 + f 2 u l f 3 ,
n s = m f 1 + l f 2 + f 3 u .
Theorem 3. 
Let γ , μ 1 , μ 2 : I 1 × I 2 R 3 × Δ 2 be a framed curve family and υ = μ 1 × μ 2 ; then, the following relations provide the CCD equations:
μ 1 μ 2 υ u = 0 c ρ 0 c ρ 0 c ω u 0 c ω u 0 μ 1 μ 2 υ a n d μ 1 μ 2 υ s = 0 c 1 ω c 1 0 0 ω 0 0 μ 1 μ 2 υ ,
where c 0 is constant. The ω and ρ are smooth functions of u and s.
Proof. 
If γ ( u , s ) , μ 1 , μ 2 : I R 3 × Δ 2 is a framed curve family by associating Equations (5) and (6), the following equation is immediate:
n + i m s = f 3 + i f 2 u + i f 1 n + i m i l f 3 + i f 2 .
Based on the hypothesis, l = c ρ , m = 0 , n = c ω u , f 1 = c 1 , f 2 = ω , and f 3 = 0 are satisfied and then Equation (7) gives us the first equation of the CCD equations as
ω u s = ρ ω
such that n + i m = c ω u , l = c ρ , f 3 + i f 2 = i ω , and f 1 = c 1 . Therefore, it is found that
1 2 ω 2 u = 1 2 ω ω u * + ω u ω * = n f 2 m f 3 c
is satified, where ω * denotes the conjugate of ω . By substituting the equalities l = c ρ and f 1 = c 1 into Equation (4), we find that
n f 2 f 3 m = c ρ s .
Consequently, considering Equations (9) and (10) together gives us the second equation of CCD equations as
ρ s + 1 2 ω 2 u = 0 .
So, Equations (8) and (11) correspond to the CCD equations for a framed curve family. □
Corollary 1. 
Let γ , μ 1 , μ 2 : I 1 × I 2 R 3 × Δ 2 be a framed curve family and υ = μ 1 × μ 2 ; then, the CCD equations correspond to the set l , m , n , f 1 , f 2 , f 3 = c ρ , 0 , c ω u , c 1 , ω , 0 .
Now, we investigate the correlation between the CD equations and a framed curve according to its adapted frames. The time evolution of the orthonormal Frenet frame υ , μ ¯ 1 , μ ¯ 2 of a framed curve is given in matrix form as follows:
υ μ ¯ 1 μ ¯ 2 s = 0 g 1 g 2 g 1 0 g 3 g 2 g 3 0 υ μ ¯ 1 μ ¯ 2 ,
where g 1 , g 2 , and g 3 are smooth functions of u and s. The partial differentiations of the equations in (2) according to the parameter s and the equations in (12) according to the parameter u are
υ u s = p s μ ¯ 1 + p μ ¯ 1 s , μ ¯ 1 u s = p s υ + p υ s + q s μ ¯ 2 + q μ ¯ 2 s , μ ¯ 2 u s = q s μ ¯ 1 + q μ ¯ 1 s ,
and
υ s u = g 1 u μ ¯ 1 + g 1 μ ¯ 1 u + g 2 u μ ¯ 2 + g 2 μ ¯ 2 u , μ ¯ 1 s u = g 1 u υ + g 1 υ u + g 3 u μ ¯ 2 + g 3 μ ¯ 2 u , μ ¯ 2 s u = g 2 u υ + g 2 υ u g 3 u μ ¯ 1 + g 3 μ ¯ 1 u ,
respectively. Thus, considering the equalities υ s u = υ u s , μ ¯ 1 s u = μ ¯ 1 u s , and μ ¯ 2 s u = μ ¯ 2 u s , which imply the inextensibility of the framed curve, we have
g 1 u = p s + g 2 q ,
g 2 u = q g 1 + p g 3 ,
g 3 u = q s p g 2 .
Theorem 4. 
Let γ , μ ¯ 1 , μ ¯ 2 : I 1 × I 2 R 3 × Δ 2 be a framed curve family with non-zero framed curvatures p and q for u I ; then, the following relations ensure the CD equations:
υ μ ¯ 1 μ ¯ 2 u = 0 c ρ 0 c ρ 0 c ω u 0 c ω u 0 υ μ ¯ 1 μ ¯ 2 a n d υ μ ¯ 1 μ ¯ 2 s = 0 c 1 ω c 1 0 0 ω 0 0 υ μ ¯ 1 μ ¯ 2
where c is a non-zero constant. The ω and ρ are smooth functions of u and s.
Proof. 
Let γ ( u , s ) , μ ¯ 1 , μ ¯ 2 : I R 3 × Δ 2 be a framed curve family with the framed curvatures p and q that do not vanish for all u I . Based on the hypothesis g 1 = c 1 , g 2 = ω and g 3 = 0 are satisfied, and Equations (13)–(15) are obtained as
0 = p s + ω q ,
ω u = q c 1 ,
0 = q s p ω ,
respectively. In addition, by substituting the curvature functions p = c ρ and q = c ω u into Equations (16) and (18), respectively, the CD equations can be found as desired, i.e.,
ρ s + ω ω u = 0   and   ρ ω = ω u s .
Corollary 2. 
Let γ , μ ¯ 1 , μ ¯ 2 : I 1 × I 2 R 3 × Δ 2 be a framed curve family with the framed curvatures p and q that do not vanish for all u I ; then, the CD equations correspond to the set g 1 , g 2 , g 3 , p , q = c 1 , ω , 0 , c ρ , c ω u .
Example 1. 
Let γ : 0 , π × 0 , 1 R 3 denote a family of astroids given by
γ u , s = cos 3 u s + s , sin 3 u s , cos 2 u s .
At any moments, s 0 = u and s 0 = u + π 2 , so it is impossible to define the Frenet frames of the curve γ u , s 0 at the cuspidal singular points. Additionally, Frenet frames of the astroid γ u , 0 can be constructed at regular points such as π 4 , 0 and 3 π 4 , 0 (see Figure 1).
On the other hand, γ , μ 1 , μ 2 : 0 , π × 0 , 1 R 3 × Δ 2 is a family of framed curves with
γ u , s = cos 3 u s + s , sin 3 u s , cos 2 u s , μ 1 u , s : = 4 5 cos u s , 4 5 sin u s , 3 5 , μ 2 u , s : = sin u s , cos u s , 0 .
Obviously, the generalized tangent of γ u , s , μ 1 , μ 2 is υ u , s = { 3 5 cos s u , 3 5 sin s u , 4 5 } , where α u , s = 5 2 sin s u . The Frenet-type frames of the framed curve can be constituted at singular points as well as at regular ones; see Figure 2.
Here, the found curvatures l , m , n = 4 5 , 0 , 3 5 and f 1 , f 2 , f 3 = 4 5 , 0 , 3 5 show that the framed curve γ u , 0 , μ 1 , μ 2 does not satisfy the CCD equation. Moreover, the framed curvatures p , q = 3 5 , 4 5 and g 1 , g 2 , g 3 = 3 5 , 4 5 , 0 indicate that γ u , 0 , μ 1 , μ 2 does not satisfy the CD equation.
Example 2. 
Let γ : 1 , 1 × 0 , 1 R 3 denote a family of curves given by γ u , s = s , e s u 3 3 , e s u 2 2 . u = 0 is a singular point of the curve γ u , s 0 at each moment s 0 . The Frenet frames of this curve are drawn at its regular points 1 , 0 and 1 , 0 as shown in Figure 3.
γ , μ 1 , μ 2 : 1 , 1 × 0 , 1 R 3 × Δ 2 is a family of framed curves with
γ u , s = s , e s u 3 3 , e s u 2 2 , μ 1 u , s : = 1 , 0 , 0 , μ 2 u , s : = 0 , u 1 + u 2 , 1 1 + u 2 .
Then, υ u , s = μ 1 u , s × μ 2 u , s = 0 , 1 1 + u 2 , u 1 + u 2 is the generalized tangent vector, where α u , s = e s u 1 + u 2 ; see Figure 4.
Using direct calculations, the curvatures l = c ρ = 0 , m = 0 , n = c ω u = 1 1 + u 2 , and f 2 = ω = 0 are found, and it is seen that they satisfy the CCD equation ω u s = ρ ω , ρ s + 1 2 ω 2 u = 0 . Furthermore, the framed curvatures p = c ρ = 1 1 + u 2 , q = c ω u = 0 , and g 2 = ω = 0 require the CD equation ω u s = ρ ω , ρ s + ω ω u = 0 .
Let us recall the basic information on the isomorphism between the real vector space of dimension 3 of the traceless anti-Hermitian 2 × 2 complex matrices denoted by su 2 and the vector space of the antisymmetric real 3 × 3 matrices denoted by so 3 . The Lie algebra of so 3 is represented by the real vector space with a basis of D 1 , D 2 , D 3 such that
D 1 = 0 0 0 0 0 1 0 1 0 , D 2 = 0 0 1 0 0 0 1 0 0 , D 3 = 0 1 0 1 0 0 0 0 0 .
The basis matrices D k k = 1 , 2 , 3 satisfy the following commutation relations:
D 1 , D 2 = D 3 , D 2 , D 3 = D 1 , D 3 , D 1 = D 2 .
Similarly, the basis of su 2 is d 1 , d 2 , d 3 , where
d 1 = 1 2 i 0 1 1 0 , d 2 = 1 2 i 0 i i 0 , d 3 = 1 2 i 1 0 0 1
are generated under the commutation relations d 1 , d 2 = d 3 , d 2 , d 3 = d 1 , d 3 , d 1 = d 2 . The relation between the basis matrices su 2 and the Pauli matrices is
d k = σ k 2 i
such that
σ 1 = 0 1 1 0 , σ 2 = 0 i i 0 , σ 3 = 1 0 0 1 .
It is well known that the Lie algebra su 2 is isomorphic to so 3 under the correspondence D k d k . This allows us to construct a 2 × 2 linear representation from the 3 × 3 linear representation as explained in [3].
Using this correspondence, it is possible to give the Lax pairs introduced by P.D Lax in 1968 [3]. The Lax pairs satisfying the integrability conditions of the CCD and CD equations obtained for the framed curve families are stated in the theorem below.
Theorem 5. 
Let γ : I 1 × I 2 R 3 be a family of curves that do not need to be regular in Euclidean 3-space.
i. 
If γ , μ 1 , μ 2 : I 1 × I 2 R 3 × Δ 2 is a framed curve family satisfying the CCD equation, then the Lax pair of this equation is
ψ u = A ψ , ψ s = B ψ
such that
A = l d 3 + m d 2 n d 1 , B = f 1 e 3 + f 2 e 2 f 3 e 1 .
where the associated curvatures are l , m , n , α and the Frenet-type frame formulae are given by Equation (1).
ii. 
If γ , μ ¯ 1 , μ ¯ 2 : I 1 × I 2 R 3 × Δ 2 is a framed curve family satisfying the CD equation, then the Lax pair of this equation is
ψ u = C ψ , ψ s = D ψ
such that
C = p d 3 q d 1 , D = g 1 d 3 + g 2 d 2 g 3 d 1 .
where p , q , α are the framed curvatures and the Frenet frame formulae are given by Equation (2).
Proof. 
Let the framed curve family be defined as follows:
i.
If γ , μ 1 , μ 2 : I 1 × I 2 R 3 × Δ 2 is a framed curve family, whose associated curvatures are l , m , n , α and whose Frenet-type frame formulae are given by Equation (1), then the functions A and B, which construct a Lax pair of the CCD equations for framed curve families, are found with the help of the isomorphism D k d k and Theorem 1 as follows:
A = l d 3 + m d 2 n d 1 = i 2 l n + m i n m i l = c i 2 ρ ω u ω u * ρ = λ i ρ ω u ω u * ρ
and
B = f 1 d 3 + f 2 d 2 f 3 d 1 = i 2 f 1 f 3 + i f 2 f 3 i f 2 f 1 = i 2 c 1 i ω i ω * c 1 = i 4 λ ω 2 ω * 2 i 4 λ ,
where c = 2 λ . Also, the compatibility condition A u B s + A B B A = 0 satisfies the CCD equations.
ii.
If γ , μ ¯ 1 , μ ¯ 2 : I 1 × I 2 R 3 × Δ 2 is a framed curve family whose associated curvatures are p , q , α and whose Frenet formulae are given by Equation (2), then the functions C and D, which construct a Lax pair of the CD equations for framed curve families, are found with the help of the isomorphism D k d k as follows:
C = p d 3 q d 1 = i 2 p q q p = i c 2 ρ ω u ω u ρ = λ i ρ ω u ω u ρ
and
D = g 1 d 3 + g 2 d 2 = i 2 g 1 g 2 i g 2 i g 1 = i 2 c ω 2 ω 2 i 2 c = i 4 λ ω 2 ω 2 i 4 λ ,
where c = 2 λ . Also, the compatibility condition C u D s + C D D C = 0 satisfies the CD equations.
Let us give the geometric interpretation of the conserved quantity of the CCD and CD equations for the framed curve family by following Theorem 3.
Theorem 6. 
Let γ : I 1 × I 2 R 3 be a family of curves that do not need to be regular in Euclidean 3-space.
i. 
If γ , μ 1 , μ 2 : I 1 × I 2 R 3 × Δ 2 is a framed curve family whose associated curvatures are l , m , n , α , satisfying the CCD equation, then the conserved quantity of the CCD equations is the constant
I = ρ 2 + ω u 2 ,
where ρ = l c , ω u = n c .
ii. 
If γ , μ ¯ 1 , μ ¯ 2 : I 1 × I 2 R 3 × Δ 2 is a framed curve family whose framed curvatures are p , q , α , satisfying the CD equation, then the conserved quantity of the CD equations is the constant
I = ρ 2 + ω u 2 ,
where ρ = p c , ω u = q c .
Proof. 
Assume that the framed curve family is expressed as below.
i.
If γ , μ 1 , μ 2 : I 1 × I 2 R 3 × Δ 2 is a framed curve family, then under consideration of the equations l , m , n , f 1 , f 2 , f 3 = c ρ , 0 , c ω u , c 1 , ω , 0 , we find that
d d s ρ 2 + ω u 2 = d d s ρ 2 + ω u ω u * = d d s l 2 c 2 + n + i m n i m c 2 = 1 c 2 d d s l 2 + m 2 + n 2 .
On the other hand, by using Equations (4)–(6), we obtain
d d s l 2 + m 2 + n 2 = 2 l l s + 2 m m s + 2 n n s = 2 c l ω ω u + 2 c n ρ ω = 0 .
By comparing these last equations, it is proven that that ρ 2 + ω u 2 is constant.
ii.
If γ , μ ¯ 1 , μ ¯ 2 : I 1 × I 2 R 3 × Δ 2 is a framed curve family, then considering the equations g 1 , g 2 , g 3 , p , q = c 1 , ω , 0 , c ρ , c ω u gives us
d d s p 2 + q 2 = d d s c ρ 2 + c ω u 2 = c 2 d d s ρ 2 + ω u 2 .
On the other hand, by using Equations (16) and (18), it is easily seen that
d d s p 2 + q 2 = 2 p p s + 2 q q s = 2 p q ω + 2 q p ω = 0 .
Consequently, this is proof that ρ 2 + ω u 2 is constant.

4. Conclusions

The following conclusions can be drawn from this study:
  • The connections between the CD and CCD equations and the curve families, even if they have singular points, were presented.
  • The new relations based on the framed curvatures and the associated curvatures of the framed curves extended the results of [3] since the framed base curves generalize the regular curves with linear independent conditions.
  • The Lax pairs of the obtained CD and CCD equations based on the motions of any framed curve were given.
  • The conditions’ integrability of these differential equations was based on the curvatures of any framed curve, which allows us to study integrability in a broader context.
Since the relationship between nonlinear partial differential equations and curve families with singular points has not yet been discussed from this perspective, this paper is expected to be a source for studies of different types of nonlinear partial differential equations or framed curves in non-Euclidean spaces.

Author Contributions

Conceptualization, K.E.; formal analysis, N.P., K.E., A.S. and S.E.; investigation, N.P., K.E., A.S. and S.E.; methodology; N.P., K.E., A.S. and S.E.; supervision, S.E.; writing—original draft, K.E.; writing—review and editing, N.P., K.E., A.S. and S.E. All authors have read and agreed to the published version of the manuscript.

Funding

This research received no external funding.

Data Availability Statement

Not applicable.

Conflicts of Interest

The authors declare no conflict of interest.

References

  1. Konno, K.; Oono, H. New coupled dispersionless equations. J. Phys. Soc. Jpn. 1994, 63, 377–378. [Google Scholar]
  2. Konno, K.; Kakuhata, H. Interaction among growing, decaying and stationary solitons for coupled and stationary solitons. J. Phys. Soc. Jpn. 1995, 64, 2707–2709. [Google Scholar] [CrossRef]
  3. Shen, S.F.; Feng, B.F.; Ohta, Y. From the real and complex coupled dispersionless equations to the real and complex short pulse equations. Stud. Appl. Math. 2016, 136, 64–88. [Google Scholar]
  4. Kakuhata, H.; Konno, K. A generalization of coupled integrable, dispersionless system. J. Phys. Soc. Jpn. 1996, 65, 340–341. [Google Scholar] [CrossRef]
  5. Kakuhata, H.; Konno, K. Lagrangian, Hamiltonian and conserved quantities for coupled integrable, dispersionless equations. J. Phys. Soc. Jpn. 1996, 65, 1–2. [Google Scholar] [CrossRef]
  6. Feng, B.F.; Maruno, K.; Ohta, Y. Geometric formulation and multi-dark soliton solution to the defocusing complex short pulse equation. Stud. Appl. Math. 2017, 138, 343–367. [Google Scholar]
  7. Eren, K.; Ersoy, S. Complex coupled dispersionless equations in Minkowski 3-space. Complex Var. Elliptic Eq. 2022, 1–16. [Google Scholar] [CrossRef]
  8. Eren, K.; Yesmakhanova, K.; Ersoy, S.; Myrzakulov, R. Involute evolute curve family induced by the coupled dispersionless equations. Optik 2022, 270, 169915. [Google Scholar] [CrossRef]
  9. Eren, K. Geometry of Coupled Dispersionless Equations by Using Bishop Frames; Tbilisi-Mathematics; Sciendo: Warsaw, Poland, 2020; Volume 3920, pp. 38–47. [Google Scholar] [CrossRef]
  10. Eren, K. Geometry of coupled dispersionless equations with Mannheim Curves. An. Ştiint. Univ. “Ovidius” Constanta Ser. Mat. 2023, 31, 111–123. [Google Scholar]
  11. Eren, K. Forming coupled dispersionless equations of families of Bertrand curves. Turk. J. Math. 2023, 47, 87–97. [Google Scholar]
  12. Ali, A.H.; Jaber, A.S.; Yaseen, M.T.; Rasheed, M.; Bazighifan, Ö.; Nofal, T.A. A comparison of finite difference and finite volume methods with numerical simulations: Burgers equation model. Complexity 2023, 2022, 9367638. [Google Scholar]
  13. Almarri, B.; Ali, A.H.; Lopes, A.M.; Bazighifan, O. Nonlinear differential equations with distributed delay: Some new oscillatory solutions. Mathematics 2022, 10, 995. [Google Scholar]
  14. Bazighifan, O.; Ali, A.H.; Mofarreh, F.; Raffoul, Y.N. Extended approach to the asymptotic behavior and symmetric solutions of advanced differential equations. Symmetry 2022, 14, 686. [Google Scholar] [CrossRef]
  15. Vikas, C.; Ankur, J.; Jitendra, S. Numerical study of a non-linear porous sublimation problem with temperature-dependent thermal conductivity and concentration-dependent mass diffusivity. J. Heat Mass Transf. 2023, 145, 072701. [Google Scholar]
  16. Vikas, C.; Jitendra, S. An analytical study of coupled convective heat and mass transfer with volumetric heating describing sublimation of a porous body under most sensitive temperature inputs: Application of freeze-drying. Int. J. Heat Mass Transf. 2023, 214, 124294. [Google Scholar]
  17. Zhang, J.X.; Yang, G.H. Fault-tolerant output-constrained control of unknown Euler–Lagrange systems with prescribed tracking accuracy. Automatica 2020, 111, 108606. [Google Scholar] [CrossRef]
  18. Di, Y.; Zhang, J.X.; Zhang, X. Alternate admissibility LMI criteria for descriptor fractional order systems with 0 < α < 2. Fractal Fract. 2023, 7, 577. [Google Scholar]
  19. Zhang, J.X.; Yang, G.H. Low-complexity tracking control of strict-feedback systems with unknown control directions. IEEE Trans. Autom. Control 2019, 64, 5175–5182. [Google Scholar]
  20. Honda, S.; Takahashi, M. Framed curves in the Euclidean space. Adv. Geom. 2016, 16, 263–276. [Google Scholar] [CrossRef]
  21. Honda, S.; Takahashi, M. Bertrand and Mannheim curves of framed curves in the 3-dimensional Euclidean space. Turk. J. Math. 2020, 44, 883–899. [Google Scholar] [CrossRef]
  22. Honda, S.; Takahashi, M. Evolutes and focal surfaces of framed immersions in the Euclidean space. Proc. Roy. Soc. Edinburgh Sect. 2020, A150, 497–516. [Google Scholar] [CrossRef]
  23. Okuyucu, O.Z.; Canbirdi, M. Framed slant helices in Euclidean 3-space. Adv. Differ Equ. 2021, 504, 2021. [Google Scholar] [CrossRef]
  24. Doğan, Y.B.; İşbilir, Z.; Tosun, M. Generalized osculating-type ruled surfaces of singular curves. Math. Meth. Appl. Sci. 2023, 46, 8532–8545. [Google Scholar]
  25. Akyiğit, M.; Yıldız, Ö.G. On the framed normal curves in Euclidean 4-space. Fundam. J. Math. Appl. 2021, 4, 258–263. [Google Scholar] [CrossRef]
Figure 1. Tangent (blue), normal (green), and binormal (black) vectors of γ u , 0 at π 4 , 0 and 3 π 4 , 0 .
Figure 1. Tangent (blue), normal (green), and binormal (black) vectors of γ u , 0 at π 4 , 0 and 3 π 4 , 0 .
Mathematics 11 03531 g001
Figure 2. Generalized tangent (blue), generalized normal (green), and generalized binormal (black) vectors of the framed curve γ u , 0 , μ 1 , μ 2 at 0 , 0 and 0 , π 2 .
Figure 2. Generalized tangent (blue), generalized normal (green), and generalized binormal (black) vectors of the framed curve γ u , 0 , μ 1 , μ 2 at 0 , 0 and 0 , π 2 .
Mathematics 11 03531 g002
Figure 3. Tangent (blue), normal (green), and binormal (black) vectors of γ u , 0 at 1 , 0 and 1 , 0 .
Figure 3. Tangent (blue), normal (green), and binormal (black) vectors of γ u , 0 at 1 , 0 and 1 , 0 .
Mathematics 11 03531 g003
Figure 4. Generalized tangent (blue), generalized normal (green), and generalized binormal (black) vectors of the framed curve γ u , 0 , μ 1 , μ 2 at 0 , 0 .
Figure 4. Generalized tangent (blue), generalized normal (green), and generalized binormal (black) vectors of the framed curve γ u , 0 , μ 1 , μ 2 at 0 , 0 .
Mathematics 11 03531 g004
Disclaimer/Publisher’s Note: The statements, opinions and data contained in all publications are solely those of the individual author(s) and contributor(s) and not of MDPI and/or the editor(s). MDPI and/or the editor(s) disclaim responsibility for any injury to people or property resulting from any ideas, methods, instructions or products referred to in the content.

Share and Cite

MDPI and ACS Style

Popović, N.; Eren, K.; Savić, A.; Ersoy, S. Framed Curve Families Induced by Real and Complex Coupled Dispersionless-Type Equations. Mathematics 2023, 11, 3531. https://doi.org/10.3390/math11163531

AMA Style

Popović N, Eren K, Savić A, Ersoy S. Framed Curve Families Induced by Real and Complex Coupled Dispersionless-Type Equations. Mathematics. 2023; 11(16):3531. https://doi.org/10.3390/math11163531

Chicago/Turabian Style

Popović, Nikola, Kemal Eren, Ana Savić, and Soley Ersoy. 2023. "Framed Curve Families Induced by Real and Complex Coupled Dispersionless-Type Equations" Mathematics 11, no. 16: 3531. https://doi.org/10.3390/math11163531

Note that from the first issue of 2016, this journal uses article numbers instead of page numbers. See further details here.

Article Metrics

Back to TopTop