Open Access

A problem with conditions given on inner characteristics and on the line of degeneracy for a mixed-type equation with singular coefficients

Boundary Value Problems20132013:210

DOI: 10.1186/1687-2770-2013-210

Received: 11 March 2013

Accepted: 12 August 2013

Published: 12 September 2013

Abstract

In an unbounded domain, we consider a problem with conditions given on inner characteristics in a hyperbolic part of the considered domain and on some parts of the line of parabolic degeneracy. We prove the unique solvability of the mentioned problem with the help of the extremum principle. The proof of solvability is based on the theory of singular integral equations, Wiener-Hopf equations and Fredholm integral equations.

Introduction and formulation of a problem

Swedish mathematician Gellerstedt [1] investigated a boundary value problem for the equation y m u x x + u y y = 0 (m is an odd number), in which the values of a sought function are given on two pieces of characteristics, and on curve x 2 + 4 / ( m + 2 ) 2 y m + 2 = 1 ( y > 0 ), the value of its derivative is given. This problem has applications in transonic gas dynamics [2].

The Gellerstedt problem and related problems for mixed elliptic-hyperbolic equations were studied in the works [35]. The work [6] is devoted to studying the Gellerstedt problem with data on one family of characteristics and with nonlocal gluing conditions. In the work [7] the unique solvability of the Gellerstedt problem for a parabolic-hyperbolic equation of the second kind was studied. The Cauchy problem was investigated by Jachmann and Reissig [8]. Flaisher [9] studied a problem with data on characteristics, outgoing from the origin.

In an unbounded domain, Wolfersdorf [10] investigated the Tricomi problem for the Gellerstedt equation ( sign y ) | y | m u x x + u y y = 0 , m > 0 .

Boundary value problems for the wave equation and equations of mixed type were investigated in [11]. In the work [12] the general Tricomi-Rassias problem was investigated for the generalized Chaplygin equation. In the paper, the representation of a solution of the general Tricomi-Rassias problem was given for the first time; moreover, the uniqueness and existence of a solution for the problem were proved by a new method. In the works [13, 14], fundamental solutions were found and boundary value problems for degenerate elliptic equations were solved.

Due to applications in gas dynamics, the interest in studying boundary value problems for degenerate elliptic and mixed-type equations with singular coefficients has been growing. Note the latest work [15] on this topic, where the Dirichlet problem for a three-dimensional elliptic equation with singular coefficients was investigated. Let D = D + D I be a domain of the complex plane z = x + i y , where D + is a half-plane y > 0 , D is a finite domain of the half-plane y < 0 , bounded by characteristics AC and BC of the equation
( sign y ) | y | m u x x + u y y + α 0 | y | 1 m 2 u x + β 0 y u y = 0 ,
(1)

outgoing from the points A ( 1 , 0 ) , B ( 1 , 0 ) , and by the segment AB of the straight line y = 0 , I = { ( x , y ) : 1 < x < 1 , y = 0 } . In equation (1) assume that m, α 0 , β 0 are some real numbers such that m > 0 , m / 2 < β 0 < 1 , | α 0 | < m + 2 2 .

Let D R + be a finite domain separated from D + by the arc A R B R of the normal curve x 2 + 4 y m + 2 / ( m + 2 ) 2 = R 2 , R x R , 0 y ( ( m + 2 ) R / 2 ) 2 / ( m + 2 ) , A R ( R , 0 ) , B R ( R , 0 ) .

We introduce the following denotations: I ¯ 1 = { ( x , y ) : < x 1 , y = 0 } , I ¯ 2 = { ( x , y ) : 1 x < , y = 0 } , C 0 ( C 1 ) are points of intersection of the characteristic A C ( B C ) with that outgoing from the point E ( c , 0 ) , where c I is an arbitrary fixed number, D R = D R + D , D R is a subdomain in the unbounded domain D.

Consider the diffeomorphism q ( x ) C 1 [ c , 1 ] mapping the segment [ c , 1 ] into the segment [ 1 , c ] ; moreover, q ( x ) < 0 , q ( c ) = c , q ( 1 ) = 1 . As an example, we take a linear function q ( x ) = p k x , where k = ( 1 + c ) / ( 1 c ) , p = 2 c / ( 1 c ) , p k = 1 , p k c = c .

