CC BY
4
Vladikavkaz Mathematical Journal 2022, Volume 24, Issue 1, P. 54-64
УДК 517.927.4
DOI 10.46698/p7919-5616-0187-g
EXISTENCE AND UNIQUENESS THEOREMS FOR A DIFFERENTIAL EQUATION WITH A DISCONTINUOUS RIGHT-HAND SIDE
M. G. Magomed-Kasumov1'2
1 Southern Mathematical Institute VSC RAS, 53 Vatutin St., Vladikavkaz 362027, Russia; 2 Daghestan Federal Research Centre of Russian Academy of Sciences, 45 M. Gadjiev St., Makhachkala 367000, Russia E-mail: [email protected]
Abstract. We consider new conditions for existence and uniqueness of a Caratheodory solution for an initial value problem with a discontinuous right-hand side. The method used here is based on: 1) the representation of the solution as a Fourier series in a system of functions orthogonal in Sobolev sense and generated by a classical orthogonal system; 2) the use of a specially constructed operator A acting in l2, the fixed point of which are the coefficients of the Fourier series of the solution. Under conditions given here the operator A is contractive. This property can be employed to construct robust, fast and easy to implement spectral numerical methods of solving an initial value problem with discontinuous right-hand side. Relationship of new conditions with classical ones (Caratheodory conditions with Lipschitz condition) is also studied. Namely, we show that if in classical conditions we replace L1 by L2, then they become equivalent to the conditions given in this article.
Key words: initial value problem, Cauchy problem, discontinuous right-hand side, Sobolev orthogonal system, existence and uniqueness theorem, Caratheodory solution. AMS Subject Classification: 65L10, 34A12, 34A36, 34A37, 34B37.
For citation: Magomed-Kasumov, M. G. Existence and Uniqueness Theorems for a Differential Equation with a Discontinuous Right-Hand Side, Vladikavkaz Math. J., 2022, vol. 24, no. 1, pp. 54-64. DOI: 10.46698/p7919-5616-0187-g.
1. Introduction
Consider an initial value problem:
x'(t) = f (t,x), x(a) = x0, t € [a, b], (1)
where f (t,x) can be discontinuous. Classic definition of a solution is too restrictive for differential equations with discontinuous right-hand side. There are different ways to generalize the notion of a solution in this case: Caratheodory solution, Filippov [1, 2] and Krasovskij [3, 4] solutions (based on differential inclusions), Hermes solution [5] (uses limiting transitions) and others (see [2, 6, 7, 8, 9] and references therein). In this paper we consider only Caratheodory solutions. A function x(t) is called a Caratheodory solution of problem (1), if it is absolutely continuous, equality x'(t) = f (t,x(t)) holds for almost every t € [a, b] and x(a) = x0.
We say that a function f(t, x) satisfies the Caratheodory conditions in a domain D if in the domain
C1) f (t, x) is continuous with respect to x for almost every t;
C2) f (t, x) is measurable with respect to t for each x;
C3) there exists an integrable function m(t) such that |f (t, x)| ^ m(t).
© 2022 Magomed-Kasumov, M. G.
The following results are well-known (see [2, 10]).
Theorem A. Let f (t, x) satisfy the Caratheodory conditions in D = [a, b] x [x0 — c, x0 + c]. Then there exists a Caratheodory solution of problem (1) on [a, a + d], where d is such that
t
0 < d ^ b — a, <^(a + d) ^ c, <^(t) = J m(s) ds. (2)
a
We say that f satisfies L) condition in domain D = [a, b] x [x0 — c, x0 + c] if
L) there exist an integrable function l(t), such that for almost every t € [a, b] and every x, y € [x0 — c, x0 + c]
If(t,x) — f(t,y)| < 1(t)|x — y|. (3)
Theorem B. Suppose f satisfies L) in domain D = [a, b] x [x0 — c, x0 + c]. Then if in the domain D a solution of problem (1) exists, it is unique.
Thus, if f (t, x) satisfies in D = [a, b] x [x0 — c, x0 + c] the Caratheodory conditions and condition L) then there exists a unique solution of problem (1) in [a, a+d] where d satisfies (2).
I. Sharapudinov obtained another conditions for existence and uniqueness of a solution of problem (1). Before stating the main result obtained in [11], we give some definitions.
Let L^[a, b] be a space of functions, integrable with weight ^ on the segment [a, b]:
LI[a,b] = j f : J If (i)|p Mi) • (4)
By WLp [a, b] we denote a space of (r — 1)-times continuously differentiable functions f = f (t) defined on
[a,b] such that f (r-1)(t) is absolutely continuous and f(r) € L^ [a, b]. Let $ = {^>k, k = 0,1,...} be a complete orthonormal system in L^ = L^[0,1]. Define a new system $1 = {^>1;k} using formulas:
t
<£i,o(i) = 1, ^1,1+fc(t)^J(t — x) (x) dx, k ^ 0.
a
This system is orthogonal with respect to Sobolev-type inner product (12), where r = 1 (see details in section 3). Suppose that the system $1 = {^>1;k} possess the property k($1 ) =
(SfcL1/a ^1k(i)^(i) dt)1/2 < ro. Systems with this property exist (see [12]). The following theorem was proved in [11].
Theorem C. If for some 5 the conditions
A) f (t,g(t)) € L^[a, b] for any function g(t) € W^ [a, b];
B) for any g1 (t),g2(t) € WL2 [a, b] the following relation holds:
b b J [f (t,g1(t)) — f (i,g2(t))]2 ^(i) dt < 52 J [g1 (t) — g2(t)]2 ^(i) dt;
a a
C) 5k($1 ) < 1,
hold then initial value problem (1) has a unique solution x(t) € W|2 [a, b]. This solution can
b
be represented as a uniformly convergent series
<x
x(t) = xo + ^ ci)fc(t), t € [a, b]. (5)
k=i
In this article, we show that in the case of unit weight ^(t), using the methods from [11-13], we can
1) remove condition C) in Theorem C;
2) replace condition B) with
B') there exists an integrable function w(t), such that for any g1(t),g2(t) € W2 [a, b] the following relation holds:
b b j [f (t,gi(t)) - f (t,g2(t))]2 dt ^ w(t) [gi(t) - g2(t)]2 dt.
a a
Namely, the following theorem holds.
Theorem 1. If f satisfies conditions A), B'), initial value problem (1) has a unique solution x(t) € W¿2 [a, b] on [a, b].
A proof of this theorem, which is given in section 5, is based on using the next theorem.
Theorem 2. Let $ = {^>k} be a complete orthonormal system in L2[u, v] such that for
i /2
= {^i,fc} a condition á($i) = (supíe[u v] Efc=i ^2,k(t)) < œ holds.
If f satisfies A), B'), then for any a € [a, b) and any h ^ b — a that satisfies the condition
a+h
f , N , V — U
k j W{t)dt<PW) (6)
a
an initial value problem
x'(t) = f(t, x), x(a) = x0, t € [a,a + h], (7)
has a unique solution x(t) € W¿2 [a, a + h] on [a, a + h]. This solution can be represented as a uniformly convergent series
<x
x(t)=xo + Yclk<plkm), e{t) = V-^{t-o)+u, te [a, a + h}. (8)
h
k=i
A proof of Theorem 2 is given in section 4. The proof is based on using Fourier series with
respect to $i-type system, orthogonal in Sobolev sense and generated by an ordinary system.
Some general information about these systems we give in section 3.
Coefficients ci;k in (8) are Fourier coefficients with respect to Sobolev system $i.
To determine the coefficients ci;k, we use a specially constructed operator A (see (26)), defined
_ i /2
in Hilbert space l2, consisting of sequences C = (cj)°=i with the norm ||Cy = ( J2'j=i j . The operator A is constructed in such a way that its fixed point is a sequence of the coefficients ci;k. In this connection, the question of whether the operator A has a contraction property becomes important. It turns out that a positive answer to this question can be given when functions of the system $i have the following property
• under conditions of Theorem C: k($i) < œ [12-14];
• under conditions of Theorem 2: 5($i) < œ (see section 4).
It was shown in [12] that the properties < oo and ) < œ hold for the system
of functions xi,k(x) generated by the Haar system, and for the system of functions generated by the system of cosine functions.
It should be noted that under conditions of Theorem 2 the operator A is contractive. This property can be employed to construct robust, fast and easy to implement numerical methods of solving an initial value problem with discontinuous right-hand side.
We begin with considering a relationship between conditions C1), C2), C3), L) and A),
B').
2. Relationship Between Conditions
Let's introduce modifications of conditions C3) and L) in the following way: C3') there exists a function m(t) € L2[a, b] such that |f (t,x)| ^ m(t). L') there exist a function l(t) € L2[a, b], such that for almost every t € [a, b] and every x, y € [xo - c, xo + c]
|f (t,x) - f (t,y)| < 1(t)|x - y|.
(9)
These conditions differ from their counterparts only in that here we require functions m(t) and l(t) to be from L2[a, b].
Theorem 3. A function f (t,x) satisfies conditions C1), C2), C3'), L') if and only if it satisfies conditions A), B').
This theorem proof is based on the following lemmas.
Lemma 1. If f for some function w(t) satisfies the condition B') on the segment [a, b], then f will satisfy this condition with the same function w(t) on any subsegment [a, 5] C [a, b].
< Let g1,g2 be arbitrary functions from W^ [a, 5]. Denote by g1 the continuous extension of g1 by the constants to the entire interval [a, b]:
{g1(a), x € [a,a), g1 (x), x € [a, 5], g1(5), x € (5,b],
and by g2(x; h) the continuous extension of g2 by constants g1(a), g1 (5) on the segments [a,a — h], [5 + h, b] and by linear functions on the segments [a — h, a], [5,5 + h]:
/
g1(a), x € [a, a — h],
g2(a)-gi(a) (x-a)+g2(a)i x £ (a - h, a),
g2(x; h) = < g2(x)
x € [a, 5],
9l{fi)T92(-ii\x-i3)+g2(f3), x£(f3,f3 + h),
g1(5 ),
x € [5 + h,b].
It is clear that gi(t) and g2(t; h) belong to [a, b] for any sufficiently small h. Further, for any small h > 0 we have
f (t,g1(t)) - f (t,g2(t))
dt <
f (t,g1(t)) - f (t,&(t; h))
dt
b f
f r 12 r r 12
w(t) g1(t) - g2(t; h) dt = w(t) g1(t) - g2(t) dt + /1(h) + /2(h), (10)
f
b
2
2
where
Ii(h) = w(t) gi(t) - g2(t; h) dt, /2(h) = w(t) gi(t) - g2(t; h)
dt.
Consider /1(h):
|/i(h)| =
w(t)
gi(a) -
g2(oQ
h
(t - a) - g2(a)
dt
a—h
= (gi(a) - g2(a))2
w(t)
1 -
a -1
h
dt
a— h
< (gi(a) - g2(a))M |w(t)| dt.
a— h
Last integral vanishes as h — 0 (absolute continuity). Hence, /i(h) — 0, h — 0. Similarly, we can show that /2(h) — 0, h — 0. Then lemma's statement follows from (10). >
Lemma 2. If / satisfies condition B'), then the function w(t) is nonnegative for a. e. t € [a, b] and the function f satisfies condition L'), in which l(t) = \Jw(t) € L2[a,b], < Let x, y be arbitrary numbers. By Lemma 1, it follows that for any small h > 0
1 h
u+h
u+h
f (t,x) - f (t,y) dt < (x - y)
h
w(t) dt, u € [a, b].
Hence, tending h to 0, we get that for a. e. u € [a, b] [15, th. 1.3, p. 104]
|f (u,x) - f (u, y) |2 ^ w(u)(x - y)2.
(11)
This implies that w(t) must be nonnegative for a. e. t € [a, b]. Then to obtain L') it remains to extract square roots from both sides of (11) and denote l(u) = yw{u). >
< Proof of Theorem 3. Suppose f satisfies the conditions C1), C2), C3'), L'). Arguing as in [10, Chapter VIII, §8] (or in [16, Chapter III, § 10, Supplement II, p. 122]) one can show that f (t,g(t)) € L2[a, b] for any measurable function g(t), so condition A) holds for f. Further, it follows from L') that
f (t,gi(t)) - f (t, g2(t)) dt ^ w(t) gi(t) - g2(t)
dt,
where w(t) = 12(t) € Li[a,b], and condition B') also holds for f. Thus, conditions C1), C2), C3'), L') imply conditions A), B').
Now we show that the converse is also true. Condition C2) follows from A). By Lemma 2, condition B') imply L'). It follows from L') that f (t,x) satisfies C1). It remains to show that f (t, x) satisfies C3'). We claim that L') and A) imply C3'). Indeed, using L') we get
|f (t, x) - f (t, a)| ^ 1(t)|x - a| ^ 1(t)(b - a), x € [a,b],
where l(t) € L2 [a, b]. This can be rewritten as f (t, a)- 1(t)(b-a) ^ f (t, x) ^ f (t, a)+1(t)(b-a). Hence,
|f (t,x)| ^ m(t) = max{|f (t,a) - 1(t)(b - a)|, |f(t,a) + 1(t)(b - a)|}, x € [a,b].
Since f (t, a) € L2[a, b] (due to A)), we have f (t, a) ± 1(t)(b - a) € L2[a, b], so m(t) is also from L2[a, b] and condition C3') holds. >
b
a
a
2
a
a
2
1
2
b
b
3. Sobolev Orthogonal Systems
In [17-20] I. Sharapudinov considered systems of functions orthogonal with respect to Sobolev-type inner product
r-1 b
</,£> =E f (v)(a) g(v)(a)+ / f (r)(x) g(r)(x) Mx) dx. (12)
v=0 '
He introduced systems = } defined as
Vr,k{x) = A; = 0,1,..., r-1, (13)
x
1
^r,fc(x) = ^ J(x- t)r Vfc-r(t) dt, k = r,r +1,..., (14)
a
where $ = |^>k}£=0 is a system, orthogonal with respect to the ordinary inner product of the form
b
<f,g> = J f (t)g(t) Mt) dt, (15)
a
and showed orthogonality of these systems with respect to inner product (12). The system $r is called a Sobolev orthogonal system generated by the system
A Fourier series of a function x(t) in the system $r has the following form [18]:
r-1 (t - a)fc x{t) ~ + E CrAx)<Pr,k(t)> (16)
k=0 k=r
where
b
Cr,k(x) = / x(r)(t)^k-r(t) ^(t) dt. (17)
a
The Fourier series of form (16) turned out to be a natural and very convenient tool for solving systems of differential equations [12]. In [12-14] it was proposed an iterative method for solving an initial value problem for a nonlinear ordinary differential equation of the form
x'(t) = f(t,x), x(a) = x0, t € [a, b], (18)
based on a representation of the solution of problem (18) as a Fourier series in a $1-type system:
x(t) = x(a) + ci,k(x)^i,k(t), (19)
k=1
where x(a) = x0 is an initial value and c1;k(x) are unknown Fourier coefficients that should be found.
In already mentioned works [12-14] it is assumed that a function on the right-hand side of a differential equation is continuous in both variables and satisfies the Lipschitz condition with respect to y. However, it turned out that the method used there can be extended to the case of differential equations with a discontinuous right-hand side [11]. We use this method to prove Theorem 2.
4. Proof of Theorem 2
If we introduce a function y(s) = x{9 1(s)), where 9 = fz^h + a, then problem (7) can be written as follows
y'(s) = F(s,y), y(u) = yo, s € [u,v], (20)
where F(s,y) = y). It is easy to verify that F(s,g(s)) € L2[-u,t>] for any g e
[u,v]. Indeed, using the substitution s = 0(t), we obtain
v a+h
J F2(s,g(s))ds = ^ J f(t,9m))dt. (21)
u a
Assuming
{g(0(a)), t € [a, a), g(0(t)), t € [a, a + h],
g(6>(a + h)), t € (a + h,b],
and noting that g(t) € [a, b], from (21) and condition A) we get
v b
p2/„ / NN i / h f f2,
I F2(s,g(s))ds ^^ J ¡2{t,g{t))dt < oo.
Further, for problem (20) following the work [11] we introduce the operator A, the construction of which is based on the following relations:
X
y(s) = y(u) + > ^ ci;fc+i(y) ^k+i^ (22)
k=0
(
y'(s) = c1,k+1(y) ^fc(s), (23)
k=0
(
q(s) = F(s,y(s)) = £ Ck(q) ^(s), (24)
k=0
where the first relation is the Fourier series in the system |^1;k} of the function y(s) € [u, v], and the second and third ones are Fourier series in system } of functions y'(s) € L2 [u, v] and q(s) € L2[u, v] respectively. Note that in the relation (22) the Fourier series converges uniformly (see, for example, [18, Theorem 2.2]), and in (23) and (24) series converge in the metric of L2[u, v] (due to the completeness of the system ^>k in the space L2[u, v]). It follows from (7), (23) and (24) that
v
Ci,k+i(y) = Ck(q) = J F(s, y(s)) ^k(s) ds.
u
Combining this equality with (22) we obtain the relation
Ci,k+i(y) = Fis,y(u) + J^ cij+i(y) ^ij+i(s)j <^k (s) ds, k ^ 0. (25)
U V j=0 7
The right-hand side expression is the aforementioned operator A that takes the point d € l2 to the point A(d) € l2 according to the following rule
A(d)= ( J F^s,y(u) + jr dj iphj+1(s^ Vk(s) ds, k ^ 0j , (26)
where
F(s,y) = -±-f(e-\s),y), e~\s) = s-^h + a.
v — u v — u
It follows from (25) that the Fourier coefficients sequence C(y) = (c1;k+1(y), k ^ 0) of the solution y(s) with respect to the system $1 = k(s)} is a fixed point of the operator A: A(C(y)) = C(y).
We now show that A is contractive provided B').
Let d1 and d2 be two arbitrary points in l2. We introduce the notation:
ro
j dj2 j=0 j=0
g1(s) = y(u) + 5^ d1 ^l,j+l(s), g2(s) = y(u) + ^ di +1(s). (27)
Theorem [18, Theorem 2] implies that g1,g2 € [u, v] and that their series uniformly converge on [u, v]. Consider the difference:
A(d1) — A(d2)= f j[F(s,g1 (s)) — F(s,g2(s))H(s) ds, k ^ 0^ .
^ u '
By Parseval's equality, we have:
v
||A(d1) — A(d2)||J = / [F(s,g1 (s)) — F(s,g2(s))]2 ds = J. (28)
Changing the variable s = 0(t) reduces the integral J to the form:
a+h
J = f [f(t,gi(t))-f(t,92m2dt,
V — U J
a
where §j(t) = gj(0(t)), j = 1,2. It is obvious that gj(t) € [a,a + h], j = 1,2. Since f satisfies condition B') on the segment [a, b], using Lemma 1 and making the inverse change t = 0-1(s) we get
a+h
Substituting the expressions from (27) into the last integral and applying the Cauchy-Buny-akovsky inequality we obtain:
v a+h
jw(d-\s))[g1(s)-g2(s)]2ds^\\d1-d%62^1)^ j w(t)dt.
This inequality with (28), (29) yields:
a+h
A^1 ) - A(d2)|L < 5($1)
h
/
w(t) dt
v — u
a
Therefore, under the condition (6), the operator A will be contractive.
Hence, since l2 is a complete space, the operator A will have a unique fixed point. This point as noted above (see (25)) is a Fourier coefficients sequence of the solution y(s) for problem (20). So a solution exists and has a form (22), where C(y) = (c1;k+1(y), k ^ 0) is a fixed point of A. The solution uniqueness follows from the fact that any solution y(s) of problem (20) belongs to the space W^ [u, v] and therefore can be decomposed into uniformly convergent series (22), in which the sequence of coefficients is a fixed point of the operator A.
If y(s) is a solution of problem (20), then x(t) = y(0(t)) is a solution of problem (7) on [a, a + h].
To obtain a solution on the segment [a, b], we divide it into m subsegments [ai,ai+1] = [ih, (i + 1 )h], i = 0,1,..., m - 1, where h = m > faw(t) dt (therefore, on
each segment condition (6) will hold). We will successively solve the initial value problems
on the segments [ai,ai+1 ] with initial values defined as follows: xo,o = xo, xi>o = xi-1 (a^), i = 1,..., m — 1, where x^t) is a solution of the problem on the subsegment [a^, ai+1]. Then the solution on the segment [a, b] will have the form:
It is easy to verify that given function is a solution of problem (1). Indeed, x(0) = xo(0) = xo,o = x0, so initial condition holds. It is also obvious that x(t) € [u, v]. Further, denote by Ei C [a,ai+i] a set with measure ^(Ej) = |ai+i — a| such that xi(i) = f (t, Xj(i)), t € Ej. If t € E = um=-01Ei then t belongs to some Ei. Hence, for this t we have x'(t) = xj(t) = f(t,xi(t)) = f (t,x(t)). Since ^(E) = b — a, x(t) satisfies (1) almost everywhere on [a, b].
1. Filippov, A. F. Differential Equations with Discontinuous Right-Hand Side, Matematicheskii Sbornik. Novaya Seriya, 1960, vol. 51 (93), no. 1, pp. 99-128 (in Russian).
2. Filippov, A. F. Differential Equations with Discontinuous Righthand Sides, Dordrecht, The Netherlands, Kluwer Academic Publishers, 1988.
3. Krasovskij, N. N. Game-Theoretic Problems of Capture, Moscow, Nauka, 1970 (in Russian).
4. Krasovskij, N. N. and Subbotin, A. I. Positional Differential Games, Moscow, Nauka, 1974 (in Russian).
5. Hermes, H. Discontinuous Vector Fields and Feedback Control, Differential Equations and Dynamical Systems, New York, Academic Press, 1967.
6. Cid, J. N. and Pouso, R. L. Ordinary Differential Equations and Systems with Time-Dependent Discontinuity Sets, Proceedings of the Royal Society of Edinburgh: Section a Mathematics, 2004, vol. 134, no. 4, pp. 617-637. DOI: 10.1017/S0308210500003383.
7. Hajek, O. Discontinuous Differential Equations, I, Journal of Differential Equations, 1979, vol. 32, no. 2, pp. 149-170. DOI: 10.1016/0022-0396(79)90056-1.
8. Cortes, J. Discontinuous Dynamical Systems, IEEE Control Systems Magazine, 2008, vol. 28, no. 3, pp. 36-73. DOI: 10.1109/MCS.2008.919306.
9. Ceragioli, F. Discontinuous Ordinary Differential Equations and Stabilization, PhD thesis, Universita di Firenze, 2000.
5. Proof of Theorem 1
x'(t) = f (t,x), x(ai) = Xi,o, t € [ai^¿+1],
(30)
x(t) = Xi(t), t € [ai, ai+1 ], i = 0,..., m — 1.
References
10. Sansone, G. Equazioni Differenziali Nel Campo Reale, vol. 2, Consiglio nazionale consiglio nazionale delle ricerche. Monografie di matematic applicata, Nicola Zanichelli, 1949.
11. Sharapudinov, I. I. On the Existence and Uniqueness of Solutions of ODEs with Discontinuous Right-Hand Sides and Sobolev Orthogonal Systems of Functions, Daghestan Electronic Mathematical Reports, 2018, vol. 9, pp. 68-75 (in Russian). DOI: 10.31029/demr.9.8.
12. Sharapudinov, I. I. Sobolev-Orthogonal Systems of Functions and the Cauchy Problem for ODEs, Izvestiya: Mathematics, 2019, vol. 83, no. 2, pp. 391-412. DOI: 10.1070/im8742.
13. Sharapudinov, I. I. Sobolev Orthogonal Polynomials Associated with Chebyshev Polynomials of the First Kind and the Cauchy Problem for Ordinary Differential Equations, Differential Equations, 2018, vol. 54, no. 12, pp. 1602-1619. DOI: 10.1134/S0012266118120078.
14. Sharapudinov, I. I. Approximation of the Solution of the Cauchy Problem for Nonlinear ODE Systems by Means of Fourier Series in Functions Orthogonal in the Sense of Sobolev, Daghestan Electronic Mathematical Reports, 2017, vol. 7, pp. 66-76 (in Russian). DOI: 10.31029/demr.7.8.
15. Stein, E. and Shakarchi, R. Real Analysis: Measure Theory, Integration, and Hilbert Spaces, Princeton University Press, 2009.
16. Walter, W. Ordinary Differential Equations, Graduate Texts in Mathematics, New York, Springer, 1998.
17. Sharapudinov, I. I. Sobolev-Orthogonal Systems of Functions and Some of their Applications, Russian Mathematical Surveys, 2019, vol. 74, no. 4, pp. 659-733. DOI: 10.1070/rm9846.
18. Sharapudinov, I. I. Sobolev-Orthogonal Systems of Functions Associated with an Orthogonal System, Izv. Math., 2018, vol. 82, no. 1, pp. 212-244. DOI: 10.1070/IM8536.
19. Sharapudinov, I. I. Approximation Properties of Fourier Series of Sobolev Orthogonal Polynomials with Jacobi Weight and Discrete Masses, Mathematical Notes, 2017, vol. 101, no. 3, pp. 718-734. DOI: 10.1134/S0001434617030300.
20. Sharapudinov, I. I. Sobolev Orthogonal Polynomials Generated by Jacobi and Legendre Polynomials, and Special Series with the Sticking Property for their Partial Sums, Sbornik: Mathematics, 2018, vol. 209, no. 9, pp. 1390-1417. DOI: 10.1070/sm8910.
Received May 23, 2021
MAGOMEDRASUL G. MAGOMED-KASUMOV Southern Mathematical Institute VSC RAS, 53 Vatutin St., Vladikavkaz 362027, Russia, Senior Researcher
Daghestan Federal Research Centre of Russian Academy of Sciences, 45 M. Gadjiev St., Makhachkala 367000, Russia, Senior Researcher E-mail: [email protected]
Владикавказский математический журнал 2022, Том 24, Выпуск 1, С. 54-64
ТЕОРЕМЫ СУЩЕСТВОВАНИЯ И ЕДИНСТВЕННОСТИ ДЛЯ ДИФФЕРЕНЦИАЛЬНОГО УРАВНЕНИЯ С РАЗРЫВНОЙ ПРАВОЙ ЧАСТЬЮ
Магомед-Касумов М. Г.1'2
1 Южный математический институт ВНЦ РАН, Россия, 362027, Владикавказ, ул. Ватутина, 53; 2 Дагестанский федеральный исследовательский центр РАН, Россия, 367000, Махачкала, ул. М. Гаджиева, 45, E-mail: rasuldev@gmail. com
Аннотация. Рассмотрены новые условия существования и единственности решения Каратеодори задачи Коши для дифференциального уравнения первого порядка с разрывной правой частью. Применяемый в статье метод основан на: 1) представлении решения в виде ряда Фурье по системе функций,
ортогональной относительно скалярного произведения типа Соболева и порожденной классической ортогональной системой; 2) использовании специальный образом сконструированного оператора A, действующего в пространстве l2, неподвижной точкой которого являются коэффициенты Фурье решения. При выполнении условий, рассматриваемых в данной статье, оператор A будет сжимающим. Это свойство может быть использовано для конструирования устойчивых, быстрых и легко реализуемых спектральных численных методов решения задачи Коши с разрывной правой частью. Изучена также взаимосвязь новых условий с хорошо известными классическими условиями (условия Каратеодори вместе с условием Липшица) существования и единственности решения Каратеодори задачи Коши с разрывной правой частью. А именно, показано, что если в классических условиях заменить пространство суммируемых функций L1 на пространство суммируемых с квадратом функций L2, то они станут эквивалентными условиям, приведенным в данной статье.
Ключевые слова: задача Коши, разрывная правая часть, ортогональная в смысле Соболева система, теорема существования и единственности, решение Каратеодори.
AMS Subject Classification: 65L10, 34A12, 34A36, 34A37, 34B37.
Образец цитирования: Magomed-Kasumov, M. G. Existence and Uniqueness Theorems for a Differential Equation with a Discontinuous Right-Hand Side // Владикавк. мат. журн.—2022.—Т. 24, № 1.— C. 54-64 (in English). DOI: 10.46698/p7919-5616-0187-g.
