# Semiconservative Systems of Integral Equations with Two Kernels

Authors: N. B. Yengibaryan; A. G. Barseghyan
Journal: International Journal of Mathematics and Mathematical Sciences
 (2011)

---

## Abstract

The solvability and the properties of solutions of nonhomogeneous and homogeneous vector integral equationf(x)=g(x)+∫0∞k(x−t)f(t)dt+∫−∞0T(x−t)f(t)dt, where K, T are n×n
matrix valued functions, n≥1, with nonnegative integrable
elements, are considered in one semiconservative (singular) case, where the matrix A=∫−∞∞K(x)dx is stochastic one and the matrix B=∫−∞∞T(x)dx is substochastic one. It is shown that in certain conditions the nonhomogeneous equation simultaneously with the corresponding homogeneous one possesses positive solutions.


---

## Body

## 1. Introduction: Problem Statement

Consider the scalar or vector integral equations on the whole line with two kernels (see [1–4]): (1.1)f(x)=g(x)+∫0∞K(x-t)f(t)dt+∫-∞0T(x-t)f(t)dt,-∞<x<∞,
where the kernel-functions K(x),T(x) are matrix-valued functions with nonnegative elements; g and f are the given and sought-for column vectors (vectorfunctions); respectively. Assume that (1.2)K,T∈Ln×n,g∈Ln,K,T,g≥O.
Here Ln×n is the space of n×n- (n≥1) order matrix-valued functions, and Ln is the space of column vectors, with components in Lebesgue space L≡L1(-∞,∞). The zero vector or matrix is denoted by O. The inequalities between the matrices or vectors, the operation of integration, and some other operations shall be treated componentwise.Denote byς the following n-dimensional row vector:(1.3)ς=(1,1,…,1).
Let C≥O be an n×n matrix. If(1.4)ςC=ς,
then the matrix C is a stochastic one (accurate within transpose, see [5]). If(1.5)ςC≤ς,
then the matrix C is substochastic to a wide extent. We shall call the matrix C really substochastic, if ςC≤ς,ςC≠ς and uniform substochastic if there exist μ∈[0,1) such that(1.6)ςC≤μς,0≤μ<1.
Let us introduce the following n×n  matrices A,B≥O, related with the equation (1.1):(1.7)A=∫-∞∞K(x)dx,B=∫-∞∞T(x)dx.We shall call the kernelK conservative, dissipative, or uniform dissipative if the matrix A is stochastic, really substochastic, or uniform substochastic, respectively. We shall use analogous names to the kernel T.We shall call (1.1) semiconservative, if one of the kernels K,T is conservative and the other is dissipative. Without the loss of generality, one can assume that(1.8)ςA=ς,ςB≤ς,ςB≠ς.
In the uniform semiconservative case of (1.1) we have(1.9)ςA=ς,ςB≤μς,0≤μ<1,
whereas in the conservative case, both of the kernels K,T are assumed to be conservative.IfT=O, then (1.1) is reduced to the well-known Wiener-Hopf integral equation:(1.10)φ(x)=h(x)+∫0∞K(x-t)φ(t)dt,x>0,
Here φ=f|[0,∞) and h=g|[0,∞) are restrictions on [0,∞) of f and g, respectively.The theory of the scalar and vector conservative Wiener-Hopf equation (1.10) (where K is the conservative one) passed a long way of development. Many (conservative) physical processes in homogeneous half-space are described by such equations. They are of essential interest in the radiative transfer (RT), kinetic theory of Gases (see [6, 7]), in the mathematical theory of stochastic processes, and so forth.In the RT, the conservative equation (1.10) corresponds to the absence of losses of the radiation inside media (case of pure scattering). However, such losses occur as a result of an exit of radiation from media. In case of the dissipative one, there are losses inside media as well.Equation (1.1) with two kernels arises in some more general (and more complicated) problems, where the physical processes occur in the infinite media, consisting of two adjacent homogeneous half-spaces (see [7]). In each of these half-spaces, the processes may be dissipative or conservative. Another area of applications is connected with the RT in the atmosphere-ocean system.In the theory of RT, the free termg in (1.1) plays the role of initial sources of radiation. The conservative and semiconservative cases belong to the singular cases of (1.1). In these cases, the unique solvability of (1.1) in the “standard” functional spaces Lpn(1≤p≤∞) is violated.A number of results concerning to the scalar conservative equation (1.1) have been obtained by Arabadzhyan [3]. The systems of conservative or semiconservative equations with two kernels have not ever been treated.The present paper is devoted to the solvability and the properties of the solutions of the nonhomogeneous and homogeneous vector equation (1.1). The main attention will be paid to the uniform semiconservative case (1.9). It will be shown that in certain conditions both the nonhomogeneous equation (1.1) and the corresponding homogeneous equation possess positive locally integrable solutions.


