Solving Invariant Problem of Cauchy Means Based on Wronskian Determinant

Abstract

This paper studied the invariance of the Cauchy mean with respect to the arithmetic mean when the denominator functions satisfy certain conditions. The partial derivatives of Cauchy’s mean on the diagonal are obtained by using the method of Wronskian determinant in the process of solving. Then the invariant equation is solved by using the obtained partial derivatives. Finally, the solutions of invariant equations when the denominator functions satisfy the same simple harmonic oscillator equation or the denominator functions are power functions that have been obtained.

Share and Cite:

Ni, Y. and Wang, F. (2024) Solving Invariant Problem of Cauchy Means Based on Wronskian Determinant. Advances in Pure Mathematics, 14, 515-522. doi: 10.4236/apm.2024.147029.

1. Introduction

Throughout this paper, let I be a nonempty open interval. In the sequel, the classes of continuous strictly monotone and continuous positive real-valued functions defined on I will be denoted by CM( I ) and CP( I ) , respectively.

Let I be an open interval. A two-variable function M: I 2 I is called a mean on the interval I if

min( x,y )M( x,y )max( x,y ),x,yI,

holds. If for all x,yI , xy , these inequalities are strict, M is called strict ([1]). Obviously, if M is a mean, then M is reflexive, i.e., M( x,x )=x for all xI .

Let M,N: I 2 I be means. A mean K: I 2 I is called invariant with respect to the mean-type mappings ( M,N ) , shortly, ( M,N ) -invariant ([2]), if

K( M( x,y ),N( x,y ) )=K( x,y ),x,yI.

The simplest example of when the invariance equation holds is the well-known identity

G( A( x,y ),H( x,y ) )=G( x,y ),x,y>0,

where

A( x,y )= x+y 2 ,G( x,y )= xy ,H( x,y )= 2xy x+y ,

are arithmetic mean, geometric mean and harmonic mean respectively.

The Cauchy mean C f,g : I 2 I is defined by

C f,g ( x,y ):= ( f g ) 1 ( 0 1 f ( tx+( 1t )y )dt 0 1 g ( tx+( 1t )y )dt ),x,yI,

f,g:I are two continuous functions such that gCP( I ) and f g is bijective.

In 1984, Leach and Sholander [3] proposed the Cauchy mean theorem for difference quotients and the definition of Cauchy mean. Losonczi solved the comparison and equality problems of Cauchy means for more than two variables and the equality problem for the two-variable Cauchy means under the assumption of seven times differentiability in [4]-[6]. Then Matkowski reduced the regularity condition for the equality problem for the two-variable Cauchy means to first-order differentiability [7]. Other definitions for Cauchy have been in [8] [9]. The invariant equations of some special Cauchy mean-type mappings with geometric mean or arithmetic mean have been studied in [10] [11]. Other invariance of more generalized means generated by measure integral have been considered in [12] [13]. Recently, Zhang [14] gave a survey of results dealing with the problem of means.

In this paper, we will study the invariant equation of Cauchy mean with respect to the arithmetic mean, that is to solve

( f g ) 1 ( 0 1 f ( tx+( 1t )y )dt 0 1 g ( tx+( 1t )y )dt )+ ( h k ) 1 ( 0 1 h ( tx+( 1t )y )dt 0 1 k ( tx+( 1t )y )dt ), (1.1)

where x,yI , f,g,h,k:I are continuous functions such that g,kCP( I ) and f g , h k are injective functions.

2. Auxiliary Results

In order to describe the regularity conditions related to the two unknown functions f,g generating the mean C f,g , we introduce some notations. The class C 0 ( I ) consists of all those pairs ( f,g ) of continuous functions f,g:I such that gC( I ) and f/g C( I ) . For n , we say that the pair ( f,g ) is in the class C n ( I ) if ( f,g ) are n-times continuously differentiable functions such that and the function f gf g does not vanish anywhere on I. Obviously, the latter condition implies that f/g is strictly monotone, i.e., f/g C( I ) .

For ( f,g ) C 2 ( I ) , we also introduce the notation

Φ f,g := W f,g 2,0 W f,g 1,0 , Ψ f,g := W f,g 2,1 W f,g 1,0 ,

where the ( i,j ) -order Wronskian operator W i,j is defined in terms of ith and jth derivatives by