Note that in the Gellerstedt problem the values of a sought function in the hyperbolic part of the mixed domain D are given on the characteristics E C 0 and E C 1 : u | E C 0 = ψ 1 ( x ) , u | E C 1 = ψ 2 ( x ) .

Boundary value problem for equation (1) in the case when α 0 = 0 , with data on the piece of A C 0 of the characteristic AC and with inner boundary local shifting condition on AB of the line of degeneracy y = 0 , was studied in the work [16], and with data on pieces A C 0 and B C 1 in the work [17].

In the present work, we study a new boundary problem, where characteristic E C 0 is free from the conditions, and the needed condition of Gellerstedt is replaced by an inner boundary condition with local shifting on the parabolic line of degeneracy.

Formulation of the problem

Problem G. In the domain D, find a function u ( x , y ) satisfying the following conditions:
  1. (1)

    the function u ( x , y ) is continuous in any subdomain D ¯ R of the unbounded domain D;

     
  2. (2)

    u ( x , y ) belongs to the space C 2 ( D + ) and satisfies equation (1) in this domain;

     
  3. (3)

    u ( x , y ) is a generalized solution from the class R 1 ( τ ( x ) , ν ( x ) H ) in the domain D  [18];

     
  4. (4)
    the following equalities are fulfilled:
    lim R u ( x , y ) = 0 , y 0 , R 2 = x 2 + 4 ( m + 2 ) 2 y m + 2 ;
    (2)
     
  5. (5)
    u ( x , y ) satisfies the boundary conditions
    u ( x , y ) | y = 0 = τ i ( x ) , x I ¯ i , i = 1 , 2 ,
    (3)
     
u ( x , y ) | E C 1 = ψ ( x ) , c x ( c + 1 ) / 2 ,
(4)
u ( q ( x ) , 0 ) = μ u ( x , 0 ) + f ( x ) , c x 1 ,
(5)
and the conjugation condition
lim y + 0 y β 0 u y = lim y 0 ( y ) β 0 u y , x I { c } .
(6)

Moreover, these limits at x = ± 1 , x = c can have singularity of the order less than 1 α β , where α = ( m + 2 ( β 0 + α 0 ) ) / ( 2 ( m + 2 ) ) , β = ( m + 2 ( β 0 α 0 ) ) / ( 2 ( m + 2 ) ) , f ( x ) , ψ ( x ) , τ i ( x ) are given functions such that f ( x ) C [ c , 1 ] C 1 , δ 1 ( c , 1 ) , f ( c ) = 0 , f ( 1 ) = 0 , ψ ( x ) C [ c , ( c + 1 ) / 2 ] C 1 , δ 1 ( c , ( c + 1 ) / 2 ) , ψ ( c ) = 0 , μ-const., the functions τ i ( x ) are expressed as τ i ( x ) = ( 1 x 2 ) τ ˜ i ( x ) in a neighborhood of the points x = 1 , x = 1 , and they satisfy Holder’s condition on any intervals ( N , 1 ) , ( 1 , N ) , N > 1 . For a sufficiently large absolute value | x | , they satisfy the inequality | τ i ( x ) | M | x | δ , where δ, M are positive constants.

Note that condition (5) is an inner boundary condition with local shifting on the parabolic line of degeneracy [1618].

The uniqueness of the solution of problem G

Theorem 1 Let conditions τ i ( x ) 0 , i = 1 , 2 , ψ ( x ) 0 , f ( x ) 0 , 0 < μ < 1 be fulfilled. Then problem G has only a trivial solution.

Proof Solution of the modified Cauchy problem for equation (1) in the domain D , satisfying initial conditions lim y 0 u ( x , y ) = τ ( x ) , x I ¯ , lim y 0 ( y ) β 0 u y = ν ( x ) , x I , is given by the formula [18]
u ( x , y ) = γ 1 1 1 τ [ x + 2 t m + 2 ( y ) ( m + 2 ) / 2 ] ( 1 + t ) β 1 ( 1 t ) α 1 d t + γ 2 ( y ) 1 β 0 1 1 ν [ x + 2 t m + 2 ( y ) ( m + 2 ) / 2 ] ( 1 + t ) α ( 1 t ) β d t ,
(7)