## 2. Auxiliary Propositions

### 2.1. Integral Operators

Let(a,b)⊂(-∞,∞). Consider Banach space (B-space) L(a,b)≡L1(a,b) and the corresponding B-space Ln(a,b) of vector-valued functions (vector columns) f=(f1,…,fn)T. Here T is a sign of the transpose. The norm in Ln(a,b) is defined by(2.1)‖f‖=∑k=1n‖fk‖L(a,b)=ς∫ab|f(x)|dx.
Consider the linear topological space Lloc[0,∞) of the functions, which are integrable on each finite interval (0,r),r<∞.The space Llocn[0,∞) possesses the topology of the componentwise convergence.The unit operator in each of spaces introduced above is denoted byI. Let Ωn be the following class of matrix convolution operators on the whole line: if Û∈Ωn, then(2.2)φ(x)=Ûf(x)=∫-∞∞U(x-t)f(t)dt,U∈Ln×n.
The operator Û∈Ωn acts in the spaces Ln, Lpn(1≤p≤∞), and in some other spaces of vector-valued functions.The classΩn is an algebra where the kernel function of the operator product is the convolution of the kernel functions of the factors.Let us estimate the norm of operatorÛ∈Ωn in the B-space Ln. Let C≥O be the following n×n matrix: C=(ckm)=∫-∞∞|U(x)|dx. Taking the (componentwise) modulus in (2.2) and integrating on (-∞,∞), we come to the following inequality:(2.3)∫-∞∞|φ(x)|dx≤C∫-∞∞|f(t)|dt.Multiplying this inequality on the left by the vectorς, we come to the following inequality:(2.4)‖Ûf‖≤γ‖f‖,whereγ=max⁡k∑m=1nckm.
From here the estimate follows:(2.5)‖Û‖≤γ.Let us introduce the projectors (projection operators)P±, acting in the spaces of summable or locally summable functions on (-∞,∞) by the equalities:(2.6)P+f(x)=f(x)ϑ(x),P-f(x)=f(x)ϑ(-x).Hereϑ is the Heaviside function of the unit jump. In each of the spaces Lp(1≤p≤∞), we have(2.7)‖P±‖=1.Denote byK̂,T̂∈Ωn the following operators, whose kernel functions K,T participate in (1.1):(2.8)K̂f(x)=∫-∞∞K(x-t)f(t)dt,T̂f(x)=∫-∞∞T(x-t)f(t)dt.
Equation (1.1) admits the following operator entry(2.9)f=g+Ŵf,
where Ŵ=K̂P̂++T̂P̂-.The projectorsP̂± are the diagonal matrices of the operators with the diagonal elements P±.The operatorŴ is an Integral operator:(2.10)Ŵf(x)=∫-∞∞W(x,t)f(t)dt,whereW(x,t)=K(x-t)ϑ̃(t)+T(x-t)ϑ̃(-t).Hereϑ̃(x) is the diagonal matrix with the diagonal elements ϑ(x).


### 2.2. On the Invertibility of the OperatorI-Ŵ in Ln

