Splitting the One-Dimensional Wave Equation Part I Solving by Finite-Difference Method and Separation Variables
Splitting the One-Dimensional Wave Equation Part I Solving by Finite-Difference Method and Separation Variables
DOI: http://dx.doi.org/10.21123/bsj.2020.17.2(SI).0675
Abstract:
In this study, an unknown force function dependent on the space in the wave equation is
investigated. Numerically wave equation splitting in two parts, part one using the finite-difference method
(FDM). Part two using separating variables method. This is the continuation and changing technique for
solving inverse problem part in (1,2). Instead, the boundary element method (BEM) in (1,2), the finite-
difference method (FDM) has applied. Boundary data are in the role of overdetermination data. The second
part of the problem is inverse and ill-posed, since small errors in the extra boundary data cause errors in the
force solution. Zeroth order of Tikhonov regularization, and several parameters of regularization are
employed to decrease errors for output force solution. It is obvious from figures how error affects the results
and zeroth order stables the solution.
Key words: Finite difference method, Inverse force problem, Regularization, Separation variables method,
Wave equation.
Introduction:
In physics, the wave equation uses 2
𝑢𝑡𝑡(𝑥, 𝑡) = 𝛻 𝑢(𝑥, 𝑡) + 𝑓(𝑥), (𝑥, 𝑡) ∈ 𝛺 ×
vibrations of a spring or membrane, acoustic
(0, 𝑇), 𝑇 > 0, 𝛺 ∈ 𝑅 (1)
scattering, etc. (1-3). The aim of this study: Firstly,
where (𝑢(𝑥, 𝑡), 𝑓(𝑥)) represents the displacement
to investigate and use finite-difference method
and force, respectively.
(FDM) rather than boundary element method
(BEM) in (1,2). Secondly, to show numerical results 𝑢(𝑥, 0) = 𝑢0(𝑥), 𝑢𝑡(𝑥, 0) = 𝑣0(𝑥),
and compare to (3-6), in addition presented 𝑥 ∈ 𝛺. (2)
numerical results were not shown in (4). Equation (2) is the initial condition, when 𝑢0
Furthermore, numerical solving for inverse represent the initial displacement and 𝑣0 velocity.
problems part by finite-difference method (FDM), For solving equation (1)-(2) need to have boundary
and apply the Tikhonov regularization to stable the condition, first let consider Dirichlet boundary
ill-posed inverse problem with various conditions
regularization parameters (2,3). In this research the 𝑢(𝑥, 𝑡) = 𝑃(𝑥, 𝑡), (𝑥, 𝑡) ∈ 𝜕𝛺 × (0, 𝑇). (3)
condition and the theory that insure uniqueness The equation above calls direct well-posed problem
solution is not provided because it is the same in (1- if the 𝑓(𝑥) is given. Otherwise, for solving
5). Inverse problem is linear source inverse problem equations (1)-(3) need to have extra data usually if
(1-3). The design of the paper is as follows: The Dirichlet boundary conditions taken as boundary
mathematical formulation is given in Section 2. condition then Neumann condition will be
Sections 3, illustrates numerical results and additional data or posit, i.e. the same condition will
discussed, finally, conclusions are offered in not be existed in original problem
Section 4. 𝜕𝑢
(𝑥, 𝑡) = 𝑞(𝑥, 𝑡), (𝑥, 𝑡) ∈ 𝛤 × (0, 𝑇),
𝜕𝜈
𝛤 ⊂ 𝜕𝛺 (4)
Mathematical Formulations:
where 𝜈 is the outward unit normal to 𝜕𝛺, (2,3).
The require equation for nonhomogeneous
After that the inverse problem (1)-(4) split into
and one-dimension wave equation (1-3)
the form 𝑢 = 𝑣 + 𝑤 (1,2,4). Part one: 𝑣 satisfies
Department of Mathematics, College of Science,
University of Sulaimani, Sulaimani, Iraq.
the well-posed direct problem (1,2,4)
E-mails: [email protected] 𝑣𝑡𝑡(𝑥, 𝑡) = 𝑣𝑥𝑥(𝑥, 𝑡),
*
ORCID ID: https://orcid.org/0000-0002-9652-9261 (𝑥, 𝑡) ∈ 𝛺 × (0, 𝑇), (5)
675
Open Access Baghdad Science Journal P-ISSN: 2078-8665
2020, 17(2 Special Issue)NICST:675-681 E-ISSN: 2411-7986
676
Open Access Baghdad Science Journal P-ISSN: 2078-8665
2020, 17(2 Special Issue)NICST:675-681 E-ISSN: 2411-7986
(a) (b)
Figure 1. (a) 𝐯𝐱(𝟎, 𝐭), (b) 𝐯(𝟎, 𝐭) come by using the FDM with 𝐌 = 𝐍 ∈ {𝟐𝟎, 𝟒𝟎, 𝟖𝟎}.
Table 1. (a) 𝐯𝐱(𝟎, 𝐭), (b) 𝐯(𝟎, 𝐭) come by using the BEM and FDM with 𝐌 = 𝐍 ∈ {𝟐𝟎, 𝟒𝟎, 𝟖𝟎}.
(a) 𝑣𝑥 (0, 𝑡)
𝑡𝑗 𝑀 = 𝑁 = 20 𝑀 = 𝑁 = 40 𝑀=𝑁 = 80
BEM FDM BEM FDM BEM FDM
0.2 2.50089 2.36232 2.42396 2.34681 2.38345 2.34291
0.4 0.82599 0.57872 0.69957 0.57279 0.63546 0.57130
0.6 -1.30763 -1.57872 -1.44003 -1.57279 -1.50564 -1.571304
0.8 -3.16143 -3.36232 -3.25401 -3.34681 -3.29844 -3.342907
(b) 𝑣(0, 𝑡)
0.2 0.1595 0.15959 0.1595 0.15948 0.1595 0.15946
0.4 0.0944 0.09407 0.0944 0.094376 0.0944 0.09441
0.6 -0.3339 -0.33483 -0.3339 -0.33401 -0.3339 -0.33391
0.8 -1.1255 -1.12690 -1.1255 -1.12566 -1.1255 -1.12551
From Fig. 2a one can note that the good approached. Also there is different shape
numerical solution 𝑏 = (𝑏𝑘 )𝑘=1,𝐾 ̅̅̅̅̅ get from (19) where boundary element method (BEM) had been
compare with analytical values for the sine Fourier used (see Figure 4 in (1)). From absolute error
series coefficients (see equation (75) in (1)) have a between exact and numerical in Table 2a shows
677
Open Access Baghdad Science Journal P-ISSN: 2078-8665
2020, 17(2 Special Issue)NICST:675-681 E-ISSN: 2411-7986
(FDM) is better than (BEM) where k = 5,10, but it the exact and numerical one is decried. Nearly the
is opposite in k = 15,20. same figure has been obtained when boundary is
Furthermore, Fig. 2b shows the 𝑏 = (𝑏𝑘 )𝑘=1,𝐾
̅̅̅̅̅ used element method (BEM) (1). But the values are
obtained from (20), in comparison with cosine closer to the exact one, when FDM has used one
Fourier series coefficients exact one when given by can see in Table 2b.
(equation (83) in (1)) the amount of error between
(a) (b)
Figure 2. The numerical solution (…) for (𝒃𝒌 )𝒌=𝟏,𝑲 ̅̅̅̅̅ for 𝑲 = 𝟐𝟎, 𝑵 = 𝟖𝟎 obtained, in comparison
with the exact solution (a) equation ((75) in (1)) (b) equation ((83) in (1)) (— ).
Figure 3. The exact solution (26) for 𝒇(𝒙) in comparison with the numerical solution, (a)
equation ((54) in (1)) and (b) equation ((79) in (1)) for 𝑲 ∈ {𝟓, 𝟏𝟎, 𝟐𝟎} respectively.
678
Open Access Baghdad Science Journal P-ISSN: 2078-8665
2020, 17(2 Special Issue)NICST:675-681 E-ISSN: 2411-7986
Table 3. The exact solution (26) for 𝒇(𝒙) in comparison with the numerical solution BEM and FDM,
(a) equation ((54) in (1)) and (b) equation ((79) in (1)) for 𝑲 = 𝟐𝟎.
𝑓𝑘=20 In case 𝑣𝑥 (0, 𝑡)
𝑀 = 𝑁 = 80 𝑓(𝑥),exact 𝑓(𝑥), BEM Error 𝑓(𝑥),FDM Error
0.2 6.801207913 6.582675008 0.218532905 6.709727966 0.091479947
0.4 10.38655158 10.28346389 0.103087691 10.33671287 0.04983871
0.6 10.38655158 10.3991275 0.012575923 10.34160683 0.04494475
0.8 6.801207913 6.879010004 0.077802091 6.730459123 0.07074879
𝑓𝑘=20 In case 𝑣(0, 𝑡)
0.2 6.801207913 6.7895 0.011707913 6.788235668 0.012972245
0.4 10.38655158 10.3705 0.01605158 10.36905097 0.01750061
0.6 10.38655158 10.3639 0.02265158 10.36180593 0.02474565
0.8 6.801207913 6.7581 0.043107913 6.754137179 0.047070734
Figure 4 and 5 have plotted the numerical solutions instabilities as 𝑝% = 1%. This means, in this case,
for 𝑓(𝑥) for various values of 𝐾 ∈ {5, 10, 20} and FDM is a better solution rather than BEM. And
contain some (𝑝% = {1, 3, 5}%) noise in the data when the amount of noise increase 𝑝% = {3, 5}%
(21). First, in case (a) Dirichlet condition: From Fig. it can be clearly seen that oscillations start to appear
4(a) it can be observed that there is little difference see figures 4(b) and 4(c). Fig. 4(d) shows
between the exact solution (26) and the results for instabilities as 𝑝 increases and fixed 𝐾 = 20.
𝑓(𝑥) obtained with and without noise (where Meanwhile, in case (b) mixed condition: Fig. 5
𝑝% = 1%). In contrast, in (Figure 7 (1)) the oscillations start to appear as 𝐾 increases to 10 or
unregularized numerical solution for 𝑓(𝑥) 20 with noise (𝑝% = 1%.).
(a) (b)
(c) (d)
Figure 4. Comparison between exact solution (26) for 𝐟(𝐱) and numerical solution (54) in (1) for
various 𝐊 ∈ {𝟓, 𝟏𝟎, 𝟐𝟎}, no regularization, for (a) 𝐩% = 𝟏% (b) 𝐩% = 𝟑% (c) 𝐩% = 𝟓% (d)
𝐩% = {𝟏, 𝟑, 𝟓}% and 𝐊 = 𝟐𝟎 noisy data.
679
Open Access Baghdad Science Journal P-ISSN: 2078-8665
2020, 17(2 Special Issue)NICST:675-681 E-ISSN: 2411-7986
(a) (b)
Figure 6. The accuracy error ||𝒇numerical – 𝒇exact||, as a function of 𝝀, for 𝑲 = 𝟐𝟎 and (a) 𝒑% =
𝟓% (b) 𝒑% = 𝟏% noise.
(a) (b)
Figure 7. Comparison between exact solution (26) for 𝒇(𝒙) and numerical solution, for 𝑲 = 𝟐𝟎, (a)
𝒑% = 𝟓% noise, and regularization parameters 𝝀 ∈ {𝟏𝟎−𝟏 , 𝟏𝟎𝟎 } (b) 𝒑% = 𝟏% noise, and
regularization parameters 𝝀 ∈ {𝟏𝟎−𝟒 , 𝟓 × 𝟏𝟎−𝟒 , 𝟏𝟎−𝟑 }.
680
Open Access Baghdad Science Journal P-ISSN: 2078-8665
2020, 17(2 Special Issue)NICST:675-681 E-ISSN: 2411-7986
:الخالصة
تم التحقيق فى دالة قوة مجهولة تعتمد على الفضاء في معادلة الموجة حيث تم تقسيم معادلة الموجة عدديا الى،في هذه الدراسة
) فى القسم االول واستخدام طريقة فصل المتغيرات فى القسم الثاني وقد اجرى تغييرا فىMDF( قسمين وتم استخدام طريقة الفروق المحدودة
) بدالً من طريقةMDF( ) حيث تم تطبيق طريقة الفروق المحدودة2,1( تقنية الحل للقسم المتعلق بالمسآلة العكسية المذكورة فى
وتم توظيف البيانات الحدودية لخدمة البيانات ما فوق المحدودة وان القسم الثاني للمسألة.) 2,1( ( الواردة فىBEM) العناصرالحدودية
هوعكسى وفى وضع معتل الن االخطاء الصغيرة فى البيانات الحدودية االضافية تسبب اخطاءأ فى حل المسألة حيث وظفت الرتبة الصفرية
لنظام تيكونوف وكذلك باراميترات ( معلمات) عديدة للنظام لتقليل االخطاء من اجل الحصول على حل القوة ومن الواضح من الرسوم البيانية
.كيف ان الخطأ يوء ثر على النتيجة وكيف ان الرتبة الصفرية تعمل على استقرار الحل
. معادلة الموجة، مسألة القوة العكسية، طريقة فصل المتغيرات، طريقة الفروقات المحدودة، التنظيم:الكلمات المفتاحية
681