where γ 1 = Γ ( α + β ) 2 1 α β / Γ ( β ) Γ ( α ) , γ 2 = Γ ( 2 α β ) 2 α + β 1 / ( ( 1 β 0 ) Γ ( 1 α ) Γ ( 1 β ) ) , Γ ( z ) is Euler’s gamma function [19].

Satisfying (7) to condition (4), after some evaluations, we obtain
ν ( X ) = γ D c , X 1 α β τ ( X ) + Ψ ( X ) , X ( c , 1 ) ,
(8)
where
Ψ ( X ) = ( X c ) α D c , X 1 β ψ ( ( X + c ) / 2 ) γ 2 ( m + 2 2 ) 1 α β Γ ( 1 β ) , X = 2 x c ,

γ = 2 Γ ( 1 α ) Γ ( α + β ) ( ( m + 2 ) / 4 ) α + β / ( Γ ( β ) Γ ( 1 α β ) ) , D c , x l is a differential operator of fractional order in a sense of Riemann-Liouville [19].

Equality (8) is the first functional relation between functions τ ( x ) and ν ( x ) , on an interval of the axis y = 0 reduced from the domain D .

Prove that if τ i ( x ) 0 , i = 1 , 2 , ψ ( x ) 0 , f ( x ) 0 , 0 < μ < 1 , then the solution of problem G in the domain D + I 1 I ¯ I 2 is trivial by virtue of equality (2).

Let ( x 0 , y 0 ) be a point of positive maximum of the function u ( x , y ) in the domain D ¯ R + . By virtue of (2) for ε > 0 , there exists R 0 = R 0 ( ε ) such that at R > R 0 ( ε )
| u ( x , y ) | < ε , ( x , y ) A R B R .
(9)
Considering designation u ( x , 0 ) = τ ( x ) , x I ¯ , condition (5) can be written as
τ ( q ( x ) ) = μ τ ( x ) + f ( x ) , x [ c , 1 ] .
(10)

Hence, at x = c (where f ( x ) 0 ) we get τ ( q ( c ) ) = μ τ ( c ) . Then, taking q ( c ) = c into account, we have τ ( c ) ( 1 μ ) = 0 , i.e., τ ( c ) = 0 . By the Hopf principle [20], the function u ( x , y ) cannot reach its positive maximum and negative minimum on inner points of the domain  D ¯ R + . By virtue of 0 < μ < 1 , from (10) (where f ( x ) 0 ) it follows that there are no points of extremum in the interval ( 1 , c ) of the axis y = 0 .

Assume that the sought function reaches its positive maximum and negative minimum on points of the interval ( c , 1 ) of the axis y = 0 .

Let ( x 0 , 0 ) (where x 0 ( c , 1 ) ) be a point of positive maximum (negative minimum) of the function u ( x , 0 ) = τ ( x ) . Then [21]
ν ( x 0 ) < 0 ( ν ( x 0 ) > 0 ) .
(11)
It is well known that on the point of positive maximum (negative minimum) of the function τ ( x ) for the differential operators of fractional order, the following inequality D c , x 0 1 α β τ ( x ) > 0 ( D c , x 0 1 α β τ ( x ) < 0 ) holds. Hence, considering (8) (where Ψ ( X ) 0 ), we deduce
ν ( x 0 ) = γ D c , x 0 1 α β τ ( x ) > 0 ( ν ( x 0 ) = γ D c , x 0 1 α β τ ( x ) < 0 ) .
(12)
Inequalities (11) and (12) contradict the gluing condition (6), therefore x 0 ( c , 1 ) . Hence, there is no point of positive maximum (negative minimum) of the function u ( x , y ) in the interval AB. Let R > R 0 . By the Hopf principle and the statements obtained above, it follows that ( x 0 , y 0 ) A R B R , and by virtue of (9), | u ( x 0 , y 0 ) | < ε . Consequently, | u ( x , y ) | < ε for ( x , y ) D ¯ R + . From here, due to arbitrariness of ε at R , we conclude that u ( x , y ) 0 in the domain D + I 1 I ¯ I 2 . Then
lim y + 0 u ( x , y ) = 0 , x I ¯ , lim y + 0 y β 0 u y = 0 , x I .
(13)

Considering (13), due to continuity of the solution in D ¯ R + and conjugation condition (6), we restore the desired function u ( x , y ) in the domain D as a solution of the modified Cauchy problem with homogeneous data and get u ( x , y ) 0 in the domain D ¯ . The proof of Theorem 1 is complete. □