Let us estimate the norm ofŴ in Ln. Assume at first that the kernel functions K,T are arbitrary elements of Ln×n. Let φ=Ŵf, f∈Ln. One can obtain the following inequality (similar to (2.3)):(2.11)∫-∞∞|φ(x)|dx≤A∫0∞|f(t)|dt+B∫-∞0|f(t)|dt.
Here A=(akm)=∫-∞∞|K(x)|dx,B=(bkm)=∫-∞∞|T(x)|dx.We haveςA≤λς, ςB≤μς, where(2.12)λ=max⁡m∑k=1nakm,μ=max⁡m∑k=1nbkm.Multiplying (2.11) on the left by the vector ς, we get(2.13)‖φ‖≤λς∫0∞|f(t)|dt+μς∫-∞0|f(t)|dt≤max⁡(λ,μ)‖f‖.
Thus, we proved the following.Lemma 2.1.
The following estimate for the norm of the operatorŴ in Ln is valid:
(2.14)‖Ŵ‖≤q=max(λ,μ).Ifq<1, then the operator Ŵ is contracting in Ln, hence the operator I-Ŵ is invertible, and (1.1) with g∈Ln has a unique solution f∈Ln. If therewith K,T,g≥O, then f≥O.In accordance with the general theory of the integral equations with two kernels (see [1, 2]), for the invertibility of the operator I-Ŵ in Ln, it is necessary the fulfilment of the following conditions of nondegeneration:(2.15)det⁡[J-K¯(s)]≠0,det⁡[J-T¯(s)]≠0,-∞<s<+∞.
Here J is the unit n×n matrix; the matrices K¯(s) and T¯(s) are the (elementwise) Fourier transforms of K and T, respectively. For example, K¯(s)=∫-∞∞K(x)eisxdx, -∞<s<+∞.In the semiconservative case (1.9), we have: ς[J-K¯(0)]=ς[J-A]=O. Hence det(J-A)=0, that is, the symbol J-K¯(s), is degenerated in the point s=0. In the conservative case (where A and B are stochastic matrices), both of the conditions (2.15) are violated. Thus, the operator I-Ŵ is noninvertible in Ln in the semiconservative and conservative cases.


## 2.1. Integral Operators

Let(a,b)⊂(-∞,∞). Consider Banach space (B-space) L(a,b)≡L1(a,b) and the corresponding B-space Ln(a,b) of vector-valued functions (vector columns) f=(f1,…,fn)T. Here T is a sign of the transpose. The norm in Ln(a,b) is defined by(2.1)‖f‖=∑k=1n‖fk‖L(a,b)=ς∫ab|f(x)|dx.
Consider the linear topological space Lloc[0,∞) of the functions, which are integrable on each finite interval (0,r),r<∞.The space Llocn[0,∞) possesses the topology of the componentwise convergence.The unit operator in each of spaces introduced above is denoted byI. Let Ωn be the following class of matrix convolution operators on the whole line: if Û∈Ωn, then(2.2)φ(x)=Ûf(x)=∫-∞∞U(x-t)f(t)dt,U∈Ln×n.
The operator Û∈Ωn acts in the spaces Ln, Lpn(1≤p≤∞), and in some other spaces of vector-valued functions.The classΩn is an algebra where the kernel function of the operator product is the convolution of the kernel functions of the factors.Let us estimate the norm of operatorÛ∈Ωn in the B-space Ln. Let C≥O be the following n×n matrix: C=(ckm)=∫-∞∞|U(x)|dx. Taking the (componentwise) modulus in (2.2) and integrating on (-∞,∞), we come to the following inequality:(2.3)∫-∞∞|φ(x)|dx≤C∫-∞∞|f(t)|dt.Multiplying this inequality on the left by the vectorς, we come to the following inequality:(2.4)‖Ûf‖≤γ‖f‖,whereγ=max⁡k∑m=1nckm.
From here the estimate follows:(2.5)‖Û‖≤γ.Let us introduce the projectors (projection operators)P±, acting in the spaces of summable or locally summable functions on (-∞,∞) by the equalities:(2.6)P+f(x)=f(x)ϑ(x),P-f(x)=f(x)ϑ(-x).Hereϑ is the Heaviside function of the unit jump. In each of the spaces Lp(1≤p≤∞), we have(2.7)‖P±‖=1.Denote byK̂,T̂∈Ωn the following operators, whose kernel functions K,T participate in (1.1):(2.8)K̂f(x)=∫-∞∞K(x-t)f(t)dt,T̂f(x)=∫-∞∞T(x-t)f(t)dt.
Equation (1.1) admits the following operator entry(2.9)f=g+Ŵf,
where Ŵ=K̂P̂++T̂P̂-.The projectorsP̂± are the diagonal matrices of the operators with the diagonal elements P±.The operatorŴ is an Integral operator:(2.10)Ŵf(x)=∫-∞∞W(x,t)f(t)dt,whereW(x,t)=K(x-t)ϑ̃(t)+T(x-t)ϑ̃(-t).Hereϑ̃(x) is the diagonal matrix with the diagonal elements ϑ(x).


