Home Homogeneous two-point problem for PDE of the second order in time variable and infinite order in spatial variables
Article Open Access

Homogeneous two-point problem for PDE of the second order in time variable and infinite order in spatial variables

  • Oksana Malanchuk EMAIL logo and Zinoviy Nytrebych
Published/Copyright: February 17, 2017

Abstract

We prove that homogeneous problem for PDE of second order in time variable, and generally infinite order in spatial variables with local two-point conditions with respect to time variable, has only trivial solution in the case when the characteristic determinant of the problem is nonzero. In another, opposite case, we prove the existence of nontrivial solutions of the problem, and we propose a differential-symbol method of constructing them.

MSC 2010: 35G15

1 Introduction

The problem of finding the solution T(t) of ordinary differential equation (ODE) of order n ∈ ℕ\{1}, which satisfies conditions T(t1) = c1, …, T(tn) = cn, where t1 < … < tn, t1, …, tn, c1, …, cn ∈ ℝ, in the literature is found as the Vallee-Poussin problem or multipoint (n-point) problem.

For the first time such problems were studied in the articles [14], in which the importance to study the problems is indicated from the point of view of generalization of Cauchy problem. In contrast to Cauchy problem, the multipoint problem is ill-posed, because corresponding homogeneous problem can have nontrivial solutions.

The first results on solving the problems with multipoint time conditions for linear partial differential equations (PDE) have been obtained in [5] based on the metric approach. In particular, this paper points out the problem of small denominators, which is typical for multipoint problems. Also, ill-posedness of these problems was proved, morover it was shown that the classes of uniqueness of the multipoint in time problem solutions for PDE were significantly different from the classes of uniqueness of the solutions of the corresponding Cauchy problem for the same equations.

The investigation of the n-point problem for equations and systems of PDE’s in the bounded domains that is based on the metric approach has significantly developed in recent years (see works [6, 7] and bibliography).

Papers [810] are devoted to establish the classes of unique solvability of problems with multipoint conditions in time for PDE’s in unbounded domains (strip, layer). The technique of investigation multipoint problems in spaces of functions in which there is no problem of small denominators is proposed in these works.

The solvability of problems with multipoint conditions for differential-operator equations was studied in [11].

This article is devoted to study of the null space of problem for the PDE of the second order with respect to time variable, and arbitrary order with respect to spatial variables with local two-point conditions in time, and it is a continuation of researches [12] for the case of equations with several spatial variables.

2 Problem statement

In the domain ℝ1 + s, s ∈ ℕ\{1}, we investigate the set of solutions U = U(t,x), x =(x1,…, xs), of the PDE

L(t,x)U2Ut2+2a(x)Ut+b(x)U=0, (1)

in which the operator coefficients a(x),b(x),x=(x1,,xs), are considered as arbitrary differential expressions with complex coefficients of the finite or infinite order, and the symbols a(ν), b(ν) of those coefficients are entire functions of complex vector-variable ν ∈ ℂs.

Under condition that a(ν) and b(ν) are polynomials, denote their degrees by the set of variables as pa ∈ ℤ+ and pb ∈ ℤ+. Also we assume that pa = ∞ and pb = ∞ if a(ν) and b(ν) respectively are not polynomials. Denote p = max {pa, pb/2}. Besides, assume p = ∞ if pa = ∞ or pb = ∞.

In the solutions set of equation (1), we will find the solutions that satisfy the homogeneous local two-point conditions:

A1(x)U(0,x)+A2(x)Ut(0,x)=0,B1(x)U(h,x)+B2(x)Ut(h,x)=0,h>0,xRs, (2)

where A1(x),A2(x),B1(x),B2(x) are differential polynomials with complex coefficients. Moreover their symbols A1(ν), A2(ν), B1(ν), B2(ν) for ν ∈ ℂs satisfy the conditions:

|A1(ν)|2+|A2(ν)|20,|B1(ν)|2+|B2(ν)|20.

In this article, we establish the conditions of existence of nontrivial solutions (nontrivial null space) of this problem. In the case of existence of such solutions, we propose the way of their construction by using the differential-symbol method [13].

3 Main results

In equation (1), we replace x with vector-parameter ν and the symbol twithddt. We obtain the ODE

L(ddt,ν)T(t,ν)(d2dt2+2a(ν)ddt+b(ν))T(t,ν)=0, (3)

in which, from now on, we consider ν ∈ ℂs.

The normal fundamental system of solutions of equation (3) at the point t = 0 has the form:

T0(t,ν)=ea(ν)t{a(ν)sinh[tD(ν)]D(ν)+cosh[tD(ν)]},T1(t,ν)=ea(ν)tsinh[tD(ν)]D(ν),

where D(ν) = a2(ν)−b(ν).

Since the coefficients a(ν), b(ν) of equation (3) are entire functions by assumption, so by the Poincare Theorem [14, p. 59] the functions T0(t, ν), T1(t, ν) are also entire functions of vector-parameter ν with order p.

We write down the determinant of the form:

Δ(ν)=A1(ν)A2(ν)B1(ν)T0(h,ν)+B2(ν)dT0dt(h,ν)B1(ν)T1(h,ν)+B2(ν)dT1dt(h,ν).

Such determinant will be called the characteristic determinant of problem (1), (2). It can also be represented in a matrix form:

Δ(ν)=(B1(ν)B2(ν))T0(h,ν)T1(h,ν)dT0dt(h,ν)dT1dt(h,ν)A2(ν)A1(ν).

Note that function Δ(ν) as a superposition of entire functions is an entire function.

3.1 The case when the set of zeroes of the characteristic determinant is empty

Theorem 3.1

If Δ(ν)≠ 0 ∀ ν ∈ ℂs, then problem (1), (2) in the class of entire functions has only trivial solution.

Proof

Let there exists a nontrivial integer solution U(t, x) of equation (1), i.e. entire function of the form

U(t,x)=k¯Z+s+1uk¯tk0xk,k¯=(k0,k1,,ks),uk¯C,

of variables t and x = (x1, … xs), where xk=x1k1xsks, that satisfies conditions (2).

Let’s denote U(0,x)=φ(x),Ut(0,x)=ψ(x). Then φ(x) and ψ(x) are also entire functions. Write down the solution of problem (1), (2) according to differential-symbol method [13] as the solution of Cauchy problem for equation (1) with initial data φ and ψ in the form:

U(t,x)=φ(ν){T0(t,ν)eνx}|ν=O+ψ(ν){T1(t,ν)evx}|ν=O, (4)

where ν · x = ν1x1 + … + νsxs, O = (0,…,0).

Since T0(t, ν)eν·x and T1(t, ν)eν · x are entire in ν functions of order p¯=max{p,1}1, so both entire functions φ(x) and ψ(x) must have the adjoint [15, p. 316] with p¯orderq,i.e.q=p¯/(p¯1)for1<p¯<, and q=forp¯=1andq=1forp¯=.

Since two-point conditions (2) for function φ and ψ are satisfied, we obtain in ℝs the system of identities

φ(ν){A1(ν)eνx}|ν=O+ψ(ν){A2(ν)eνx}|ν=O0,φ(ν){(B1(ν)T0(h,ν)+B2(ν)T0(h,ν))eνx}|ν=O++ψ(ν){(B1(ν)T1(h,ν)+B2(ν)T1(h,ν))eνx}|ν=O0, (5)

where T0(h,ν)=d T 0 dt(h,ν),T1(h,ν)= d T 1 d t(h,ν).

Let’s act by the expression B1(x)T1(h,x)+B2(x)T1(h,x) onto the first identity of system (5) and act by A2(x) onto the second identity of the system, after that subtract the second identity from the first one. We obtain

φ(ν){eνxΔ(ν)}|ν=O0,xRs.

Since the function Δ−1 (ν) is entire, so, acting by expression Δ1(x) onto the last identity, we obtain φ(ν){eνx1Δ(ν)Δ(ν)}|ν=O0, whence we have φ(v){evx}|v=O0orφ(x)0.

Similarly, if we act by expression B1(x)T0(h,x)B2(x)T0(h,x) onto the first identity of system (5) and by expression A1(x) onto the second identity, and then add the obtained identities, we get

ψ(ν){evxΔ(ν)}|v=O0,xRs,

that implies ψ (x) ≡ 0.

We have the identity U(t, x) ≡ 0, which contradicts to the assumption on nontriviality of the solution of problem (1), (2).

3.2 The case when the set of zeroes of the characteristic determinant coincides with ℂs

Let’s investigate the solvability of problem (1), (2) in case Δ(ν) ≡ 0.

Consider the function

Φ(t,x,ν)={A2(ν)T0(t,ν)A1(ν)T1(t,ν)}eνx, (6)

which is an entire function with respect to the vector-parameter ν ∈ ℂs. Let’s denote the order of this function in the set of parameters ν1, . . ., νs by p~. . Note that 1p~p¯.

Theorem 3.2

Let Δ(ν) ≡ 0 for problem (1), (2), then entire nontrivial solutions of the problem exist, and they can be represented in form

U(t,x)=φ(v){Φ(t,x,v)}|ν=O, (7)

where φ(x) is an arbitrary entire function, that has order, adjoint with the order p~.

Proof

Since Δ(ν) ≡ 0 then there holds the equality

A1(ν){B1(ν)T1(h,ν)+B2(ν)T1(h,ν)}A2(ν){B1(ν)T0(h,ν)+B2(ν)T0(h,ν)}. (8)

Let’s show firstly that function (7) satisfies equation (1). Taking into account the commutativity of the operations t,xandν, we obtain

L(t,x){φ(ν){Φ(t,x,ν)}|ν=O}=φ(ν){L(t,x){Φ(t,x,ν)}|ν=O}==φ(ν){eνxL(ddt,ν){A2(ν)T0(t,ν)A1(ν)T1(t,ν)}}|ν=O==φ(ν){eνx[A2(ν)L(ddt,ν)T0(t,ν)A1(ν)L(ddt,ν)T1(t,ν)]}|ν=O=0.

Let’s prove that the first condition (2) is satisfied:

A1(x)U(O,x)+A2(x)Ut(0,x)==A1(x)φ(ν){Φ(0,x,ν)}|ν=O+A2(x)φ(ν){Φt(0,x,ν)}|ν=O==φ(ν){A1(x)[A2(ν)eνx]}|ν=Oφ(ν){A2(x)[A1(ν)eνx]}|ν=O==φ(ν){eνx[A1(ν)A2(ν)A1(ν)A2(ν)]}|ν=O=0.