The existence of the solution of problem G

Theorem 2 Let the following conditions be fulfilled: q ( x ) = p k x , 0 < μ < 1 , λ μ k α + β + θ 1 2 π e 2 b π < 1 , 1 2 ( α + β + θ ) < 0 , λ = e b π γ Γ ( 1 α β ) k 2 ( 1 β 0 ) ( m + 2 ) / 2 + π sin ( α + β ) π ( e b π e b π cos ( α + β ) π ) > 0 , where b = α 0 m + 2 , θ = arctg ( λ π ) π , k 2 = 1 4 π ( 4 m + 2 ) 2 2 a Γ ( 1 l ) Γ ( 1 l ¯ ) Γ ( 2 l l ¯ ) , 2 a = α + β , l = a + b i . Then problem G has a solution.

Proof The solution of the Dirichlet problem satisfying condition (3) and the requirement u ( x , 0 ) = τ ( x ) , x I ¯ , can be represented in the form
u ( x , y ) = k 2 ( 1 β 0 ) y 1 β 0 1 1 τ ( t ) ( r 0 2 ) a 1 exp ( 2 b arcsin t x r 0 ) d t + F 1 ( x , y ) ,
(14)
where r 0 2 = ( x t ) 2 + 4 ( m + 2 ) 2 y m + 2 ,
F 1 ( x , y ) = k 2 ( 1 β 0 ) y 1 β 0 ( 1 τ 1 ( t ) ( r 0 2 ) a 1 exp ( 2 b arcsin t x r 0 ) d t + 1 τ 2 ( t ) ( r 0 2 ) a 1 exp ( 2 b arcsin t x r 0 ) d t ) .
Differentiating (14) along y and considering the equality
y { y 1 β 0 ( r 0 2 ) a 1 exp ( 2 b arcsin t x r 0 ) } = m + 2 2 y β 0 t { ( x t ) ( r 0 2 ) a 1 exp ( 2 b arcsin t x r 0 ) } ,
we get
u y = k 2 ( 1 β 0 ) m + 2 2 y β 0 1 1 τ ( t ) t [ ( x t ) ( r 0 2 ) a 1 exp ( 2 b arcsin t x r 0 ) ] d t + F 1 ( x , y ) y .
Integrating by parts (taking τ ( 1 ) = 0 , τ ( 1 ) = 0 into account), after some evaluations, we have
u y = k 2 ( 1 β 0 ) m + 2 2 y β 0 1 1 τ ( t ) [ ( x t ) ( r 0 2 ) a 1 exp ( 2 b arcsin t x r 0 ) ] d t + F 1 ( x , y ) y .
(15)
Multiplying both sides of (15) to y β 0 , and passing to the limit at y + 0 , we obtain
ν ( x ) = k 2 ( 1 β 0 ) m + 2 2 1 1 τ ( t ) ( x t ) | x t | 2 a 2 exp ( 2 b arcsin t x | t x | ) d t + Φ ( x ) , x ( 1 , 1 ) ,
(16)

where Φ ( x ) = lim y + 0 y β 0 F 1 ( x , y ) y = k 2 ( 1 β 0 ) 2 ( e b π 1 τ 1 ( t ) d t ( x t ) 2 2 a + e b π 1 τ 2 ( t ) d t ( t x ) 2 2 a ) .

Equation (16) is the second functional relation between unknown functions ν ( x ) , τ ( x ) in the interval I of the axis y = 0 deduced from the upper half-plane.

