CC BY
6
MSC 41A50 DOI: 10.14529/mmpl80211
THE RATE OF CONVERGENCE OF HYPERSINGULAR EQUATIONS NUMERICAL COMPUTATION
S.I. Eminov1, S.Yu. Petrova1
1 Novgorod State University Yaroslav the Wise, Veliky Novgorod, Russian Federation E-mail: [email protected], [email protected]
Numerical methods for solving hypersingular equations based on Chebyshev polynomials of the second kind with a weight taking into account the Meixner physical conditions on the edge are developed. We obtained estimates of the rate of convergence using the analytical form of the matrix of an integral operator with a logarithmic singularity. Authors considered a delta function model, and its inapplicability in diffraction problems and vibrator antennas are shown. Previously, a numerical-analytical method for solving the excitation problems of vibrator antennas was proposed, but in the present work, the rationale for the numerical-analytical method is given for the first time. Unlike the reduction method, the numerical-analytical method demonstrates reliable convergence, not only in diffraction problems but also in antenna excitation problems. The specific feature of the excitation problems is that the right-hand side of the hypersingular equation is localized in a small region, in comparison with the characteristic dimensions of the antenna. Mathematically, this means that the right-hand side of the hypersingular equation decomposes into a slowly-convergent series. A similar property is also possessed by the solution of the equation. That is why the method of reduction is not effective enough. An example of a numerical solution is considered. Estimates of the rate of convergence are obtained. The applicability of developed methods for investigating a wide range of diffraction problems is shown
Keywords: hypersingular integral; Chebyshev polynomial; rate of convergence; operator matrix; reduction method; Fredholm system of the second kind.
Introduction
A number of diffraction problems on an unclosed cylindrical surface, on a rotary surface, are described by a hypersingular equation of the form is defined as:
(Au) (т) + a (Lu) (т) + в (Ku) (т) = i
1 1 ,
= —— u (t) — In --- dt +
пдтJ K ' dt \т - t\ -i
1 1
+ aju (t) In at + ejK (T,t) u (t) dt = f (t ), -1 < т < 1, (1)
-1 -1
where both a and в are constant values, and the core of K (т, t) is a continuous function.
The theory of the (1) equation is described in [1] and it is based on the properties of a hypersingular integro-differential operator is defined as:
1
1 d f d 1
) = nrTJu (t) atln dt (2)
-1
The theory, has described paper [1], also proved that the A operator is a symmetric positive-definite operator in a L2 [-1,1] Hilbert space and has a dense domain of definition. The inverse operator has defined by the following equations:
1
(A-1f) (t) = 1J f (t)ln 1
r-t
1 — Tt + vr — T 2V1 — t2
dt
and it is not only terminated, but it is also completely continuous operator in the L2[— 1,1] area. For any B operator that is terminated by the L2 [— 1,1] area, there is T = A-1B
operator, that completely continuous in the HA energy space of a symmetric positive-A A-1
u (t) + a (A-1Lu) (t) + p (A-1Ku) (t) = A-1f. (4)
Equation (4) is the Fredholm equation of the second kind in the HA energy space.
1. Estimation of the Rate of the Convergence of the Reduction Method
To understand the important ideas we introduce the function system
(t) = \— sin [n arccos (t)] = \— V1 — t2Un (t) , n =1, 2, 3,..., (5) V nn V nn
where (•, •) means ^te multiplication in L2[— 1,U (t) are Chebyshev
polynomials of the second kind: U1 (t) = 1, U2 (t) = 2t, U3 (t) = 4t2 — 1, etc. This functions system forms the basis of space HA [1]- It is complete and orthonormal and it's defined as
[Pn,Vm\ = (APn,Vm)= jj'^ ^ ^
where [ • , • ] is a scalar multiplication in HA space. Now we reduce equation (1) to an infinite system. For this, we represent the solution of equation (1) in the following form:
u (t) = CnPn (t). (7)
n=1
We substitute the (7) equation into (1) and multiply scalarly in L2[— 1,1] space by the
..., ... basis functions. As a result, we obtain a following system of linear algebraic equations:
+^0 +^0
cn + a ^ ^ CmLmn + p ^ ^ CmKmn fnj n 1 j 2} . . . ,n} . . . (8)
m=1 m=1
where
Lmn = (Lpm, Pn) j Kmn = (K^m, pn) j /ra = (/) ^ra) •
Because equation (4) is a Fredholm equation of the second kind, system (8) is a Fredholm system of the second kind in the l2 space of quadratically summable sequences too. To solve the system, we apply the reduction method [2, p. 534], i.e. we replace the infinite system by the corresponding truncated system as follows:
N N
Cn + a ^ ^ CmLmn + ^ ^ CmKmn /nj n • • • j (9)
m=1 m=1
Let set the problem to estimate the difference between the c = (c1; c2, • • •, cn, • • •) exact solution of system (8) and the C = (C1, C2, • • •, CN, 0, 0, • • •) approximate solution, i.e.
c cC
space l2. As described in [2, p. 536], we have the following estimate:
\\c - C\\< Ci
2
+ C
£ f2
i=N+l
(10)
i=N+1 k=l
The first term of sum (10) is determined by the system matrix, and the second by the right-hand side.
In the diffraction problem on a strip, for example, the right-hand side is given in the follows form:
f (t) = exp (гаг cos ф), (11)
where a is an electric half-width of the strip, ф is an angle of incidence. Now we find the right-hand sides, confining ourselves to even functions, like the standard integral [3]
i
f2i-i = J Ф2—1 (г) exp (гаг cos (ф)) dr = -l
= (-i)i-V 2п (2г - 1) J2i-1 (a Ш\(ф)). (12)
a cos (ф)
The right-hand sides are expressed in terms of Bessel functions; decrease rapidly, exponentially [3]. Therefore, in this case the rate of convergence in the method of reduction is determined only by the system matrix. Consider the system matrix, confining ourselves to the case в = 0 Matrix elements of the integral operator L we can be found analytically. Using the follows identity [3]
i
ln = C + / C0S[" (T - t)] - 1 dx + i C0S[X (T - t)] dx, C = 0,5772, (13)
It - tl J x J x
0 i
integrals of the form (12) and the follows standard integral [3]
jxa-j (CT) j (CT)dx =
0
= 2a-ic-a_Г(1 - а)Г((т + n + a)/2)_
Г(1 + (n - m - а)/2)Г(1 + (m - n - а)/2)Г(1 + (т + n - a) /2)' 1 J
L
core
(Lp2i-1,P2j-1) = 1 ln 2 + 1 , ifi = j = 1, (15)
2 o
(LP2i-1, P2j-1) = 8. ( ■1— 1) , if i = j > 1, (16)
(L ) V(2i — 1) (2j — 1) . i
(Lp2i-1,P2j-1) = — 4 (i + j )(i + j — 1)(i + j — 2) = . — 1 M
(L<p2i-1, <P2j-1) = (p2i-1,Lp2j-1) , (18)
(Ly>2i-1,V2j-1) = 0, if \i — j\ > 1. (19)
L
diagonal. According to the analysis of the rate of convergence, this matrix is close to the diagonal matrix, in which all elements except the main diagonal are equal to zero.
From inequality (10), taking (16) - (19) into account, after simple calculations, we obtain the following theorem.
Theorem 1. There is an estimate of the rate of convergence of the approximate solution to the exact follows solution
WC — Cll = o(^). (20)
Table 1 demonstrates the efficiency - fast convergence of the reduction method at the normal incidence of an electromagnetic wave. The results obtained with N = 5 and N =10 completely coincided.
Table 1
The values of the solution at zero depending on the number N of basic functions a = 1/n, ¡3 = 0 P = n/2
N uN (0) N uN (0) N uN (0) N uN (0)
1 0,6679544 2 0,6550782 5 0,6553978 10 0,6553978
2. Model of the Delta Function in the Theory of Vibrator Antennas and Its Approximation
In this subsection we construct a function f (t) for which the reduction method products poor convergence; does not work. In problems of excitation of vibrator antennas, the primary field is localized in a small area. To simplify the calculations, the primary field was represented in the form of the Dirac delta function discussed in the monograph
[4]
f (t) = 6 (t). (21)
We note that the function (21) does not belong to the space L2[—1,1], but a completely continuous operator A-1 is defined on a wider space [5]. Therefore we can find follows solution
1 T
(A-l8) (t) = 1 ln
v ) n
1 + VT—T
(22)
This function is unlimited and, therefore, the delta function model is not applicable for the strict solution of the equation, because in the process of solving it is necessary to find a quantity that, in physical sense, is finite. Consider a function that belongs to the space L2(—1, 1) and approximates the Dirac delta function in the sense of generalized functions
f' (t > = {0:iTi>v (23)
Consider right-hand sides of system (8) for the function 8 (t)
:
f2i-i = I Ф2—1 (t) 8 (t) dT = I \ I n 1) sin [(2i - 1) arccos (t)] 8 (t) dT l
2 , i
n (2i _ 1)
And now let us turn to the series
(-1Г1 • (24)
E f2
i=N +l
(25)
of convergence rate (10) entering the estimate. When we substitute (24) this, we obtain, as we would expect, a divergent series. After replacing, the delta-function by f£ (t), the corresponding series will converge. However, the value of the series will depend on e, as e decreases, it will grow and, apparently, one can not obtain a uniform estimate, which does
e
method. Table 2 summarizes the values of the solution of the equation uN (0), obtained by the reduction method.
Table 2
The values of the solution at zero depending on the number N of basic functions a = 1/n /3 = 0
l
l
N £ = 0, 1 £ = 0,01 N £ = 0,1 £ = 0, 01
1 0,4319895 0,4326044 10 1,003179 1,096826
2 0,5969654 0,6003707 20 1,028233 1,313883
3 0,7122543 0,7206242 40 1,026874 1,521940
4 0,7937296 0,8091264 80 1,014211 1,695528
5 0,8543462 0,8787146
As follows from this table, there is no internal convergence, stabilization for e = 0, 01. We gave an example for which the method of reduction "does not converge".
3. Analytical Modification of the Reduction Method
Consider another method for solving system (8). We represent the solution of the system in the form of a sum of two terms
Cn = c* + fn (26)
and substitute it into system (8). As a result, we obtain a new system of the form
+ a ^pm
m=1 m=1
+ a ^ ^ CmLmn + ^c*mKmn = n (27)
where
fn = fnLmn - ßY, fnKmn, n =1, 2,...,n,... (28)
m=1 m=1
Let's show that the right-hand sides of (28) fast enough decrease independently of the right-hand side of the original equation. By the Cauchy - Bunyakovskii inequality we have
| /n | = [A-1/,pn] < [a-1/] [Pn] = [A-1/] = C, where [ • ] is the norm in the energy space. Further, setting ft = 0 from (28), we have
\f:\<\a\^ \Lmn\
mn \
m=1
Hence, taking (16) - (19) into account, we obtain the following theorem. Theorem 2. There is an estimate
f I = O(^) • (29)
The system (27) will also be solved by the reduction method. After solving this system, taking (26) into account, we find an approximate solution of system (8) in the form
N N
uN (t) = Z fn^n (t) + Z C*n^n (t) = Z (f ' ^n) Pn (t) + Y^ C*nPn
n=l n=l n=l n=l
The first term in (30) can be turn into the integral [1], it exactly corresponds to the analytic inversion of the hypersingular operator A. As a result, we obtain the final formula for the approximate solution
uN (t) = U f (t)ln -1
1 N
T- t
1 - Tt + y/I — T 2V1 — t2
dt + £ On (t). (30)
n
n=1
In concluding of this section, we present the results of the solution of system (8) also for the right-hand side / (t), given by formula (23). The results obtained for uN (0) by formula (30) are summarized in Table 3. The result in Table 3 demonstrate us reliable internal convergence for different values e.
Table 3
The values of the solution at zero depending on the number N of basic functions a = 1/n, / = 0
N £ = 0, 1 £ = 0,01 N £ = 0,1 £ = 0,01
1 1,067948 0,4154451 10 1,013074 1,744628
2 1,023392 1,800810 20 1,013007 1,744315
3 1,017207 1,756401 40 1,013016 1,744242
4 1,014998 1,749384 80 1,013016 1,744227
5 1,014066 1,747963
4. Applications of the Modified Method of Reduction
1. We have considered the case when / = 0. However, this does not detract from the generality, for example, in the theory of diffraction the nucleus K (t, t) is continuously differentiate. The elements of the matrix Kmn decrease rapidly with increasing m or n.
2. An operator M of a more general form can be added to the initial equation. It is important that an operator of the form A-1M remains completely continuous in the energy space HA of a symmetric positive-definite operator A. In fact, equation (4) can be written laconically in the form u + Ku = g. This is the Fredholm equation of the second kind in HAspace. Above we have analyzed the case of poor convergence of the
reduction method, when the right-hand side is localized in a small area. The reason for
g
After replacing u = g + v, we obtain an equation of the form v + Kv = —Kg relative
to v. The operator K, as completely continuous, smoothes out the function g, accelerates
g
modified method of reduction developed in this paper is universal. References
1. Eminova V.S., Eminov S.I. Justification of the Galerkin Method for Hypersingular Equations. Journal of Computational Mathematics and Mathematical Physics, 2016, vol. 56, no. 3, pp. 417-425. DOI: 10.1134/S0965542516030039
2. Rudin W. Functional Analysis. New York, McGRAW-HILL, 1973.
3. Prudnikov A.P., Brychkov Yu.A., Marichev O.I. Integraly i ryady. Specialnye funkcii [Integrals and Series. Special Functions]. Moscow, Nauka, 1983. (in Russain)
4. Computer Techniques in Electromagnetics. Pergamon, 1973.
5. Sukacheva T.G., Matveeva O.P. Taylor Problem for the Zero-Order Model of an Incompressible Viscoelastic Fluid. Differential Equations, 2015, vol. 51, no. 6, pp. 783-791. DOI: 10.1134/S0012266115060099
Received 12 March 2018
УДК 519.837 DOI: 10.14529/mmpl80211
СКОРОСТЬ СХОДИМОСТИ ЧИСЛЕННЫХ МЕТОДОВ РЕШЕНИЯ ГИПЕРСИНГУЛЯРНЫХ УРАВНЕНИЙ С. И. Эминов1, С. Ю. Петрова1
Новгородский государственный университет им. Ярослава Мудрого, г. Великий Новгород, Российская Федерация
Развиты численные методы решения гипереингулярных уравнений на основе полиномов Чебышева второго рода с весом, учитывающим физические условия Мейкснера на ребре. Используя аналитический вид матрицы интегрального оператора с логарифмической особенностью, получены оценки скорости сходимости. Рассмотрена модель дельте. функции, показана ее неприменимость в задачах дифракции и вибраторных антенн. Ранее был предложен численно-аналитический метод решения задач возбуждения вибраторных антенн. В настоящей работе впервые дано обоснование численно-аналитического метода. В отличие от метода редукции, численно-аналитический метод демонстрирует надежную сходимость, как в задачах дифракции, так и в задачах возбуждения антенн. Особенность задач возбуждения заключается в том, что правая часть гиперсингулярного уравнения локализована в небольшой, по сравнению с характерными размерами антенны области. Математически это означает, что правая часть гиперсингулярного уравнения разлагается в медленно-сходящийся ряд. Подобным свойством также обладает и решение уравнения. Именно поэтому метод редукции недостаточно эффективен. Рассмотрен пример численного решения. Показана применимость развитых методов для исследования широкого круга задач дифракции.
Ключевые слова: гиперсингулярный интеграл; полином Чебышева; скорость сходимости; матрица оператора; метод редукции; аналитический; второго рода.
Литература
1. Эминова, B.C. Обоснование метода Галеркнна для гиперсингулярных уравнений / B.C. Эминова, С.И. Эминов // Журнал вычислительной математики и математической физики. - 2016. - Т. 56, № 3. - С. 432-440.
2. Rudin, W. Functional Analysis / W. Rudin. - N.Y.: McGRAW-HILL, 1973.
3. Прудников, А.П. Интегралы и ряды. Специальные функции / А.П. Прудников, Ю.А. Брычков, О.И. Маричев. - М.: Наука, 1983.
4. Вычислительные методы в электродинамике. - М.: Наука, 1977.
5. Сукачева, Т.Г. Задача Тейлора для модели несжимаемой вязкоупругой жидкости нулевого порядка / Т.Г. Сукачева, О.П. Матвеева // Дифференциальные уравнения. -2015. - Т. 51, № 6. - С. 771-779.
Стефан Ильич Эминов, доктор физико-математических наук, профессор, директор Института электронных и информационных систем, Новгородский государственный университет им. Ярослава Мудрого (г. Великий Новгород, Российская Федерация), [email protected].
Светлана Юрьевна Петрова, КсШДИДсХТ ТвХНИЧвеКИХ HclVK. доцент^ кафедра «Информационные технологии и системы>, руководитель магистерской программы «Информационные технологии больших ДсШНЫХ^. Новгородский государственный университет им. Ярослава Мудрого (г. Великий Новгород, Российская Федерация), [email protected].
Поступила в редакцию 12 марта 2018 г.