Due to equality (8), function (7) also satisfies the second condition (2):

B1xU(h,x)+B2xUt(h,x)==B1xφνΦ(h,x,ν)|ν=O+B2xφνΦt(h,x,ν)|ν=O==φνB1(ν)Φ(h,x,ν)|ν=O+φνB2(ν)Φt(h,x,ν)|ν=O==φνeνxΔ(ν)|ν=O=0.

Thus, we have proved that function (7) is a solution of problem (1), (2), in which φ(x) is an arbitrary entire function with the order adjoint to the order p~.

Let’s show that function (7) is nontrivial. In fact,

U(O,x)=φ(ν){Φ(0,x,ν)}|ν=O=φ(ν){[A2(ν)eνx]}|ν=O,Ut(0,x)=φ(ν){Φt(0,x,ν)}|ν=O=φ(ν){[A1(ν)eνx]}|ν=O.

Since |A1(ν)|2 + |A2(ν)|2 > 0 for arbitrary ν ∈ ℂs, thus either U(0,x)orUt(0,x) are nontrivial. Hence, function (7) is also nontrivial as a solution of Cauchy problem with nonzero initial data.

3.3 The case when the set of zeroes of the characteristic determinant is not empty and does not coinside with ℂs

Consider the set

M={νCs:Δ(ν)=0}, (9)

moreover we assume M ≠ ∅ and M ≠ ℂs.

Let αM. For complex vector α consider the set of multi-indexes:

Ω1(α)=ω=(ω1,...,ωs)Z+s:νωΔ(ν)|ν=αΔ(ω)(α)0, (10)

where νωΔ(ν)=|ω|.Δ(ν)ν1ω1νsωs,|ω|=ω1++ωs.

For two vectors ω = (ω1,…, ωs) and σ=(σ1,,σs)Z+s we assume ωσ, when ω1σ1,…, ωsσs. Also let’s denote Cωσ=ω!σ!(ωσ)!, where ω!=k=1sωk!,ωk!=12ωk,0!=1.

Besides the set (10) let us consider such sets:

Ω(α)={ω~Z+s:ω~>_ω,ωΩ1(α)},Ω¯(α)=Z+sΩ(α).

Note the following fact: if ωΩ¯(α),thenΔ(σ)(α)=0 for all σZ+s for which σω.

Theorem 3.3

If ωΩ¯(α), then

U(t,x)=νω{Φ(t,x,ν)}|ν=α (11)

is a nontrivial solution of problem (1), (2), where Φ(t, x, ν) is the function (6).

Proof

The function U(t, x) is the solution of equation (1). It follows from equality (7) for entire function φ(x) = xω. The first condition from two-point conditions (2) is fulfiled:

A1xU(0,x)+A2xUt(0,x)=νω[{A1(ν)A2(ν)A1(ν)A2(ν)}eνx]|ν=α0.

Let’s show that the second condition in (2) is satisfied:

B1xνωA2(ν)T0(h,ν)A1(ν)T1(h,ν)eνx|ν=α++B2xνωA2(ν)T0(h,ν)A1(ν)T1(h,ν)eνx|ν=α==νωB1(ν)A2(ν)T0(h,ν)A1(ν)T1(h,ν)eνx|ν=α++νωB2(ν)A2(ν)T0(h,ν)A1(ν)T1(h,ν)eνx|ν=α==νωΔ(ν)eνx|ν=α=eαxα+xωΔ(α)=eαxOqωCωqxωqΔ(q)(α).

Since ωΩ¯(α), , then according to the remark for arbitrary qZ+s such that qω, equalities Δ(q) (α) = 0 are fulfiled. Hence, the function (11) satisfies the second condition (2).

Let’s prove that the formula (11) defines nontrivial solution of problem (1), (2). Let’s calculate the value of the function (11) and its derivative at the point t = 0:

U(0,x)=νωΦ(0,x,ν)|ν=α=νωA2(ν)eνx|ν=α==eαxα+xωA2(α)=eαxOqωCωqxωqA2(q)(α);Ut(0,x)=νωA2(ν)T0(0,ν)A1(ν)T1(0,ν)eνx|ν=α==νωA1(ν)eνx|ν=α=eαxα+xωA1(α)=eαxOqωCωqxωqA1(q)(α).

In the last sums, the coefficients of xω are A2(α) and A1(α). From the condition |A1(α)|2 + |A2(α)|2 ≠ 0, it follows that at least one of the expressions U(0,x)orUt(0,x) is a nonzero quasipolynomial. This implies that function (11) is a nontrivial solution of problem (1), (2).

4 Examples

Example 4.1

Find in domain (t, x1, x2) ∈ ℝ3 the solutions of equation

[2t2+2(x1+x2)t+((x1+x2)2+1)]U(t,x1,x2)=0, (12)

that satisfy local two-point conditions

x1+x2U(0,x)+Ut(0,x)=0,x1+x2U(h,x)+Ut(h,x)=0. (13)

For this problem, we obtain a(ν) = ν1 + ν2, b(ν) = (ν1+ν2)2 + 1, D(ν) = − 1, A1(ν) = B1(ν) = ν1+ν2, A2(ν) = B2(ν) = 1, ν = (ν1, ν2), x = (x1, x2), s = 2.

The normal at the point t = 0 fundamental system of solutions of the corresponding to (12) ODE