Note that relation (16) is valid for the whole I. Breaking ( 1 , 1 ) into the intervals ( 1 , c ) and ( c , 1 ) , then into the integral with bounds ( 1 , c ) , we make change of variables t = q ( s ) = p k s . By virtue of (10), from (16) we obtain
ν ( x ) = k 2 ( 1 β 0 ) m + 2 2 × [ μ e b π c 1 τ ( s ) d s ( x q ( s ) ) 1 2 a e b π c 1 f ( s ) d s ( x q ( s ) ) 1 2 a + e b π c x τ ( t ) ( x t ) 2 a 1 d t e b π x 1 τ ( t ) ( t x ) 2 a 1 d t ] + Φ ( x ) , x ( c , 1 ) .
(17)
Considering (6), excluding the function ν ( x ) from (8) and (17), we deduce
2 γ k 2 ( 1 β 0 ) ( m + 2 ) D c , x 1 α β τ ( x ) + F 0 ( x ) = μ e b π c 1 τ ( s ) d s ( x q ( s ) ) 1 2 a + e b π c x τ ( t ) d t ( x t ) 1 2 a e b π x 1 τ ( t ) d t ( t x ) 1 2 a , F 0 ( x ) = 2 ( Ψ ( x ) Φ ( x ) ) k 2 ( 1 β 0 ) ( m + 2 ) + e b π c 1 f ( s ) d s ( x q ( s ) ) 1 2 a .
(18)
Applying the operator Γ ( 1 α β ) D c , x α + β 1 to the both sides of (18), considering D c , x α + β 1 D c , x 1 α β τ ( x ) = τ ( x ) , we have
2 γ k 2 ( 1 β 0 ) ( m + 2 ) Γ ( 1 α β ) τ ( x ) + Γ ( 1 α β ) D c , x α + β 1 F 0 ( x ) = Γ ( 1 α β ) D c , x α + β 1 × [ μ e b π c 1 τ ( s ) d s ( x q ( s ) ) 1 2 a + e b π c x τ ( t ) d t ( x t ) 1 2 a e b π x 1 τ ( t ) d t ( t x ) 1 2 a ] , x [ c , 1 ] .
(19)
Further, one can easily prove that
μ e b π Γ ( 1 α β ) D c , x α + β 1 c 1 τ ( s ) d s ( x q ( s ) ) 1 α β = μ e b π c 1 ( x c c q ( s ) ) 1 α β τ ( s ) q ( s ) d s x q ( s ) ,
(20)
e b π Γ ( 1 α β ) D c , x α + β 1 c x τ ( t ) d t ( x t ) 1 α β = e b π Γ ( α + β ) Γ ( 1 α β ) τ ( x ) ,
(21)
e b π Γ ( 1 α β ) D c , x α + β 1 x 1 τ ( t ) d t ( t x ) 1 α β = e b π π ctg ( ( α + β ) π ) τ ( x ) + e b π c 1 ( t c x c ) α + β 1 τ ( t ) d t t x .
(22)
Substituting (20)-(22) into (19), after some calculations, we get the singular integral equation regarding the function τ ( x ) :
τ ( x ) λ c 1 ( x c t c ) 1 α β τ ( t ) d t t x = μ λ e 2 b π c 1 ( x c c q ( s ) ) 1 α β τ ( s ) q ( s ) d s x q ( s ) + F ( x ) ,
(23)
where F ( x ) = Γ ( 1 α β ) λ e b π D c , x α + β 1 F 0 ( x ) , F ( x ) C [ c , 1 ] C 0 , γ ¯ ( c , 1 ) , γ ¯ > 1 β . The integral operator on the right-hand side of (23) is not regular since expression under the integral has isolated singularity of the first order at x = c , s = c , and this is why this item is written separately. Setting the right-hand side of (23) temporarily as a known function, we rewrite it as follows:
τ ( x ) λ c 1 ( x c t c ) 1 α β τ ( t ) d t t x = g 0 ( x ) ,
(24)
where
g 0 ( x ) = μ λ e 2 b π c 1 ( x c c q ( s ) ) 1 α β τ ( s ) q ( s ) d s x q ( s ) + F ( x ) .
(25)
Setting ( x c ) α + β 1 τ ( x ) = ρ ( x ) , ( x c ) α + β 1 g 0 ( x ) = g ( x ) , we rewrite equation (24) as
ρ ( x ) λ c 1 ρ ( t ) d t t x = g ( x ) .
(26)
We search for a solution of equation (26) in the class of functions, satisfying Holder’s condition on ( c , 1 ) and bounded at x 1 , and at x c they can tend to infinity with order less than 1 α β . Index χ of this class is equal to zero, and solution can be explicitly found by the method of Carleman-Vekua [22]:
ρ ( x ) = g ( x ) 1 + λ 2 π 2 + λ 1 + λ 2 π 2 ( 1 x x c ) θ c 1 ( t c 1 t ) θ g ( t ) d t t x ,
where θ = ψ / π , ψ = arctg ( λ π ) , 0 < θ < 1 / 2 . From here, according to designation, we have
τ ( x ) = g 0 ( x ) 1 + λ 2 π 2 + λ 1 + λ 2 π 2 ( 1 x x c ) θ c 1 ( t c 1 t ) θ ( t c 1 t ) α + β 1 g 0 ( t ) d t t x .
(27)
Substituting (25) into (27), after some evaluations, we obtain
τ ( x ) = λ μ e 2 b π 1 + λ 2 π 2 c 1 ( x c c q ( s ) ) 1 α β τ ( s ) q ( s ) d s x q ( s ) λ 2 μ e 2 b π 1 + λ 2 π 2 ( 1 x x c ) θ c 1 ( x c c q ( s ) ) 1 α β τ ( s ) q ( s ) d s × c 1 ( t c 1 t ) θ d t ( t q ( s ) ) ( t x ) + F 1 ( x ) ,
(28)
where
F 1 ( x ) = F ( x ) 1 + λ 2 π 2 + λ 1 + λ 2 π 2 ( 1 x x c ) θ c 1 ( t c 1 t ) θ ( t c x c ) α + β 1 F ( t ) d t t x .
Equation (28), by virtue of q ( x ) = p k x , where k = ( 1 + c ) / ( 1 c ) , p = 2 c / ( 1 c ) , can be rewritten as
τ ( x ) = λ μ k α + β e 2 b π 1 + λ 2 π 2 c 1 ( x c s c ) 1 α β τ ( s ) d s ( p k s ) x + λ 2 μ k α + β e 2 b π 1 + λ 2 π 2 ( 1 x x c ) θ c 1 ( x c s c ) 1 α β τ ( s ) d s × c 1 ( t c 1 t ) θ d t ( t x ) ( t ( p k s ) ) + F 1 ( x ) , x [ c , 1 ] .
(29)
Further, in (29) we calculate the inner integral
A ( x , s ) = c 1 ( t c 1 t ) θ d t ( t x ) ( t + k s p ) .
Expanding the rational factor of the integrand in simple fractions and completing simple calculations, we have
A ( x , s ) = 1 x + k s p ( π ctg ( π θ ) ( 1 x ) θ ( x c ) θ + π sin ( π θ ) k θ ( s c 1 + k s p ) θ ) .
(30)
Substituting (30) into (29), considering ctg ( arctg x ) = 1 x , x 0 , after some calculations, we get
τ ( x ) = λ 2 μ k α + β + θ e 2 b π 1 + λ 2 π 2 π sin ( π θ ) × c 1 ( 1 x 1 + k s p ) θ ( x c s c ) 1 α β θ τ ( s ) d s ( p k s ) x + F 1 ( x ) , x [ c , 1 ] .
(31)
Considering formulas sin ( arctg x ) = x 1 + x 2 , π sin ( π θ ) = 1 + λ 2 π 2 λ , we rewrite equality (31) as
τ ( x ) = λ μ k α + β + θ e 2 b π 1 + λ 2 π 2 × c 1 ( 1 x 1 + k s p ) θ ( x c s c ) 1 α β θ τ ( s ) d s ( p k s ) x + F 1 ( x ) , x [ c , 1 ] .
(32)
In (32) allocating a characteristic part, we get
τ ( x ) = λ μ k α + β + θ e 2 b π 1 + λ 2 π 2 × c 1 ( x c s c ) 1 α β θ τ ( s ) d s ( p k s ) x + R 1 [ τ ( x ) ] + F 1 ( x ) , x [ c , 1 ] ,
(33)
where
R 1 [ τ ( x ) ] = λ μ k α + β + θ e 2 b π 1 + λ 2 π 2 × c 1 ( x c s c ) 1 α β θ τ ( s ) d s ( p k s ) x [ ( 1 x 1 ( p k s ) ) θ 1 ] d s
is a regular operator. We rewrite equation (33) as
τ ( x ) = λ μ k α + β + θ e 2 b π 1 + λ 2 π 2 × c 1 ( x c s c ) 1 α β θ τ ( s ) d s ( s c ) ( k + x c s c ) + R 1 [ τ ( x ) ] + F 1 ( x ) , x [ c , 1 ] .
(34)
Making change of variables x = c + ( 1 c ) e ξ , s = c + ( 1 c ) e t and designating ρ ( ξ ) = τ ( c + ( 1 c ) e ξ ) e ( 1 2 ( α + β + θ ) ) ξ , we write equation (34) as
ρ ( ξ ) = λ μ k α + β + θ e 2 b π 1 + λ 2 π 2 0 ρ ( t ) d t k e ξ t 2 + e ξ t 2 + R 2 [ ρ ( ξ ) ] + F 2 ( ξ ) , ξ [ 0 , ) ,
(35)
where
R 2 [ ρ ( ξ ) ] = R 1 [ τ ( c + ( 1 c ) e ξ ) ] e ( 1 2 ( α + β + θ ) ) ξ , F 2 ( ξ ) = F 1 ( c + ( 1 c ) e ξ ) e ( 1 2 ( α + β + θ ) ) ξ .
We introduce the following notations:
H ( ξ ) = λ μ k α + β + θ e 2 b π 1 + λ 2 π 2 1 k e ξ / 2 + e ξ / 2 .
(36)
By virtue of (36), equation (35) has the form
ρ ( ξ ) = 0 H ( ξ t ) ρ ( t ) d t + R 2 [ ρ ( ξ ) ] + F 2 ( ξ ) , ξ [ 0 , ) .
(37)