W f,g i,j :=| f ( i ) f ( j ) g ( i ) f ( j ) |.

Lemma 1 (Lemma 5 in [15]) Let ( f,g ) C 0 ( I ) . Then f,g are solutions of the second-order differential equation

y = Φ f,g y + Ψ f,g y.

In what follows, we will give some formulae for the high-order directional derivatives of C f,g at the diagonal points of the Cartesian product I×I . Given a pair ( f,g ) C 0 ( I ) and a fixed element xI , define the function m x := m x;f,g in a neighborhood of origin by

m x ( u )= m x;f,g ( u ):= C f,g ( x+ 1 2 u,x 1 2 u ). (2.1)

Using Lemma 2.2 from [16], we get the following

Lemma 2 Let n , ( f,g ) C n ( I ) . Then, for fixed xI , the function m x defined by (2.1) is n-times continuously differentiable at the origin and

i=0 n ( n i )| f ( i ) ( x ) ( f m x ) f ( ni ) ( 0 ) g ( i ) ( x )  ( g m x ) g ( ni ) ( 0 ) |=0.

Furthermore, m x ( 2k ) ( 0 )=x for k and for the cases n=2,4 , we have

m x;f,g ( 0 )= 1 12 Φ f,g ( x ),

m x;f,g ( 4 ) ( 0 )= 1 48 ( Φ f,g 3 +2 Φ f,g Ψ f,g )( x )+ 1 80 ( Φ f,g +3 Φ f,g Φ f,g + Ψ f,g 3  +2 Φ f,g Ψ f,g + 2 Ψ f,g )( x ).

Lemma 3 If ( f,g ),( h,k ) C 1 ( I ) , and Equation (1.1) holds, then

Φ f,g = Φ h,k :=Φ. (2.2)

Proof. By Equation (2.1), the invariant Equation (1.1) can be rewritten by

m x;f,g ( u )+ m x;h,k ( u )=0. (2.3)

By differentiating the above equation twice with respect to variable u, it can be obtained that

m x;f,g ( u )+ m x;h,k ( u )=0,

letting u=0

m x;f,g ( 0 )+ m x;h,k ( 0 )=0.

And because

m x;f,g ( 0 )= 1 12 Φ f,g ( x ), m x;h,k ( 0 )= 1 12 Φ h,k ( x ),

then

m x;f,g ( 0 )+ m x;h,k ( 0 )= 1 12 ( Φ h,k + Φ h,k )( x )=0,

that is

Φ f,g = Φ h,k =Φ.

Lemma 4 If ( f,g ),( h,k ) C 4 ( I ) , and Equation (1.1) holds, then

3 80 Φ Φ 1 120 Φ( Ψ f,g Ψ f,g )+ 1 80 ( Ψ f,g + Ψ h,k )=0. (2.4)

Proof. By differentiating Equation (2.3) fourth with respect to variable u, it can be obtained that

m x;f,g ( 4 ) ( u )+ m x;h,k ( 4 ) ( u )=0,

letting u=0 , we have

m x;f,g ( 4 ) ( 0 )+ m x;h,k ( 4 ) ( 0 )=0.

Since

m x;f,g ( 4 ) ( 0 )= 1 48 ( Φ f,g 3 +2 Φ f,g Ψ f,g )( x ) + 1 80 ( Φ f,g +3 Φ f,g Φ f,g + Ψ f,g 3 +2 Φ f,g Ψ f,g +2 Ψ f,g )( x ),

m x;h,k ( 4 ) ( 0 )= 1 48 ( Φ h,k 3 +2 Φ h,k Ψ h,k )( x ) + 1 80 ( Φ h,k +3 Φ h,k Φ h,k + Ψ h,k 3 +2 Φ h,k Ψ h,k +2 Ψ h,k )( x ),

then we get

3 80 Φ Φ 1 120 Φ( Ψ f,g Ψ f,g )+ 1 80 ( Ψ f,g + Ψ h,k )=0.

3. Solutions to Invariant Equations under Special Conditions

Although it is difficult to directly solve the Cauchy mean invariant equation with respect to the arithmetic mean, some types of invariant equations can also be solved with certain prerequisites. Next, we will solve the Cauchy mean invariant equation with respect to the arithmetic mean when the denominator functions g,k are equal and satisfy the harmonic oscillator equation

