CC BY
23
MSC 35A01
DOI: 10.14529/ mmp140411
THE LYAPUNOV STABILITY
OF THE CAUCHY DIRICHLET PROBLEM
FOR THE GENERALIZED HOFF EQUATION
P. O. Moskvicheva, South Ural State University, Chelyabinsk, Russian Federation, [email protected],
I.N. Semenova, Ural State Pedagogical University, Yekaterinburg, Russian Federation semenova i [email protected]
We consider the initial boundary value problem with homogeneous Dirichlet boundary conditions for the generalized Hoff equation in a bounded domain. This equation models the dynamics of buckling of a double-tee girder under constant load and belongs to a large class of Sobolev type semilinear equations (We can isolate the linear and non-linear parts of the operator acting on the original function). The paper addresses the stability of zero solution of this problem. There are two methods in the theory of stability: the first one is the study of stability by linear approximation and the second one is the study of stability by Lyapunov function. We use the second Lyapunov's method adapted to the case of incomplete normed spaces. The main result of this paper is a theorem on the stability and asymptotic stability of zero solution to this problem.
Keywords: Sobolev-type equation; phase space; Lyapunov stability.
Introduction
Let Q C Rs be a bounded domain with boundary dQ of class C<x. Consider the generalized Hoff equation [1] in cylinder Q x R
This equation models the bending of an I-beam. Here the function u = u(x,t), (x,t) G Q x R is the displacement of the beam from the vertical position. The parameter A G R+ corresponds to a constant vertical load and t he parameters a G R, i = 1, 2,...,n characterize the material of the beam.
Consider the initial-boundary value problem
for equation (1). This problem was firstly considered in [2 - 4], wherein it was found out that the problem is essentialy unsolvable for arbitrary initial data. The set of initial values, which guarantees the existence and uniqueness of solution to initial-boundary value problem for equation (1), has been studied in [5]. If n = 2 and ai • a2 G R+ then the phase space of equation (1) is a simple Banach C^-manifold. This result was obtained in [6]. And if ai • a2 G R_ then the phase space of equation (1) lies on the Whitney fold. It is shown in [7]. The generalized Hoff equation (for n > 3) was considered in [8], but in this paper the stability has not been studied. This result was obtained in [9] for the case when n = 3. Generalized Sobolev type equations have been studied in other papers, for example,
n>3
(A — Ao)ut + Aut = a1u + a2u3 + ... + anu2n 1, n G N.
(1)
u(x, 0) = u0(x),x G Q; u(x,t) = 0, (x,t) G dQ x R
(2)
126 BecTHHK lOYpry. Cepna «MaTeMaTHHecKoe MOflenHposaHHe h nporpaMMHposaHHe »
The paper consists of two parts. The first part is devoted to the reduction of problem (1), (2) to the Cauchy problem
u(0) = u0 (3)
for abstract semilinear Sobolev type equation
Lu = Mu + N (u). (4)
Here L, M are linear operators and N is nonlinear operator defined on specially constructed functional spaces. The second part is devoted to the study of stability of stationary solution to problem (1), (2). This is the main result.
1. Phase Space
o
Consider spaces U =W2¡ (Q), F = W-1(Q) and operators
{Lu,v) = J ((A — X0)uv — VuVv)dx, Vu,v eW.2 (Q), (5)
n
(Mu,v) = a\ j uvdx, yu,v e L2n(Q), (6)
n
(N(u),v) = J(a2u3 + ... + an-iu2n~3 + anu2n~l)vdx Vu,v e L2n(Q). (7) n
o
Embedding W2: (Q) ^ L2n(Q) is dense and continuous. Therefore L,M e L(U; F), and
LL
multiplicity and condenses only to —ro. Operator N e C™(U; F)-
A vector function u e C^(U, F) satisfying equation (4) is called a solution of this equation.
Definition 1. A set P C U is called a phase space of equation (3) if the following conditions are satisfied:
(i) each solution u = u(t) of (4) lies in P pointwisely; i.e., u(t) e P for all t e R;
(ii) for each u0 e P, there exists a unique solution to problem (3), (4).
Theorem 1. Let n = 1, 2 when s = 4 (i.e. Q C R*), n = 1, 2, 3 when s = 3 (i.e. Q C R3) and n e N when s = 1, 2 (i.e. Q C R or Q C R2). Then one of the two conditions is satisfied
(i) ifker L = {0}, then the phase spam of equation (1) concides with U.
(ii) ifker L = {0}, and all coefficients a e R\{0} i = 1, ...,n have the same sign. Then the phase space of eqiation (1) is simple manifold
M = < u e U : / (a\ + a2u2 + ... + anu2n~2)uxkdx = 0, k = 1,... ,m
Here xk are orthonormal eigenfunctions corresponding to the eigenvalues A^f L. 2014, tom 7, № 4 127
P.O. Moskvicheva, I.N. Semenova
2. Stability
Definition 2. A family of mappings S is called a nonlinear semigroup in a normed space
V if for every u E V and some t = t(u) E R+ the following conditions are satisfied:
(i) S = S(t, u) E V, for all t E (-t; t); S (0, u) = u;
(ii) S(t + s,u) = S(t, S(s, u)) for all t + s E (-t, t).
A point u E V such that S(t, u) = u,t E R is called a stationary point.
u
(i) stable (in sense of A.M. Lyapunov), if for any neighborhood OU of u there exists a neighborhood O'U (i.e. not necessarily the same neighborhood) of the same point, such that S(t, v) E OU for all v E OU and t E R+;
(ii) asymptotically stable (in sense of A.M. Lyapunov), if it is stable and for any point v in some neighborhood OU of u S(t, v) ^ u for t ^ to.
Definition 4. A functional V E C(V; R) is called a Lyapunov functional if
-1
V(u) = lim - (V(S(t,u)) — V(u)) < 0 t
for all u E V.
u
(i) V(u) = 0;
(ii) V(v) > ^(\\v — u\\); here ф is strictly increasing continuous function such that ф(0) = 0 and ф(г) > 0 for r E R+; then the point u is stable.
Theorem 3. Let the conditions of Theorem 2 be satisfied, and a strictly increasing continuous function ф, such that ф(0) = 0 and ф(г) > 0 for r E R+; exist. If V(v) < —ф\ — u\\), then the po int u is asymptotically stable.
We will study the stability of problem (1),(2) using Theorems 2 and 3.
о 1
Consider a space U (=W2) with norm \\ • \\ of space L2. It is an incomplete normed space. Define the Lyapunov functional by formula
V M = ju + (X0 — X)u2)dx.
n
Obviously V(0) = 0 and V(u) > c\\u\\2. Moreover multiplying (1) scalarly in L2 by u we ot)t am
V(u) = —ai\u\2 — a2\\ufu — ... — an\\u\\ln2n. Since the embedding L2n ^ L2 is obvious, the following inequality holds
V(u) < —ai\\u\\2 — а2С2ЫАи — ... — ancn\\u\\2Ln2n. (8)
128 Вестник ЮУрГУ. Серия «Математическое моделирование и программирование»
Here Cj,j = l,n are the constants of embedding. Function constructed from the norm || • || on the right side of (8) satisfies the conditions of Theorem 3. So we have proved the following theorem.
Theorem 4. Zero solution of problem (1), (2) is asymptotically stable for any aj E R+, j = ïn, A E [0, Aoj.
References
1. Hoff N.J. Creep Buckling. Aeronautical Quarterly, 1956, vol. 7, no. 1, pp. 1-20.
2. Sidorov N.A. Obshhie voprosy reguljarizacii v zadachah teorii vetvlenija [Common Questions of Regularity in Problems of Ramification Theory]. Irkutsk, Irkutsk Gos. Univ. Publ., 1982. 314 p. (in Russian)
3. Sidorov N.A., Romanova O.A. [Application of Certain Results of Branching Theory in the Solution of Degenerate Differential Equations.] Dijferetial'niye Uravneniya [Differential Equations], 1983, vol. 19, no. 9, pp. 1516-1526. (in Russian)
4. Sidorov N.A., Falaleev M.V. [Generalized Solutions of Differential Equations with a Fredholm Operator at the Derivative]. Dijferetial'niye Uravneniya [Differential Equations], 1987, vol. 23, no. 4, pp. 726-728. (in Russian)
5. Sviridyuk G.A. Quasistationary Trajectories of Semilinear Dynamical Equations of Sobolev Type. Russian Academy of Sciences. Izvestiya Mathematics, 1994, vol. 42, no. 3, pp. 601-614. DOI: 10.1070/IM1994v042n03ABEH001547
6. Sviridyuk G.A., Kazak V.O. The Phase Space of an Initial-Boundary Value Problem for the Hoff Equation. Mathematical Notes, 2002, vol. 71, no. 2, pp. 262-266. DOI: 10.1023/A: 1013919500605
7. Sviridyuk G.A., Trineeva I.K. A Whitney Fold in the Phase Space of the Hoff Equation. Russian Mathematics, 2005, vol. 49, no. 10, pp. 49-55.
8. Bajazitova A.A. [The Phase Space of the Initial-Boundary Value Problem for a Generalized Hoff Equation]. Vestnik MaGU. Matematika [Bulletin of the Magnitogorsk State University], 2010, vol. 12, pp. 15-21. (in Russian)
9. Zagrebina S.A., Pivovarova P.O. [Stability and Instability of the Solutions of the Hoff Equations. The Numerical experiment]. Nonclassical Equations of Mathematical Physics, Novosibirsk, IzdatePstvo Instituta Matematiki Im. S.L. Soboleva SO RAN, 2010, pp. 88-94. (in Russian)
10. Sviridyuk G.A., Semenova I.N. Solvability of an Inhomogeneous Problem for a Generalized Boussinesq Filtration Equation. Differential Equations, 1988, vol. 24, no. 9, pp. 1065-1069.
Received August 1, 2014
P.O. Moskvicheva, I.N. Semenova
УДК 517.9 DOI: 10.14529/mmpl40411
УСТОЙЧИВОСТЬ ПО ЛЯПУНОВУ
ЗАДАЧИ КОШИ - ДИРИХЛЕ
ДЛЯ ОБОБЩЕННОГО УРАВНЕНИЯ ХОФФА
П. О. Москвичева, И.Н. Семенова
В данной статье исследуется начально-краевая задача Кошн с однородными граничными условиями Дирихле для обобщенного уравнения Хоффа, заданного в ограниченной области. Это уравнение моделирует динамику выпучивания двутавровой балки, находящейся под постоянной нагрузкой и относится к классу полулинейных (у оператора действующего на исходную функцию можно выделить линейную часть и нелинейную) уравнений соболевского типа. Нас интересует устойчивость нулевого решения данной задачи. В рамках теории устойчивости выделяют два метода: первый — исследование устойчивости по линейному приближению и второй — исследование устойчивости посредством функции Ляпунова. Отметим, что первым методом Ляпунова исследовать устойчивость решения уравнения Хоффа, заданного в области, не удается, поскольку в нашем случае относительный спектр оператора М пересекается с мнимой осью. Поэтому для нашей задачи был применен метод функций Ляпунова, модифицированный для случая неполных нормированных пространств. В результате получена теорема об устойчивости и асимптотической устойчивости нулевого решения данной задачи.
Ключевые слова: уравнение соболевского типа; фазовое пространство; устойчивость по Ляпунову.
Литература
1. Hoff, N.J. Creep buckling / N.J. Hoff // Aeronautical Quarterly. - 1956. - V. 7, № 1. _ p. i 2(1.
2. Сидоров, H.A. Общие вопросы регуляризации в задачах теории ветвления / H.A. Сидоров. - Иркутск: Изд-во Иркутского гос. ун-та, 1982. - 314 с.
3. Сидоров, H.A. О применении некоторых результатов теории ветвлений при решении дифференциальных уравнений / H.A. Сидоров, O.A. Романова // Дифференциальные уравнения. - 1983. - Т. 19, № 9. - С. 1516-1526.
4. Сидоров, H.A. Обобщенные решения дифференциальных уравнений с фредголь-мовым оператором при производной / H.A. Сидоров, М.В. Фалалеев // Дифференциальные уравнения. - 1987. - Т. 23, № 4. - С. 726-728.
5. Свиридюк, Г.А. Квазистационарные траектории полулинейных динамических уравнений типа Соболева / Г.А. Свиридюк // Изв. РАН. Серия математическая. - 1993. - Т. 57, № 3. - С. 192-207.
6. Свиридюк, Г.А. Фазовое пространство начально-краевой задачи для уравнения Хоффа / Г.А. Свиридюк, В.О. Казак // Математические заметки. - 2002. - Т. 71, № 2. - С. 292-297.
7. Свиридюк, Г.А. Сборка Уитни в фазовом пространстве уравнения Хоффа / Г.А. Свиридюк, И.К. Тринеева // Известия вузов. Математика. - 2005. - № 10. -С. 54-60.
130 Вестник ЮУрГУ. Серия «Математическое моделирование и программирование»
8. Баязитова, A.A. Фазовое пространство начально-краевой задачи для обобщенного уравнения Хоффа / A.A. Баязитова // Вестник МаГУ. Математика. - 2010. -Вып. 12. - С. 15-21.
9. Загребина, С.А. Устойчивость и неустойчивость решений уравнений Хоффа. Численный эксперимент / С.А. Загребина, П.О. Пивоварова // Неклассические уравнения математической физики: сб. науч. работ / под ред. А.И. Кожанова. - Новосибирск, 2010. - С. 88-94.
10. Свиридюк, Г.А. Разрешимость неоднородной задачи для обобщенного фильтрационного уравнения Буссинеска / P.A. Свиридюк, И.Н. Семенова // Дифференциальные уравнения. - 1988. - Т. 24, № 9. - С. 1607-1611.
Статья подготовлена в рамках выполнения работ по госзаданию МОиН РФ 200Ц-392, проект 1942.
Полина Олеговна Москвичева, кандидат физико-математических наук, кафедра «Уравнения математической физики:», Южно-Уральский государственный университет (г. Челябинск, Российская Федерация), [email protected].
Ирина Николаевна Семенова, кандидат педагогических наук, кафедра «Теория
:
вврситбт (г. Екатеринбург, Российская Федерация), semenova_i_nmail.ru.
Поступила в редакцию 1 августа 2014 г.