d2dt2+2ν1+ν2ddt+ν1+ν22+1T(t,ν)=0

has the form

T0(t,ν)=e(ν1+ν2)t{(ν1+ν2)sint+cost},T1(t,ν)=e(ν1+ν2)tsint.

Let’s write down the characteristic determinant of problem (12), (13):

Δ(ν)=ν1+ν21(ν1+ν2)T0(h,ν)+T0(h,ν)(ν1+ν2)T1(h,ν)+T1(h,ν)=e(ν1+ν2)hsinh.

In the case hπk, k ∈ ℕ, the condition Δ(ν) ≠ 0 is satisfied for arbitrary ν ∈ ℂ2, so by Theorem 3.1, problem (12), (13) has only trivial solution.

If h = πk, where k ∈ ℕ, then there holds the equality Δ(ν) ≡ 0. So, by Theorem 3.2, there exist nontrivial solutions of problem (12), (13). Function (6) gets the form:

Φ(t,x,ν)={T0(t,ν)(ν1+ν2)T1(t,ν)}eνx=e(ν1+ν2)t+νxcost.

We search the nontrivial solutions of problem (12), (13) in the case h = πk, where k ∈ ℕ, by formula (7):

U(t,x)=φν{e(ν1+ν2)t+νxcost}|ν=O==costφν{e(ν1+ν2)t+ν1x1+ν2x2}|ν=O=φ(x1t,x2t)cost.

The null space of the problem is infinite-dimensional. Note that the condition of entirety of the function φ can be weakened, considering classical solutions of problem (12), (13): φ can be arbitrary twice continuously differentiable function on ℝ2.

Example 4.2

In the domain (t, x1, x2) ∈ ℝ3, find the solutions of the two-point problem

2t2U(t,x1,x2)+22tx1U(t,x1,x2)+2x12U(t,x1,x2+1)=0,Ux1(0,x1,x2)+Ut(0,x1,x2)=0,U(1,x1,x2)=0. (14)

For this problem, we have a(ν)=ν1,b(ν)=ν12eν2,D(ν)=ν12(1eν2), A1(ν) = ν1, B2(ν) = 0, A2(ν) = B1(ν) = 1, s = 2, h = 1. The functions

T0(t,ν)=eν1tsinh[tν11eν2]1eν2+cosh[tν11eν2],T1(t,ν)=eν1tsinh[tν11eν2]ν11eν2

form the normal at the point t = 0 fundamental system of solutions of ODE

d2dt2+2ν1ddt+ν12eν2T(t,ν)=0.

The characteristic determinant of problem (14) and the corresponding set M will have the form:

Δ(ν)=eν1coshν11eν2,M=νC2:ν11eν2=π2+πki,kZ,i2=1.

The set M consists of the following vectors:

αk(μ)=(π2+πk)i1eμ,μ,μC{2πmi,mZ},kZ.

Lets find the first order partial derivatives of the function Δν at the point v = αk(μ) :

Δ(1,0)(αk(μ))=eν11eν2sinhν11eν2coshν11eν2|ν=αk(μ)==(1)k1eμeπ2+πki1eμ0,Δ(0,1)(αk(μ))=ν121eν2eν2ν1sinhν11eν2|ν=αk(μ)==π2+πki2(1eμ)(1)keμπ2+πki1eμ0.

Hence, Ω¯(αk(μ))={(0,0)}. Function (6) gets the form

Φ(t,x,ν)=coshtν11eν2eν1(x1t)+ν2x2.

By Theorem 3.3, for arbitrary μ∈ ℂ\ {2πmi, m ∈ ℤ} and k ∈ ℤ, we find such nontrivial solutions of problem (14):

Uk(t,x1,x2,μ)=Φ(t,x,νk(μ))=cosπ2+πkte(π2+πk)i1eμ(x1t)+μx2.

Note that the obtained solutions of problem (14) are linearly independent.

Example 4.3

In the domain (t, x) ∈ ℝ4 find the solutions of two-point problem

t+a(x)2U(t,x)=0,ax+cxU(0,x)+Ut(0,x)=0,U(1,x)=0, (15)

in which ax,cx are differential polynomials with complex coefficients.

Problem (15) is problem (1), (2), in which b(ν) = a2(ν), A1(ν) = a(ν) + c(ν), A2(ν) = B1(ν) = 1, B2(ν) = 0, h = 1, s = 3.

The functions

T0(t,ν)=ea(ν)t{a(ν)t+1},T1(t,ν)=tea(ν)t

form the normal at the point t = 0 fundamental system of solutions of ODE

ddt+a(ν)2T(t,ν)=0.

We calculate the characteristic determinant of problem (15):

Δ(ν)=a(ν)+c(ν)1T0(1,ν)T1(1,ν)=ea(ν){c(ν)1}.

Let’s consider the cases.

Case 1. Let c(ν) = c ∈ ℂ\{1}. Then for arbitrary ν ∈ ℂ3 condition

Δ(ν)=ea(ν){c1}0

is satisfied. Therefore by Theorem 3.1 problem (15) has only trivial solution.

Case 2. If c(ν) = 1, then Δ(ν)≡ 0. Function (6) has the form

Φ(t,x,ν)={T0(t,ν)[a(ν)+1]T1(t,ν)}eνx=(1t)ea(ν)t+νx.

By Theorem 3.2 we find such nontrivial solutions of problem (15):