Equation (37) is an integral equation of Wiener-Hopf [23]. Functions H ( ξ ) , F 2 ( ξ ) are indicative of decrease at infinity; moreover, H ( ξ ) C ( 0 , ) , F 2 ( ξ ) H α 1 ( 0 , ) . Consequently, H 2 ( ξ ) , F 2 ( ξ ) L 2 H α 1 , and a solution of equation (37) will be sought in the class { 0 } [23]. Using Fourier transformation, equation (37) is deduced to the Riemann problem and is solved in quadratures. Fredholm’s theorems are only valid in one particular case, when the index of these equations is equal to zero.

Calculate the index of the expression 1 H ( ξ ) , where
H ( ξ ) = e i ξ t H ( t ) d t = λ μ k α + β + θ e 2 b π 1 + λ 2 π 2 e i ξ t d t k e t / 2 + e t / 2 .
(38)
Using the theory of residues, we find
e i ξ t d t k e t / 2 + e t / 2 = π e i ξ ln k k ch ( π ξ ) .
(39)
Substituting (39) into (38), we have
H ( ξ ) = λ μ k α + β + θ 1 2 π e 2 b π 1 + λ 2 π 2 e i ξ ln k ch ( π ξ ) .
By virtue of the condition λ μ k α + β + θ 1 2 π e 2 b π < 1 , and since
Re ( H ( ξ ) ) = Re ( λ μ k α + β + θ 1 2 π e 2 b π 1 + λ 2 π 2 e i ξ ln k ch ( π ξ ) ) = λ μ k α + β + θ 1 2 π e 2 b π 1 + λ 2 π 2 1 ch ( π ξ ) cos ( ξ ln k ) < λ μ k α + β + θ 1 2 π e 2 b π < 1 ,

