CC BY
25
NANOSYSTEMS: PHYSICS, CHEMISTRY, MATHEMATICS, 2016, 7 (3), P. 405-409
The problem of kernel determination from viscoelasticity system integro-differential equations for homogeneous anisotropic media
D.K. Durdiev1, U. D. Durdiev2
1 Bukhara State University, Bukhara, Uzbekistan 2 Kazan Federal University, Kazan, Russia [email protected], [email protected]
PACS 02.30.Zz DOI 10.17586/2220-8054-2016-7-3-405-409
We consider the problem of reconstructing the time-dependent history of the viscoelasticity medium from the viscoelasticity system of equations for an homogeneous anisotropic medium. As additional information, the Fourier image of the displacement vector for values v = vo = 0 of transformation parameter is given. It is shown that if the given functions satisfy some conditions of agreement and smoothness, the solution for the posed problem is uniquely defined in the class of a continuous functions and it continuously depends on given functions. Keywords: inverse problem, integro-differential equation, delta function, Fourier transformation, agreement condition. Received: 8 March 2016 Revised: 20 April 2016
1. Setting up the problem and main result
We consider the integro-differential system for x = (x1, x2, x3) g R3, t g R:
P
at the initial conditions
^ = t fj + /<-'),. = W3 0)
.7=1 j
Ui |t<0= 0. (2)
Here, u(x,t) = (ui(x, t), u2(x, t), u3(x,t))* is the displacement vector function, * is the sign of transposition, Tij denotes the stress tensor related to the viscoelastic medium. More exactly, we have:
Tij(x,t)= t cjki I (x,t)+ i Ki(r)dxi- r)dr k,i=1 y Xl 0 Xl
(3)
f (x,t) = (f1(x,t),f2(x,t),f3(x,t))* is the external force; p > 0 is the density of the medium. In equality (3), coefficients cijki are the elastic moduli of the medium. It is convenient and customary to describe the elastic moduli in the terms of a 6 x 6 matrix according to the following conventions relating a pair (i,j) of indices i,j = 1, 2, 3 to a single index a = 1,2,..., 6 : (11) ^ 1, (22) ^ 2, (33) ^ 3, (23) = (32) ^ 4, (13) = (31) ^ 5, (12) = (21) ^ 6. This correspondence is possible due to the symmetry properties cijki = cjiki = cijik. The additional symmetry property cijki = ckHj implies that the matrix C = (ca^)6X6 of all moduli is symmetric, where a = (ij), ft = (kl). We will also assume that p > 0, cijk; are constants and the matrix C = (ca^)6x6 is positive definite.
Many important materials used in modern technologies (such as nanotechnology) are viscoelastic and anisotropic. Viscoelastic materials have the properties of viscosity and elasticity upon deformation. Some mathematical models in the field of nanotechnology are contained, for example, in articles [1,2] (see also references in them). In mathematical modeling of processes taking place in viscoelastic materials, there is a so-called system with memory, whose behavior is not completely determined by the state at the moment, but depends on the systems entire history, and therefore, describes an integro-differential equation that contains the corresponding integral with respect to the time variable. The system of equations (1), taking into account the integral term (3) is the basic in the linear theory of viscoelastic anisotropic media.
A study of inverse problems for hyperbolic integro-differential equations and systems is the subject of research by many authors. Among the problems that are closer to the present work can be identified [3-9]. In papers [3,4], the unique solvability and stability of the solution for the inverse problem for the identification of a memory kernel from Maxwell's system integro-differential equations for a homogeneous anisotropic media are studied. In
work [5], the inverse problem for a second order hyperbolic equation with an integral member of convolution type with respect to one-dimensional time - dependent memory function of the medium and solution of the direct problem is investigated. By Fourier's method, this problem is reduced to solving the Volterra integral equations with respect to the unknown functions of the time-dependent variable. In papers [6,7] (see also references therein) the problem of determining the multidimensional kernel in viscoelasticity equation for an inhomogeneous isotropic medium is investigated. In [8,9], the problem of the one-dimensional kernel reconstruction from viscoelasticity equation in the bounded and unbounded domains has been studied. The theorems for the global unique solvability of these problems in the class of continuous functions with weighted norms were proved. The basic feature inherent in [3,4,6-9] and this paper is to use a boundary-localized and/or a fixed point of the spatial domain source, for the initiation of the physical process of wave propagation. Finally, we recall that the papers [10-13] are concerned with the problems of kernel determination from integro-differential equations with an integral of the convolution type. In the present paper, the approach of the works [3, 4] will be used.
We will consider the problem (1) - (2) for the case in which the function f (x,t) has the form:
f (x,t) = -S(x)S'(t), (4)
where e = ( —=, =, — ) is unit vector; S(x) = S(xi)S(x2)S(x3) is the Dirac delta function of the space VV3 V3 v3J
variable concentrated at xi = 0,x2 = 0, x3 = 0; S'(t) is the derivative of Dirac delta function of the time variable concentrated at t = 0.
The problem in which the vector u(x,t) = (ui,u2,u3) (x,t) should be determined from (1) - (4) for given matrices K(t) = diag (Ki,K2,K3) (t), C = (cap)(6x6) and number p > 0 will be called the direct problem.
Let U(v,t) = (Ui,U2,U3)(v,t) be the Fourier image of u(x,t) with respect to x = (xi,x2,x3) e R3, respectively, i.e.:
3
Uj (v,t) = uj (x,t)-i(x'v)dx, v = (vi,v2,v3) e R3, (x,v) = Y^ x\vx, j = 1, 2, 3,
R X=i
where v is the parameter of transformation. We pose the following inverse problem: find the matrix function K(t) = diag (Ki, K2,K3) (t), t > 0 occurring in the integral in equations (3) from the information on the Fourier image U(v, t) at an arbitrary time t > 0 for the values v = v0 of the Fourier transformation:
U (vo ,t)= g(t), g(t) = (gi,g2,g3). (5)
Definition. A solution of the inverse problem is a matrix function K (t) = diag (Ki, K2 ,K3) (t) such that the corresponding solution of problem (1) - (4) satisfies condition (5). The main results of the present paper are the following theorems:
Theorem 1. Let us fix some arbitrary T, T > 0. Suppose that g(t) e C3[0, T] and the agreement conditions:
e 1
g(0) = -, g'(0)=0, g''(0) = — Q(vo)e, p p2
holds. Besides, det Q(v0) =0, v0 = 0, where Q(v) is matrix definite by formula (12). Then, the inverse problem (1) - (5) has a unique solution K(t) = diag (Ki, K2,K3) (t) e C[0, T].
Let G(y) be the set of functions g(t), satisfying the conditions of theorem 1 and ||giCt)Mc3[0 T] < Y < t e [0, T], i = 1, 2,3, y - the given number.
Theorem 2. Let Km(t) = diag(Kin(t), K2p(t), K3p(t)) be solution to the inverse problem (1) - (5) with gm(t) e G(y), m = 1, 2, respectively. Then, there exists positive constant C, depending on numbers T, p, y and elements of matrix Q(v0) so that the following estimate of stability is valid:
33
Ell i 2II || i 211
llKi - Ki llc[0,T] < \\gi - gi IIc3[0,T] . (6)
2. The main equations with respect to Fourier's image
Denote
3 dvk i
k,i= l
Then, (3) can be written as the following:
T— := J2 c—kl dx(x,t) (7)
t
Tij(x,t) = Tij(x,t) + J Ki(r)Tij(x,t - r)dr, i = 1, 2, 3; j = 1, 2, 3.
0
Using the symmetry properties of the elastic moduli and the rule of the renumbering of indices, accepted above, relation (7) obtains the form:
dvi dvi dvi dv2 dv2 dv2 dv3 dv3 dv3
' ' ' ' ' ' ' + Ca3T,-,
OX3
a = 1, 2,..., 6. (8)
p ----1 . --1 . --1 . --2 --2 --2 --3 --3
T a ca1~7[ + ca6~* + + ca6~* + ca2 ^ + ca4~7[ + + ca4~7[ + ca3 ^
OXi OX2 OX3 OX1 OX2 OX3 OX1 OX2 OX3
Therefore, for each i = 1, 2, 3, the first terms on the right side of (1) can be written as:
A dTj = dT\ + 3% + OTs
f J dx - dxi dx^ dx.r> '
j=1 — 3
3T2j 3T6 dT2 3T4
y —— = —6 +--2 +--4, (9)
ox— 3x1 3x2 8x3
j=l j A dTj = m, + m± + dT±
Oxn dxi dx2 8x3
j=l
Formulae (8) and (9) will be used for computing the Fourier's transformation with respect to the variable x of the right sides in (1).
We apply the Fourier transformation to both parts of (1) - (4). The Fourier transform of the vector function u(x,t) exists at any finite t, since the vector function u(x,t), as the solution of the direct problem (1) - (4), is the sum of a certain singular generalized vector function and a regular vector function, the support of the vector function u(x,t) being finite [14, chapter 4]. At any fixed v, the vector function U(v,t), U(v,t) - the Fourier transformation of u(x,t) with respect to x satisfies differential equation:
d 2 U i
pI-QjT = Q(v)U (v,t) + K (t - T )Q(v)U (v, T )dT + eô'(t), v G R3,t G R,
(10)
for the initial conditions:
V |t<o = 0. (11)
In equation (10), we denoted I - the unit matrix of third order, U (v,t) = (U1 ,U2,U3)* (v,t), e = (e1,e2,e3) = 1 1 1
V3, V3,
/ Q11 Q12 Q13
Q(v ) = Q21 Q22 Q23
\ Q31 Q32 Q33
Qij (v), 1 < i < 3,1 < j < 3 - uniform polynomials of second order with respect to v:
Qii (v Qi2 (v Qis(v Q21 (v Q22 (v Q23 (v Q31 (v Q32 (v Q33 (v
= ciiv2 + 2ci6viv2 + cmvl + 2ci5vi v3 + 2c56v2v3 +
= ci6vi + (ci2 + c66) viv2 + c62v2 + (ci4 + c56) viv3 + (c52 + c6i) v2v3 + c5iv^ = ci5v1 + (ci4 + c65) viv2 + c^vl + (ci3 + c55) viv3 + (c63 + c5i) v2v3 + c^vj = c6iv\ + (c21 + c66) viv2 + c26v2 + (c41 + c65) viv3 + (c25 + ci6) v2v3 + c45vl = cqqv 2 + 2c26viv2 + cuvh + 2c6iviv3 + 2cnv2v3 + c^v2,
= c65v2 + (c6i + c25) viv2 + c24v2 + (c45 + c63) viv3 + (c23 + c44) v2v3 + c43vl = c5iv2 + (c41 + c56) viv2 + c46v2 + (c31 + c55) viv3 + (c36 + c45) v2v3 + c35v^ = c56vf + (c46 + c52) viv2 + c42v\ + (c54 + c^) viv3 + (c32 + c44) v2v3 + c34vl
= czzvl + 2c45 v iv2 + c44v2 + 2c35viv3 + 2c34v2v3 + c33v\,
Thus, the inverse problem (1) - (4) is reduced to the problem of determining the kernel K (t), t > 0 of the integral part in the equation (10) on the bases of equalities (10), (11) and (5).
3. Proof of the main results
Taking into consideration the fact that td(t), where 9(t) - the Heavyside step function, is the fundamental solution of differential operator d2/dt2, the solution to the direct problem (10), (11) can be represented in the form:
U(v,t) = / (t - t)6(t - t)
1 Q(v) {U(v,t)+ I K(a)U(v,t - a)da\ + -5'(t) P 1 0 ' P
dT
= m
- + 1 J(t - T )Q(v ) I U (v, t) + J K (a)U (v, t - a)da I dT
To prove Theorem 1, we begin by setting v = v0 in this equation and using supplementary condition (5). This results in the following equality:
g(t) = P + P J(t - t)Q(vo) I g(t) + J K(a)g(r - a)da I dr.
0 V 0 )
Differentiating equation (13) twice with respect to the variable t, we have the following equalities:
(13)
g'(t) =
Q(vo)
t t T
j ç(t)dT + j j K(a)g(T - a)dadT
0 0 t
g"(t) = Q( °) g(t) + Qv) I K(a)g(t - a)da.
P
P
To obtain an integral equation for K(t), we differentiate the last relation again with respect to t. Multiplying the left-hand side of result equality by Q- 1 (v0), after easily transforming, one gets:
t
K(t) = V3p2Q-1 (vo)g"'(t) - V3pg'(t) - V3p J K(a)g'(t - a)d
(14)
For each fixed i (14), is a linear integral second-order equation with respect to the unknown vector function K(t). As is known, these equations have unique solutions.
We now prove Theorem 2. Consider the integral equation (14) for each i for gm(t), m = 1,2. Corresponding to these functions, the solutions of the integral equation (14) are denoted by Km(t), m = 1,2, making the difference K1 (t) — K2(t), from which we estimate it. From (14), one gets:
T
P
t
\Kl(t) — K?(t)\< Ci \\gj — g2\\c3[o,T]+ C2f \k1(t ) — K (t )\dr, i = 1, 2, 3.
0
Therefore, taking into account Gronwall's inequality, we have:
\Kl(t) — K2(t)\< C3 \\gi — g2\\c3[o,T], i = 1, 2,3.
Constants Cj, j = 1,2,3 depend on the numbers T, p, y and elements of matrix Q(v0). The last equalities yield estimate (6).
References
[1] Dvurechenskii A., Alfimov M., et al. IV Nanotechnology International Forum (RUSNANOTECH 2011). J. Phys.: Conf Series, 2012, 345 (1), 011001.
[2] Chivilikhin S.A., Gusarov V.V., Popov I.Yu. Flows in nanostructures: hybrid classical-quantum models. Nanosystems: Physics, Chemistry, Mathemetics, 2012, 3 (1), P. 7-26.
[3] Durdiev D.K. Inverse problem for the identification of a memory kernel from Maxwell's system integro-differential equations for a homogeneous anisotropic media. Nanosystems: Physics, Chemistry, Mathematics, 2015, 6 (2), P. 268-273.
[4] Durdiev D.K., Durdiev U.D. Stability of the inverse problem solution for Maxwell's system integro-differential equations in a homogeneous anisotropic media. Uzbek Mathematical Journal, 2014, 2, P. 25-34. (in Russian)
[5] Janno J., Von Welfersdorf L. Inverse problems for identification of memory kernels in viscoelasticity. Math. Methods in Appl. Sciences, 1997, 20 (4), P. 291-314.
[6] Romanov V.G. Stability estimates for the solution in the problem of determining the kernel of the viscoelasticity equation. Sib. Zh. Ind. Mat., 2012, 15 (1), P. 86-98. (in Russian)
[7] Durdiev D.K., Totieva Zh.D. The problem of determining the multidimentional kernel of viscoelasticity equation. Vladikavkaz. Mat. Zh., 2015, 17 (4), P. 18-43. (in Russian)
[8] Durdiev D.K., Safarov Zh.Sh. Inverse problem of determining the one-dimensional kernel of the viscoelasticity equation in a bounded domain. Mat. Zametki, 2015, 97 (6), P. 855-867. (in Russian)
[9] Durdiev D.K., Totieva Zh.D. The problem of determining the one-dimensional kernal of the viscoelasticity equation. Sib. Zh. Ind. Mat., 2013, 16 (2), P. 72-82. (in Russian)
[10] Jaan J., Von Wolfersdorf L. An inverse problem for identification of a time- and space-dependent memory kernel in viscoelasticity. Inverse Problems, 2001, 17, P. 13-24.
[11] Colombo F., Guidetti D. A global in time existence and uniqueness result for a semilinear integrodifferential parabolic inverse problem in Sobolev spaces. Math. Methods Appl. Sciences, 2007, 17, P. 1-29.
[12] Colombo F., Guidetti D. Some results on the Identification of memory kernels. Oper. Theory: Adv. Appl., 2011, 216, P. 121-138.
[13] Favaron A. Identification of Memory Kernels Depending on Time and on an Angular Variable. Zeitschrift fur Analysis und ihre Anwendungen, 2005, 24 (4), P. 735-762.
[14] Romanov V.G. Inverse problems of mathematical physics. Nauka, Moscow, 1984. (in Russian)