y =py. (3.1)

for some p . Then, we introduce the sine and cosine type functions S p , C p : by

S p ( x ):={ sin p x, p<0, x, p=0, sinh( p x ), p>0, C p ( x ):={ cos p x, p<0, x, p=0, cosh( p x ), p>0.

Due to basic results on the second-order linear differential equations, the functions S p and C p given above form a fundamental system of solutions for the differential Equation (3.1).

Theorem 1 If ( f,g ),( h,k ) C 4 ( I ) . Assume k=g satisfying Equation (3.1) and Equation (1.1) holds, then exists c such that

f=g 1 g 2 exp ( c g 4 9 ),h=g 1 g 2 exp ( c g 4 9 ). (3.2)

Proof. Since Equation (3.1) holds, by the definitions of Φ f,g and Ψ f,g we get

Ψ f,g = | f f g g | | f f g g | = | f f pg g | | f f g g | = g g Φ f,g +p.

Similarly, we have

Ψ h,k = k k Φ h,k +p.

Using (2.2) and the above two equalities, we have

Ψ f,g + Ψ h,k =2p, Ψ f,g Ψ h,k =2 g g Φ,

and thus Ψ f,g + Ψ h,k =0 . Consequently, (2.4) becomes

3 80 Φ Φ + g 60g Φ 2 =0,

which implies that there exists some c such that

Φ=c g 4 9 .

Hence, we obtain

Φ f,g = ( W f,g 1,0 ) W f,g 1,0 =c g 4 9 , Φ h,k = ( W h,k 1,0 ) W h,k 1,0 =c g 4 9 ,

Since W f,g 1,0 =( f g ) g 2 and W h,k 1,0 =( h k ) k 2 , integrating the above equations, we get (3.2).

In what follows, we will restrict to the basic solutions to the equation of harmonic oscillator, i.e. consider the functions

(H1) g( x )=x for xI( 0,+ ) ;

(H2) g( x )= e x for xI ;

(H3) g( x )=sinx for xI( 0, π 2 ) .

Theorem 2 If ( f,g ),( h,k ) C 4 ( I ) . Assume k=g satisfying one of the conditions (H1) - (H3) and Equation (1.1) holds, then

1) For case (H1), there exists b 1 , b 2 + ,c ,

f( x )= b 1 1 x 2 exp ( c x 13 9 ),h( x )= b 2 1 x 2 exp ( c x 13 9 ),xI.

2) For case (H2), there exists b 1 , b 2 + ,c ,

f( x )= b 1 e x e 2x exp ( c e 4x 9 ),h( x )= b 2 b 1 e x e 2x exp ( c e 4x 9 ),xI.

3) For case (H3), there exists c ,

f( x )=cosx 1 cos 2 x exp ( c cos 4 9 x ), h( x )=cosx 1 cos 2 x exp ( c cos 4 9 x ),xI.

Next, we will consider the solution of the invariant equation for (1.1) when the denominator functions are power functions, that is g( x )= x p , k( x )= x r .

Theorem 3 Let g( x )= x p ,k( x )= x r ,p=r and the invariant Equation (1.1) holds, then there exists c 1 , c 2 such that

f=g 1 g 2 exp ( ± c 1 β+ c 2 ),h=g 1 g 2 exp ( ± c 1 β+ c 2 ),

where β= p 3 ( 1p ) x 2 .

Proof. When g=k= x p we have g ( x )= k ( x )=p x p1 and g ( x )= k ( x )=p( p1 ) x p2 , the relationship between Φ f,g and Ψ f,g is

Ψ f,g ( x )= p x Φ f,g ( x )+ p( p1 ) x 2 .

Similarly

Ψ h,k ( x )= p x Φ h,k ( x )+ p( p1 ) x 2 .

Using (2.2) and the above two equalities, we have

Ψ f,g ( x )+ Ψ h,k ( x )= 2p( p1 ) x 2 , Ψ f,g ( x ) Ψ h,k ( x )= 2pΦ x ,

and thus

Ψ f,g ( x )+ Ψ h,k ( x )= 4p( p1 ) x 3 .

Consequently, (2.4) becomes

3 80 Φ( x ) Φ ( x )+ p 60x Φ 2 ( x ) p( p1 ) 20 x 3 =0,