then Re ( 1 H ( ξ ) ) > 0 . Therefore, the index of equation (37) χ = Ind ( 1 H ( ξ ) ) = 0 , i.e., the variation of the argument of the expression 1 H ( ξ ) on the real axis expressed in complete revolutions equals zero [23]. Hence, taking into account the fact that the solution to problem G is unique, we deduce the unique solvability of equation (37) and, consequently, that of problem G. Theorem 2 is proved. □

Declarations

Authors’ Affiliations

(1)
Institute of Mathematics, National University of Uzbekistan named after Mirzo Ulugbek

References

  1. Gellerstedt S:Quelques problèmes mixtes pour l’équation y m z x x + z y y = 0 . Arkiv f. M.A.O.F. Bd. 26A 1938, 3: 1-32.MATHGoogle Scholar
  2. Bers L: Mathematical Aspects of Subsonic and Transonic Gas Dynamics. Wiley, New York; 1958.MATHGoogle Scholar
  3. Krikunov YM: On one Gellerstedt problem. Izv. Vysš. Učebn. Zaved., Mat. 1975, 6: 56-59.MathSciNetMATHGoogle Scholar
  4. Solodovnikov YM:Generalized Gellerstedt problem for a particular case of the equation K ( y ) u x x + u y y = 0 . Tr. Sem. Po Kr. Zad. Kazan, Vyp. 1973, 10: 130-139.MathSciNetGoogle Scholar
  5. Khairullin RS: On the Gellerstedt problem for the second kind equation. Izv. Vysš. Učebn. Zaved., Mat. 2005, 10: 72-77.MathSciNetGoogle Scholar
  6. Mirsaburov M, Eshonkulov BO: The Gellerstedt problem with data on characteristics of one family and with nonlocal gluing conditions. Izv. KBNTs. RAN 2002, 1(18):48-53.Google Scholar
  7. Mamadaliev NK: The Gellerstedt problem for a parabolic-hyperbolic equation of the second kind. Int. J. Dyn. Syst. Differ. Equ. 2007, 1(2):102-108.MathSciNetMATHGoogle Scholar
  8. Jachmann K, Reissig M: Cauchy problem for linear thermo-elastic systems. Part 1: A unified approach. Int. J. Dyn. Syst. Differ. Equ. 2009, 2(3/4):170-201.MathSciNetMATHGoogle Scholar
  9. Flaisher NM: Some problems with data on characteristics for mixed-type equations. Rev. Roum. Math. Pures Appl. 1967, 12(8):1053-1058.Google Scholar
  10. Wolfersdorf L: Abelshe Integralgleichungen und Randwertprobleme fur die verallgemeinerte Tricomi-Gleichung. Math. Nachr. 1965, 29(H3/4):161-178.MathSciNetView ArticleMATHGoogle Scholar
  11. Protter MH: New boundary value problems for the wave equation and equations of mixed type. J. Ration. Mech. Anal. 1954, 3(4):435-446.MathSciNetMATHGoogle Scholar
  12. Wen G, Chen D, Cheng X: General Tricomi-Rassias problem and oblique derivative problem for generalized Chaplygin equations. J. Math. Anal. Appl. 2007, 333: 679-694. 10.1016/j.jmaa.2006.11.041MathSciNetView ArticleMATHGoogle Scholar
  13. Hasanov A, Rassias JM: Fundamental solutions of two degenerated elliptic equations and solutions of boundary value problems in infinite area. Int. J. Appl. Math. Stat. 2007, 8(M07):87-95.MathSciNetMATHGoogle Scholar
  14. Hasanov A, Rassias JM, Turaev M: Fundamental solution for the generalized elliptic Gellerstedt equation. In Functional Equations, Difference Inequalities and Ulam Stability Notions. Nova Science Publishers, New York; 2010:73-83. No. 6Google Scholar
  15. Karimov ET, Nieto JJ: The Dirichlet problem for a 3D elliptic equation with two singular coefficients. Comput. Math. Appl. 2011, 62(1):214-224. 10.1016/j.camwa.2011.04.068MathSciNetView ArticleMATHGoogle Scholar
  16. Mirsaburov M, Ruziev MK: A boundary value problem for a class of mixed-type equations in an unbounded domain. Differ. Equ. 2011, 47(1):112-119.MathSciNetView ArticleMATHGoogle Scholar
  17. Ruziev MK: Problems with shifts for mixed elliptic-hyperbolic equations. Russ. Math. 2012, 56(1):66-75. 10.3103/S1066369X12010100MathSciNetView ArticleMATHGoogle Scholar
  18. Salakhitdinov MS, Mirsaburov M: Nonlocal Problems for Equations of Mixed Type with Singular Coefficients. Universitet, Tashkent; 2005.MATHGoogle Scholar
  19. Smirnov MM: Equations of Mixed Type. Vyssh. Shkola, Moscow; 1985.Google Scholar
  20. Bitsadze AV: Some Classes of Partial Differential Equations. Nauka, Moscow; 1981.MATHGoogle Scholar
  21. Ruziev, MK: A boundary value problems for equation of mixed type with singular coefficients in an unbounded domains. Diss., Tashkent (1999)
  22. Muskhelishvili NI: Singular Integral Equations. Boundary-Value Problems of Function Theory and Some of Their Applications to Mathematical Physics. Nauka, Moscow; 1968.MATHGoogle Scholar
  23. Gakhov FD, Cherskii YI: Convolution Type Equations. Nauka, Moscow; 1978.MATHGoogle Scholar

Copyright

© Ruziev; licensee Springer 2013

This article is published under license to BioMed Central Ltd. This is an Open Access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.