## 2.2. On the Invertibility of the OperatorI-Ŵ in Ln

Let us estimate the norm ofŴ in Ln. Assume at first that the kernel functions K,T are arbitrary elements of Ln×n. Let φ=Ŵf, f∈Ln. One can obtain the following inequality (similar to (2.3)):(2.11)∫-∞∞|φ(x)|dx≤A∫0∞|f(t)|dt+B∫-∞0|f(t)|dt.
Here A=(akm)=∫-∞∞|K(x)|dx,B=(bkm)=∫-∞∞|T(x)|dx.We haveςA≤λς, ςB≤μς, where(2.12)λ=max⁡m∑k=1nakm,μ=max⁡m∑k=1nbkm.Multiplying (2.11) on the left by the vector ς, we get(2.13)‖φ‖≤λς∫0∞|f(t)|dt+μς∫-∞0|f(t)|dt≤max⁡(λ,μ)‖f‖.
Thus, we proved the following.Lemma 2.1.
The following estimate for the norm of the operatorŴ in Ln is valid:
(2.14)‖Ŵ‖≤q=max(λ,μ).Ifq<1, then the operator Ŵ is contracting in Ln, hence the operator I-Ŵ is invertible, and (1.1) with g∈Ln has a unique solution f∈Ln. If therewith K,T,g≥O, then f≥O.In accordance with the general theory of the integral equations with two kernels (see [1, 2]), for the invertibility of the operator I-Ŵ in Ln, it is necessary the fulfilment of the following conditions of nondegeneration:(2.15)det⁡[J-K¯(s)]≠0,det⁡[J-T¯(s)]≠0,-∞<s<+∞.
Here J is the unit n×n matrix; the matrices K¯(s) and T¯(s) are the (elementwise) Fourier transforms of K and T, respectively. For example, K¯(s)=∫-∞∞K(x)eisxdx, -∞<s<+∞.In the semiconservative case (1.9), we have: ς[J-K¯(0)]=ς[J-A]=O. Hence det(J-A)=0, that is, the symbol J-K¯(s), is degenerated in the point s=0. In the conservative case (where A and B are stochastic matrices), both of the conditions (2.15) are violated. Thus, the operator I-Ŵ is noninvertible in Ln in the semiconservative and conservative cases.


## 3. Semiconservative Nonhomogeneous Equation

In this section, we shall consider the question of the solvability of the uniform semiconservative nonhomogeneous equation (1.1), (1.9) under the following additional assumption: there exists a strong positive vector-column η such that Aη=η,η>O. In accordance with Perron-Frobenius theorem (see [8]), the existence of such vector η is secured if the stochastic matrix A is an irreducible one.


### 3.1. One Auxiliary Equation