U(t,x)=(1t)φvea(v)t+νx|ν=O,

where φ is an arbitrary entire function of three variables. The order of this function is adjoint with number p = max{1, deg a(ν)}(deg a(ν) defines degree of polynomial a(ν) by the set of variables ν1, ν2, ν3).

Case 3. Let c(ν) = ν3, a(ν) = ν3ν1ν2. Then problem (15) gets the form

t+x32x1x22U(t,x)=0,2x32x1x2+1U(0,x)+Ut(0,x)=0,U(1,x)=0. (16)

For problem (16), we obtain

Φ(t,x,ν)={1(ν3+1)t}e(ν3+ν1ν2)t+νx,Δ(ν)=ν3eν3+ν1ν2,M=νC3:ν3=0.

The set M consists of the following vectors: αα(μ1, μ2) = (μ1, μ2, 0), where μ1, μ2 ∈ ℂ. We calculate

Δ(j,0,0)(α)=ν2jν3eν3+ν1ν2|ν=α=0,Δ(0,j,0)(α)=ν1jν3eν3+ν1ν2|ν=α=0,Δ(0,0,1)(α)=(1ν3)eν3+ν1ν2|ν=α=eμ1μ20,jN.

The set Ω(α) contains all multi-indexes ωZ+3 such that ω ≥ (0,0,1). Since for arbitrary m, n ∈ ℤ+ equalities hold Δ((m, n, 0))(α)= 0, then

Ω¯(α)={(m,n,0),m,nZ+}.

Using the Theorem 3.3 for arbitrary m, n ∈ ℤ+ and μ1, μ2∈ ℂ we find such nontrivial solutions of problem (16):

Umn(t,x,μ1,μ2)=m+nν1mν2n{Φ(t,x,ν)}|ν=α==(1t)m+nν1mν2neν1ν2t+ν1x1+ν2x2+ν3x3|ν=α=(1t)m+nμ1mμ2neμ1μ2t+μ1x1+μ2x2==m!n!(1t)eμ1μ2t+μ1x1+μ2x2j=0min{m,n}tjj!(μ2t+x1)mj(mj)!(μ1t+x2)nj(nj)!.

It is easy to see that nontrivial solutions of problem (16) are also functions of the form

U(t,x,μ1,μ2)=(1t)φμ1,μ2eμ1μ2t+μ1x1+μ2x2,

where φ is an arbitrary nontrivial entire function of two variables, whose order in the set of variables is not greater than second, and μ1, μ2 are arbitrary complex parameters.

5 Conclusions

In this work we proved that the homogeneous problem for PDE of the second order in time variable, in which local two-point conditions are imposed, and generally infinite order in spatial variables, has only trivial solution in the case when the characteristic determinant of the problem is not equal to zero. In the other case, when the characteristic determinant possesses a nonzero value, we proved the existence of nontrivial solutions of the problem and proposed the differential-symbol method for their construction. We also gave some examples of using this method.

The investigation of the null space, of the problem given herein, provide an opportunity for future to specify the classes of unique solvability of the corresponding nonhomogeneous problem.

References

[1] Vallee-Poussin Ch. J., Sur l’equation differentielle lineaire du second ordre. Determination d’une integrale par deux valeurs assignees Extension aux equations d’ordre n, Journ. Math. de pura et appl., 1929, 8, 125–144 (in Italian)Search in Google Scholar

[2] Picone M., Sui valori eccezionali di un parametro do cui dipend un equazione differentiale lineare ordinaria del secondo ordine, Pisa, 1909 (in Italian)Search in Google Scholar

[3] Polya G., On the mean value theorem corresponding to a given linear homogeneous differential equations, Trans. Amer. Math. Soc., 1922, 24, 312–32410.1090/S0002-9947-1922-1501228-5Search in Google Scholar

[4] Hartman P., On nonoscillatory linear differential equations with monotone coefficients, Amer. J. Math., 1954, 76, 207–21910.2307/2372411Search in Google Scholar

[5] Ptashnyk B. Yo., Problem of Vallee Poussin type for hyperbolic equations with constant coefficients, DAN URSR, 1966, 10, 1254–1257 (in Ukrainian)Search in Google Scholar

[6] Ptashnyk B. Yo., III-posed boundary value problems for partial differential equations, Nauk. Dumka, Kyiv, 1984 (in Russian)Search in Google Scholar

[7] Ptashnyk B. Yo., II’kiv V. S., Kmit I. Ya., Polishchuk V. M., Nonlocal boundary value problems for partial differential equations, Nauk. dumka, Kyiv, 2002 (in Ukrainian)Search in Google Scholar

[8] Borok V. M., Uniqueness classes for the solution of a boundary problem in an infinite layer, Dokl. Akad. Nauk SSSR, 1968, 183(5), 995–998 (in Russian)Search in Google Scholar

[9] Bassanini P., Iterative methods for quasilinear hyperbolic systems in the first canonic form, Appl. Anal., 1981, 12(2), 105–11710.1080/00036818108839352Search in Google Scholar

[10] Pucci P., Problemi ai limiti per sistemi di equazioni iperboliches, Boll. Unione Mat. Ital. Ser. B. 1979, 16(5), (in Italian)Search in Google Scholar

[11] Romanko V. K., The solvability of boundary value problems for differential-operator equations of high order, Differential equations, 1978, 14(6), 1081–1092 (in Russian)Search in Google Scholar