which implies that there exist c 1 , c 2 such that

Φ 2 ( x )= c 1 p 3 ( 1p ) x 2 + c 2 .

Hence, we obtain

Φ f,g = ( W f,g 1,0 ) W f,g 1,0 =c g 4 9 , Φ h,k = ( W h,k 1,0 ) W h,k 1,0 =c g 4 9 .

By W f,g 1,0 =( f g ) g 2 and W h,k 1,0 =( h k ) k 2 , integrating the above equations, we get the result.

Conflicts of Interest

The authors declare no conflicts of interest regarding the publication of this paper.

References

[1] Cauchy, A.L. (1821) Cours d’analyse de l’École Royale Polytechnique, Ire partie: Analyse Algébrique. Imprimérie Royale.
[2] Daróczy, Z. and Páles, Z. (2002) Gauss-Composition of Means and the Solution of the Matkowski—Sutô Problem. Publicationes Mathematicae Debrecen, 61, 157-218.
https://doi.org/10.5486/pmd.2002.2713
[3] Leach, E.B. and Sholander, M.C. (1984) Multi-Variable Extended Mean Values. Journal of Mathematical Analysis and Applications, 104, 390-407.
https://doi.org/10.1016/0022-247x(84)90003-9
[4] Losonczi, L. (2000) Equality of Cauchy Mean Values. Publicationes Mathematicae Debrecen, 57, 217-230.
https://doi.org/10.5486/pmd.2000.2338
[5] Losonczi, L. (2002) On the Comparison of Cauchy Mean Values. Journal of Inequalities and Applications, 2002, Article ID: 876016.
https://doi.org/10.1155/s1025583402000024
[6] Losonczi, L. (2003) Equality of Two Variable Cauchy Mean Values. Aequationes Mathematicae, 65, 61-81.
https://doi.org/10.1007/s000100300004
[7] Matkowski, J. (2004) Solution of a Regularity Problem in Equality of Cauchy Means. Publicationes Mathematicae Debrecen, 64, 391-400.
https://doi.org/10.5486/pmd.2004.2939
[8] Berrone, L.R. and Moro, J. (2000) On Means Generated through the Cauchy Mean Value Theorem. Aequationes Mathematicae, 60, 1-14.
https://doi.org/10.1007/s000100050131
[9] Berrone, L.R. (2015) Generalized Cauchy Means. Aequationes Mathematicae, 90, 307-328.
https://doi.org/10.1007/s00010-015-0341-7
[10] Głazowska, D. (2011) Some Cauchy Mean-Type Mappings for Which the Geometric Mean Is Invariant. Journal of Mathematical Analysis and Applications, 375, 418-430.
https://doi.org/10.1016/j.jmaa.2010.09.036
[11] Zhang, Q., Xu, B. and Han, M. (2020) Some Cauchy Mean-Type Mappings for Which the Arithmetic Mean Is Invariant. Aequationes Mathematicae, 95, 13-34.
https://doi.org/10.1007/s00010-020-00743-0
[12] Zhang, Q. and Xu, B. (2011) An Invariance of Geometric Mean with Respect to Generalized Quasi-Arithmetic Means. Journal of Mathematical Analysis and Applications, 379, 65-74.
https://doi.org/10.1016/j.jmaa.2010.12.025
[13] Zhang, Q. and Xu, B. (2017) On Some Invariance of the Quotient Mean with Respect to Makó-Páles Means. Aequationes Mathematicae, 91, 1147-1156.
https://doi.org/10.1007/s00010-017-0502-y
[14] Zhang, Q. (2024) Means and the Equations of Means. Advances in Mathematics (China), 53, 468-498.
[15] Páles, Z. and Zakaria, A. (2018) On the Invariance Equation for Two-Variable Weighted Nonsymmetric Bajraktarević Means. Aequationes Mathematicae, 93, 37-57.
https://doi.org/10.1007/s00010-018-0560-9
[16] Zhang, Q. and Li, L. (2023) On the Invariance of Generalized Quasiarithmetic Means. Journal of Applied Analysis & Computation, 13, 1581-1596.
https://doi.org/10.11948/20220380

Copyright © 2025 by authors and Scientific Research Publishing Inc.

Creative Commons License

This work and the related PDF file are licensed under a Creative Commons Attribution 4.0 International License.