At the outset, consider the auxiliary conservative Wiener-Hopf equation (1.10), where(3.1)O≤h∈Ln(0,∞),x>0,ςA=ς,Aη=η
with the conservative kernel K participating in (1.1).The following lemma follows from the results [9]:Lemma A.
Equation (1.10), (3.1) possesses the minimal solution φ≥O which is locally integrable on [0,∞) (see [9]). The following asymptotics holds
(3.2)∫0xφ(t)dt=o(x2),x⟶∞.
This asymptotics admits an adjustment subject to additional assumptions on kernel K and free term h (see [9]).Denote byν the following matrix the first moments of matrix-function K:(3.3)ν=∫-∞∞xK(x)dx,
with the assumption of componentwise absolute convergence of this integral. Let(3.4)σ=ςνη,-∞<σ<+∞.
The number σ plays a principal role in the classification of the conservative equation (1.10) (see [9]). If σ<0, then(3.5)∫0xφ(t)dt=o(x),x⟶∞.
If therewith the free term h has a finite first moment: ∫0∞th(t)dt<∞, then φ∈Ln(0,∞).Consider the simple iterations for (1.10):(3.6)φ(m+1)(x)=h(x)+∫0∞K(x-t)φ(m)(t)dt,φ(0)=O,m=0,1,2,….The sequenceφ(m) possesses the following properties: O≤φ(m)∈Ln(0,∞). It is easy to show that the sequence φ(m) is monotonic. Indeed we have (3.7)φ(m+1)(x)-φ(m)(x)=∫0∞K(x-t)(φ(m)(t)-φ(m-1)(t))dt,φ(0)=O,m=0,1,2,….
Using the induction by m, we obtain that φ(m+1)(x)-φ(m)(x)≥O, which implies the monotonicity of the sequence φ(m). The sequence φ(m) converges monotonically by the topology of Llocn[0,∞) to the minimal solution φ of (1.10):(3.8)φ(m)↑φinLloc⁡n[0,∞).


### 3.2. One Existence Theorem for (1.1)