[12] Nytrebych Z., Malanchuk O., Homogeneous problem with local boundary conditions on the border strip for the partial differential equation of the second order in time, Scientific bulletin of Uzh. Univ., Ser. of math. and inf., 2015, 27(2), 98–108 (in Ukrainian)Search in Google Scholar

[13] Kalenyuk P., Nytrebych Z., Generalized scheme of separation of variables. Differential-symbol method, Publishing House of Lviv Polytechnic National University, Lviv, 2002 (in Ukrainian)Search in Google Scholar

[14] Tihonov A. N., Vasil’eva A. B., Sveshnikov A. G., Differential equations, Nauka, Moscow, 1980 (in Russian)Search in Google Scholar

[15] Leont’ev A. F., Generalization of exponential series, Nauka, Moscow, 1981 (in Russian)Search in Google Scholar

Received: 2016-10-24
Accepted: 2017-1-17
Published Online: 2017-2-17

© 2017 Malanchuk and Nytrebych

This work is licensed under the Creative Commons Attribution-NonCommercial-NoDerivatives 3.0 License.

Articles in the same Issue

  1. Regular Articles
  2. Integrals of Frullani type and the method of brackets
  3. Regular Articles
  4. Edge of chaos in reaction diffusion CNN model
  5. Regular Articles
  6. Calculus using proximities: a mathematical approach in which students can actually prove theorems
  7. Regular Articles
  8. An investigation on hyper S-posets over ordered semihypergroups
  9. Regular Articles
  10. The Leibniz algebras whose subalgebras are ideals
  11. Regular Articles
  12. Fixed point and multidimensional fixed point theorems with applications to nonlinear matrix equations in terms of weak altering distance functions
  13. Regular Articles
  14. Matrix rank and inertia formulas in the analysis of general linear models
  15. Regular Articles
  16. The hybrid power mean of quartic Gauss sums and Kloosterman sums
  17. Regular Articles
  18. Tauberian theorems for statistically (C,1,1) summable double sequences of fuzzy numbers
  19. Regular Articles
  20. Some properties of graded comultiplication modules
  21. Regular Articles
  22. The characterizations of upper approximation operators based on special coverings
  23. Regular Articles
  24. Bi-integrable and tri-integrable couplings of a soliton hierarchy associated with SO(4)
  25. Regular Articles
  26. Dynamics for a discrete competition and cooperation model of two enterprises with multiple delays and feedback controls
  27. Regular Articles
  28. A new view of relationship between atomic posets and complete (algebraic) lattices
  29. Regular Articles
  30. A class of extensions of Restricted (s, t)-Wythoff’s game
  31. Regular Articles
  32. New bounds for the minimum eigenvalue of 𝓜-tensors
  33. Regular Articles
  34. Shintani and Shimura lifts of cusp forms on certain arithmetic groups and their applications
  35. Regular Articles
  36. Empirical likelihood for quantile regression models with response data missing at random
  37. Regular Articles
  38. Convex combination of analytic functions
  39. Regular Articles
  40. On the Yang-Baxter-like matrix equation for rank-two matrices
  41. Regular Articles
  42. Uniform topology on EQ-algebras
  43. Regular Articles
  44. Integrations on rings
  45. Regular Articles
  46. The quasilinear parabolic kirchhoff equation
  47. Regular Articles
  48. Avoiding rainbow 2-connected subgraphs
  49. Regular Articles
  50. On non-Hopfian groups of fractions
  51. Regular Articles
  52. Singularly perturbed hyperbolic problems on metric graphs: asymptotics of solutions
  53. Regular Articles
  54. Rings in which elements are the sum of a nilpotent and a root of a fixed polynomial that commute
  55. Regular Articles
  56. Superstability of functional equations related to spherical functions
  57. Regular Articles
  58. Evaluation of the convolution sum involving the sum of divisors function for 22, 44 and 52
  59. Regular Articles
  60. Weighted minimal translation surfaces in the Galilean space with density
  61. Regular Articles
  62. Complete convergence for weighted sums of pairwise independent random variables
  63. Regular Articles
  64. Binomials transformation formulae for scaled Fibonacci numbers
  65. Regular Articles
  66. Growth functions for some uniformly amenable groups
  67. Regular Articles
  68. Hopf bifurcations in a three-species food chain system with multiple delays
  69. Regular Articles
  70. Oscillation and nonoscillation of half-linear Euler type differential equations with different periodic coefficients
  71. Regular Articles
  72. Osculating curves in 4-dimensional semi-Euclidean space with index 2
  73. Regular Articles
  74. Some new facts about group 𝒢 generated by the family of convergent permutations
  75. Regular Articles
  76. lnfinitely many solutions for fractional Schrödinger equations with perturbation via variational methods
  77. Regular Articles
  78. Supersolvable orders and inductively free arrangements
  79. Regular Articles
  80. Asymptotically almost automorphic solutions of differential equations with piecewise constant argument
  81. Regular Articles
  82. Finite groups whose all second maximal subgroups are cyclic
  83. Regular Articles
  84. Semilinear systems with a multi-valued nonlinear term
  85. Regular Articles
  86. Positive solutions for Hadamard differential systems with fractional integral conditions on an unbounded domain
  87. Regular Articles
  88. Calibration and simulation of Heston model
  89. Regular Articles
  90. One kind sixth power mean of the three-term exponential sums
  91. Regular Articles
  92. Cyclic pairs and common best proximity points in uniformly convex Banach spaces
  93. Regular Articles
  94. The uniqueness of meromorphic functions in k-punctured complex plane
  95. Regular Articles
  96. Normalizers of intermediate congruence subgroups of the Hecke subgroups
  97. Regular Articles
  98. The hyperbolicity constant of infinite circulant graphs
  99. Regular Articles
  100. Scott convergence and fuzzy Scott topology on L-posets
  101. Regular Articles
  102. One sided strong laws for random variables with infinite mean
  103. Regular Articles
  104. The join of split graphs whose completely regular endomorphisms form a monoid
  105. Regular Articles
  106. A new branch and bound algorithm for minimax ratios problems
  107. Regular Articles
  108. Upper bound estimate of incomplete Cochrane sum
  109. Regular Articles
  110. Value distributions of solutions to complex linear differential equations in angular domains
  111. Regular Articles
  112. The nonlinear diffusion equation of the ideal barotropic gas through a porous medium
  113. Regular Articles
  114. The Sheffer stroke operation reducts of basic algebras
  115. Regular Articles
  116. Extensions and improvements of Sherman’s and related inequalities for n-convex functions
  117. Regular Articles
  118. Classification lattices are geometric for complete atomistic lattices
  119. Regular Articles
  120. Possible numbers of x’s in an {x, y}-matrix with a given rank
  121. Regular Articles
  122. New error bounds for linear complementarity problems of weakly chained diagonally dominant B-matrices
  123. Regular Articles
  124. Boundedness of vector-valued B-singular integral operators in Lebesgue spaces
  125. Regular Articles
  126. On the Golomb’s conjecture and Lehmer’s numbers
  127. Regular Articles
  128. Some applications of the Archimedean copulas in the proof of the almost sure central limit theorem for ordinary maxima
  129. Regular Articles
  130. Dual-stage adaptive finite-time modified function projective multi-lag combined synchronization for multiple uncertain chaotic systems
  131. Regular Articles
  132. Corrigendum to: Dual-stage adaptive finite-time modified function projective multi-lag combined synchronization for multiple uncertain chaotic systems
  133. Regular Articles
  134. Convergence and stability of generalized φ-weak contraction mapping in CAT(0) spaces
  135. Regular Articles
  136. Triple solutions for a Dirichlet boundary value problem involving a perturbed discrete p(k)-Laplacian operator
  137. Regular Articles
  138. OD-characterization of alternating groups Ap+d
  139. Regular Articles
  140. On Jordan mappings of inverse semirings
  141. Regular Articles
  142. On generalized Ehresmann semigroups
  143. Regular Articles
  144. On topological properties of spaces obtained by the double band matrix
  145. Regular Articles
  146. Representing derivatives of Chebyshev polynomials by Chebyshev polynomials and related questions
  147. Regular Articles
  148. Chain conditions on composite Hurwitz series rings
  149. Regular Articles
  150. Coloring subgraphs with restricted amounts of hues
  151. Regular Articles
  152. An extension of the method of brackets. Part 1
  153. Regular Articles
  154. Branch-delete-bound algorithm for globally solving quadratically constrained quadratic programs
  155. Regular Articles
  156. Strong edge geodetic problem in networks
  157. Regular Articles
  158. Ricci solitons on almost Kenmotsu 3-manifolds
  159. Regular Articles
  160. Uniqueness of meromorphic functions sharing two finite sets
  161. Regular Articles
  162. On the fourth-order linear recurrence formula related to classical Gauss sums
  163. Regular Articles
  164. Dynamical behavior for a stochastic two-species competitive model
  165. Regular Articles
  166. Two new eigenvalue localization sets for tensors and theirs applications
  167. Regular Articles
  168. κ-strong sequences and the existence of generalized independent families
  169. Regular Articles
  170. Commutators of Littlewood-Paley gκ -functions on non-homogeneous metric measure spaces
  171. Regular Articles
  172. On decompositions of estimators under a general linear model with partial parameter restrictions
  173. Regular Articles
  174. Groups and monoids of Pythagorean triples connected to conics
  175. Regular Articles
  176. Hom-Lie superalgebra structures on exceptional simple Lie superalgebras of vector fields
  177. Regular Articles
  178. Numerical methods for the multiplicative partial differential equations
  179. Regular Articles
  180. Solvable Leibniz algebras with NFn Fm1 nilradical
  181. Regular Articles
  182. Evaluation of the convolution sums ∑al+bm=n lσ(l) σ(m) with ab ≤ 9
  183. Regular Articles
  184. A study on soft rough semigroups and corresponding decision making applications
  185. Regular Articles
  186. Some new inequalities of Hermite-Hadamard type for s-convex functions with applications
  187. Regular Articles
  188. Deficiency of forests
  189. Regular Articles
  190. Perfect codes in power graphs of finite groups
  191. Regular Articles
  192. A new compact finite difference quasilinearization method for nonlinear evolution partial differential equations
  193. Regular Articles
  194. Does any convex quadrilateral have circumscribed ellipses?
  195. Regular Articles
  196. The dynamic of a Lie group endomorphism
  197. Regular Articles
  198. On pairs of equations in unlike powers of primes and powers of 2
  199. Regular Articles
  200. Differential subordination and convexity criteria of integral operators
  201. Regular Articles
  202. Quantitative relations between short intervals and exceptional sets of cubic Waring-Goldbach problem
  203. Regular Articles
  204. On θ-commutators and the corresponding non-commuting graphs
  205. Regular Articles
  206. Quasi-maximum likelihood estimator of Laplace (1, 1) for GARCH models
  207. Regular Articles
  208. Multiple and sign-changing solutions for discrete Robin boundary value problem with parameter dependence
  209. Regular Articles
  210. Fundamental relation on m-idempotent hyperrings
  211. Regular Articles
  212. A novel recursive method to reconstruct multivariate functions on the unit cube
  213. Regular Articles
  214. Nabla inequalities and permanence for a logistic integrodifferential equation on time scales
  215. Regular Articles
  216. Enumeration of spanning trees in the sequence of Dürer graphs
  217. Regular Articles
  218. Quotient of information matrices in comparison of linear experiments for quadratic estimation
  219. Regular Articles
  220. Fourier series of functions involving higher-order ordered Bell polynomials
  221. Regular Articles
  222. Simple modules over Auslander regular rings
  223. Regular Articles
  224. Weighted multilinear p-adic Hardy operators and commutators
  225. Regular Articles
  226. Guaranteed cost finite-time control of positive switched nonlinear systems with D-perturbation
  227. Regular Articles
  228. A modified quasi-boundary value method for an abstract ill-posed biparabolic problem
  229. Regular Articles
  230. Extended Riemann-Liouville type fractional derivative operator with applications
  231. Topical Issue on Topological and Algebraic Genericity in Infinite Dimensional Spaces
  232. The algebraic size of the family of injective operators
  233. Topical Issue on Topological and Algebraic Genericity in Infinite Dimensional Spaces
  234. The history of a general criterium on spaceability
  235. Topical Issue on Topological and Algebraic Genericity in Infinite Dimensional Spaces
  236. On sequences not enjoying Schur’s property
  237. Topical Issue on Topological and Algebraic Genericity in Infinite Dimensional Spaces
  238. A hierarchy in the family of real surjective functions
  239. Topical Issue on Topological and Algebraic Genericity in Infinite Dimensional Spaces
  240. Dynamics of multivalued linear operators
  241. Topical Issue on Topological and Algebraic Genericity in Infinite Dimensional Spaces
  242. Linear dynamics of semigroups generated by differential operators
  243. Special Issue on Recent Developments in Differential Equations
  244. Isomorphism theorems for some parabolic initial-boundary value problems in Hörmander spaces
  245. Special Issue on Recent Developments in Differential Equations
  246. Determination of a diffusion coefficient in a quasilinear parabolic equation
  247. Special Issue on Recent Developments in Differential Equations
  248. Homogeneous two-point problem for PDE of the second order in time variable and infinite order in spatial variables
  249. Special Issue on Recent Developments in Differential Equations
  250. A nonlinear plate control without linearization
  251. Special Issue on Recent Developments in Differential Equations
  252. Reduction of a Schwartz-type boundary value problem for biharmonic monogenic functions to Fredholm integral equations
  253. Special Issue on Recent Developments in Differential Equations
  254. Inverse problem for a physiologically structured population model with variable-effort harvesting
  255. Special Issue on Recent Developments in Differential Equations
  256. Existence of solutions for delay evolution equations with nonlocal conditions
  257. Special Issue on Recent Developments in Differential Equations
  258. Comments on behaviour of solutions of elliptic quasi-linear problems in a neighbourhood of boundary singularities
  259. Special Issue on Recent Developments in Differential Equations
  260. Coupled fixed point theorems in complete metric spaces endowed with a directed graph and application
  261. Special Issue on Recent Developments in Differential Equations
  262. Existence of entropy solutions for nonlinear elliptic degenerate anisotropic equations
  263. Special Issue on Recent Developments in Differential Equations
  264. Integro-differential systems with variable exponents of nonlinearity
  265. Special Issue on Recent Developments in Differential Equations
  266. Elliptic operators on refined Sobolev scales on vector bundles
  267. Special Issue on Recent Developments in Differential Equations
  268. Multiplicity solutions of a class fractional Schrödinger equations
  269. Special Issue on Recent Developments in Differential Equations
  270. Determining of right-hand side of higher order ultraparabolic equation
  271. Special Issue on Recent Developments in Differential Equations
  272. Asymptotic approximation for the solution to a semi-linear elliptic problem in a thin aneurysm-type domain
  273. Topical Issue on Metaheuristics - Methods and Applications
  274. Learnheuristics: hybridizing metaheuristics with machine learning for optimization with dynamic inputs
  275. Topical Issue on Metaheuristics - Methods and Applications
  276. Nature–inspired metaheuristic algorithms to find near–OGR sequences for WDM channel allocation and their performance comparison
  277. Topical Issue on Cyber-security Mathematics
  278. Monomial codes seen as invariant subspaces
  279. Topical Issue on Cyber-security Mathematics
  280. Expert knowledge and data analysis for detecting advanced persistent threats
  281. Topical Issue on Cyber-security Mathematics
  282. Feedback equivalence of convolutional codes over finite rings
Downloaded on 17.10.2025 from https://www.degruyterbrill.com/document/doi/10.1515/math-2017-0009/html
Scroll to top button