Consider now (1.1) under conditions(3.9)ςA=ς,Aη=η,ςB≤μς,0≤μ<1.
Let us consider the following iterations for (1.1):(3.10)f(m+1)(x)=g(x)+∫0∞K(x-t)f(m)(t)dt+∫-∞0T(x-t)f(m)(t)dt,(3.11)f(0)=O,m=0,1,2,….We have(3.12)f(m)∈Ln,m=0,1,…,O≤f(m)(x)↑bym.
Let f̃≥O be any positive solution of (1.1), (3.9): (3.13)f̃(x)=g(x)+∫0∞K(x-t)f̃(t)dt+∫-∞0T(x-t)f̃(t)dt.
It is easy to verify by induction that f(m)≤f̃, for each m≥0. Hence, if the sequence f(m)→f converges by the topology of Llocn(-∞,∞), then f≤f̃.Remark 3.1.
If the sequencef(m)→f converges by the topology of Llocn(-∞,∞), then one can take the limit in (3.10), and f≥O will be the minimal positive solution of (1.1).This fact is proved using the monotonicity off(m) and the two-sided inequalities (see [10] Item 2).Let us introduce the restrictions of the functionsf(m) on (0,∞) and (-∞,0):(3.14)ω(m)=f(m)|[0,∞),ψ(m)=f(m)|(-∞,0)∈Ln(-∞,0).Theorem 3.2.
Let the conditions (3.9) hold. Then (1.1) has the minimal positive solution f∈Llocn(-∞,∞) with f|(-∞,0)∈Ln(-∞,0) and
(3.15)∫0xf(t)dt=o(x2),x⟶+∞.
If∃σ<0, then ∫0xf(t)dt=o(x),x→∞.Proof.
After the integration of (3.10) over x on (-∞,∞), we shall have
(3.16)a(m+1)+b(m+1)=γ+Aa(m)+Bb(m),
where a(m)=∫0∞ω(m)(x)dx,b(m)=∫-∞0ψ(m)(x)dx, γ=∫-∞∞g(x)dx.
Multiplying (3.16) on the left by the vector ς and taking into account (3.9), we obtain the inequality
(3.17)ςa(m+1)+ςb(m+1)≤ςγ+ςa(m)+μςb(m),
whence it follows, with due regard for the monotony of sequences a(m),b(m), that (1-μ)ςb(m)≤ςγ. We arrive at the following estimate:
(3.18)ςb(m)=‖ψ(m)‖≤(1-μ)-1ςγ.
It follows from B. Levy well-known theorem that the monotonous and bounded by norm sequence ψ(m) converges in Ln(-∞,0):
(3.19)O≤ψ(m)↑ψ∈Ln(-∞,0).
Now compare relations (3.10) for x>0 with iterations (3.6), in which h(x)=g(x)+∫-∞0T(x-t)ψ(t)dt,x>0 (ψ is determined according to (3.19)). In virtue of ψ(m)≤ψ, we have the inequality ω(m)(x)≤φ(m)(x),x>0,m=0,1,…. Hence ω(m)(x)≤φ(x),x>0,m=0,1,…. According to the Lebesgue theorem, the monotonic sequence ω(m) converges by the topology Llocn[0,∞):
(3.20)O≤ω(m)↑ω∈Lloc⁡n[0,∞).
We have obtained that the narrowing of the monotonic iteration sequence f(m) to the negative semiaxis is convergent in Ln(-∞,0), and the narrowing of f(m) to the positive semiaxis is convergent in Llocn[0,∞). If we denote f(x)={ω(x),x>0ψ(x),x<0, then f(m)→f in Llocn[-∞,∞) (i.e., in Ln(-∞,r),forallr<+∞). Taking limit in (3.10) (see Remark 3.1), we obtain that the vector function f satisfies (1.1),(3.9), and thereby, it is its minimal solution. The Theorem is proved.Observe that, under the assumptions of Theorem3.2, the existence of the locally integrable solution of (1.1) could be proved using the fixed point principle of the paper [10]. Anyway, with this method, one cannot obtain the properties f|(-∞,0)∈Ln(-∞,0) and (3.15).


## 3.1. One Auxiliary Equation

At the outset, consider the auxiliary conservative Wiener-Hopf equation (1.10), where(3.1)O≤h∈Ln(0,∞),x>0,ςA=ς,Aη=η
with the conservative kernel K participating in (1.1).The following lemma follows from the results [9]:Lemma A.
Equation (1.10), (3.1) possesses the minimal solution φ≥O which is locally integrable on [0,∞) (see [9]). The following asymptotics holds
(3.2)∫0xφ(t)dt=o(x2),x⟶∞.
This asymptotics admits an adjustment subject to additional assumptions on kernel K and free term h (see [9]).Denote byν the following matrix the first moments of matrix-function K:(3.3)ν=∫-∞∞xK(x)dx,
with the assumption of componentwise absolute convergence of this integral. Let(3.4)σ=ςνη,-∞<σ<+∞.
The number σ plays a principal role in the classification of the conservative equation (1.10) (see [9]). If σ<0, then(3.5)∫0xφ(t)dt=o(x),x⟶∞.
If therewith the free term h has a finite first moment: ∫0∞th(t)dt<∞, then φ∈Ln(0,∞).Consider the simple iterations for (1.10):(3.6)φ(m+1)(x)=h(x)+∫0∞K(x-t)φ(m)(t)dt,φ(0)=O,m=0,1,2,….The sequenceφ(m) possesses the following properties: O≤φ(m)∈Ln(0,∞). It is easy to show that the sequence φ(m) is monotonic. Indeed we have (3.7)φ(m+1)(x)-φ(m)(x)=∫0∞K(x-t)(φ(m)(t)-φ(m-1)(t))dt,φ(0)=O,m=0,1,2,….
Using the induction by m, we obtain that φ(m+1)(x)-φ(m)(x)≥O, which implies the monotonicity of the sequence φ(m). The sequence φ(m) converges monotonically by the topology of Llocn[0,∞) to the minimal solution φ of (1.10):(3.8)φ(m)↑φinLloc⁡n[0,∞).


## 3.2. One Existence Theorem for (1.1)

Consider now (1.1) under conditions(3.9)ςA=ς,Aη=η,ςB≤μς,0≤μ<1.
Let us consider the following iterations for (1.1):(3.10)f(m+1)(x)=g(x)+∫0∞K(x-t)f(m)(t)dt+∫-∞0T(x-t)f(m)(t)dt,(3.11)f(0)=O,m=0,1,2,….We have(3.12)f(m)∈Ln,m=0,1,…,O≤f(m)(x)↑bym.
Let f̃≥O be any positive solution of (1.1), (3.9): (3.13)f̃(x)=g(x)+∫0∞K(x-t)f̃(t)dt+∫-∞0T(x-t)f̃(t)dt.
It is easy to verify by induction that f(m)≤f̃, for each m≥0. Hence, if the sequence f(m)→f converges by the topology of Llocn(-∞,∞), then f≤f̃.Remark 3.1.
If the sequencef(m)→f converges by the topology of Llocn(-∞,∞), then one can take the limit in (3.10), and f≥O will be the minimal positive solution of (1.1).This fact is proved using the monotonicity off(m) and the two-sided inequalities (see [10] Item 2).Let us introduce the restrictions of the functionsf(m) on (0,∞) and (-∞,0):(3.14)ω(m)=f(m)|[0,∞),ψ(m)=f(m)|(-∞,0)∈Ln(-∞,0).Theorem 3.2.
Let the conditions (3.9) hold. Then (1.1) has the minimal positive solution f∈Llocn(-∞,∞) with f|(-∞,0)∈Ln(-∞,0) and
(3.15)∫0xf(t)dt=o(x2),x⟶+∞.
If∃σ<0, then ∫0xf(t)dt=o(x),x→∞.Proof.
After the integration of (3.10) over x on (-∞,∞), we shall have
(3.16)a(m+1)+b(m+1)=γ+Aa(m)+Bb(m),
where a(m)=∫0∞ω(m)(x)dx,b(m)=∫-∞0ψ(m)(x)dx, γ=∫-∞∞g(x)dx.
Multiplying (3.16) on the left by the vector ς and taking into account (3.9), we obtain the inequality
(3.17)ςa(m+1)+ςb(m+1)≤ςγ+ςa(m)+μςb(m),
whence it follows, with due regard for the monotony of sequences a(m),b(m), that (1-μ)ςb(m)≤ςγ. We arrive at the following estimate:
(3.18)ςb(m)=‖ψ(m)‖≤(1-μ)-1ςγ.
It follows from B. Levy well-known theorem that the monotonous and bounded by norm sequence ψ(m) converges in Ln(-∞,0):
(3.19)O≤ψ(m)↑ψ∈Ln(-∞,0).
Now compare relations (3.10) for x>0 with iterations (3.6), in which h(x)=g(x)+∫-∞0T(x-t)ψ(t)dt,x>0 (ψ is determined according to (3.19)). In virtue of ψ(m)≤ψ, we have the inequality ω(m)(x)≤φ(m)(x),x>0,m=0,1,…. Hence ω(m)(x)≤φ(x),x>0,m=0,1,…. According to the Lebesgue theorem, the monotonic sequence ω(m) converges by the topology Llocn[0,∞):
(3.20)O≤ω(m)↑ω∈Lloc⁡n[0,∞).
We have obtained that the narrowing of the monotonic iteration sequence f(m) to the negative semiaxis is convergent in Ln(-∞,0), and the narrowing of f(m) to the positive semiaxis is convergent in Llocn[0,∞). If we denote f(x)={ω(x),x>0ψ(x),x<0, then f(m)→f in Llocn[-∞,∞) (i.e., in Ln(-∞,r),forallr<+∞). Taking limit in (3.10) (see Remark 3.1), we obtain that the vector function f satisfies (1.1),(3.9), and thereby, it is its minimal solution. The Theorem is proved.Observe that, under the assumptions of Theorem3.2, the existence of the locally integrable solution of (1.1) could be proved using the fixed point principle of the paper [10]. Anyway, with this method, one cannot obtain the properties f|(-∞,0)∈Ln(-∞,0) and (3.15).


## 4. The Homogeneous Semiconservative Equation

The homogeneous system (1.1) under the conditions (3.9) will be considered in the present section:(4.1)G(x)=∫0∞K(x-t)G(t)dt+∫-∞0T(x-t)G(t)dt.
Consider at first the corresponding conservative homogeneous system of Wiener-Hopf equations:(4.2)S(x)=∫0∞K(x-t)S(t)dt.
Let us formulate some results on the existence of positive solutions of the system (4.1) (see [9]).Theorem A.
LetK satisfy the conditions ςA=ς,Aη=η (see (3.9)), and one of the following conditions (a) or (b):
(a)
the property of symmetry (hereT is the sign of transpose):
(4.3)K(-x)=KT(x),(b)
the kernelK has a finite first moment ν (see (3.3)) and that
(4.4)σ≤0,
where σ is determined by (3.4).
Then the equation (4.2) has a positive solution S(x)>O. The vector function S is absolutely continuous and monotone increasing. The following asymptotics holds
(4.5)S(x)=O(x),x⟶∞.Let us (in conditions of the Theorem A) continue the vector functionS to all the real axis in accordance with the equality (4.2). Then the equality (4.2) takes place on the whole real axis.The convergence of the following integral is necessary and sufficient in order thatS has a integrable extension on the negative semiaxis(4.6)∫0∞S(t)dt∫-∞-tK(x)dx<+∞.
If (4.6) holds, then we will have S∈Llocn[-∞,∞),S(x)>O.It follows from the asymptotics (4.5) that for the fulfilment of the requirement (4.6), it is sufficient that the kernel function K has the (componentwise) finite second moment on the negative semiaxis, that is,(4.7)∫0∞K(-x)x2dx<+∞.Now consider, uniform semiconservative (4.1).Theorem 4.1.
Let the homogeneous equation (4.2) satisfy the conditions (3.9), (4.7) and either of the conditions (4.3) or (4.4). Then there exists a solution G>O, G∈Llocn[-∞,∞) of this equation. The following asymptotics hold:
(4.8)∫-∞xG(t)dt=O(x2),x⟶∞.Proof.
In accordance with Theorem A, there exists a solutionS>O of (4.1). The inequality (4.6) follows from the condition (4.7) and from the asymptotics (4.5); hence, S∈Ln(-∞,0).
Let us introduce a new sought-for vector functionf≥O in (4.1) by means of the relation:
(4.9)G(x)=f(x)+S(x),-∞<x<+∞.
Substituting (4.9) into (4.1) with due regard for (4.2), we obtain an inhomogeneous equation of the type (1.1) with respect to f, in which
(4.10)g(x)=∫-∞0T(x-t)S(t)dt,x∈R.
Because of S∈Ln(-∞,0), we have g∈Ln. In accordance with Theorem 3.2, there exists a (minimal) solution of (1.1) with a free term (4.10) that implies the existence of the strong positive solution of the form (4.9) of the homogeneous equation (4.1).
The asymptotics (4.8) follow immediately from the properties of f and S, included in Theorem 3.2 and Theorem A. The Theorem is proved.It is remarkable that under the conditions of Theorem4.1, both the nonhomogeneous equation (1.1) (with g∈Ln) and the homogeneous equation (4.1) simultaneously have positive solutions.



---

*Source: 917951-2011-07-26.xml*