EXISTENCE OF SOLUTIONS FOR A CLASS OF VARIATIONAL INEQUALITIES

Similar documents
Overlapping domain decomposition methods for elliptic quasi-variational inequalities related to impulse control problem with mixed boundary conditions

Posteriori Analysis of a Finite Element Discretization for a Penalized Naghdi Shell

arxiv: v1 [math.na] 11 May 2018

Different Approaches to a Posteriori Error Analysis of the Discontinuous Galerkin Method

232 Calculus and Structures

A posteriori error estimation for unilateral contact with matching and non-matching meshes

Numerical Experiments Using MATLAB: Superconvergence of Nonconforming Finite Element Approximation for Second-Order Elliptic Problems

Mass Lumping for Constant Density Acoustics

arxiv: v1 [math.na] 28 Apr 2017

Numerical analysis of a free piston problem

LEAST-SQUARES FINITE ELEMENT APPROXIMATIONS TO SOLUTIONS OF INTERFACE PROBLEMS

LAYER UNDULATIONS IN SMECTIC A LIQUID CRYSTALS

MANY scientific and engineering problems can be

A domain decomposition convergence for elasticity equations

arxiv: v1 [math.na] 12 Mar 2018

Department of Mathematical Sciences University of South Carolina Aiken Aiken, SC 29801

Preconditioning in H(div) and Applications

c 2004 Society for Industrial and Applied Mathematics

1. Introduction. We consider the model problem: seeking an unknown function u satisfying

arxiv: v1 [math.na] 17 Jul 2014

MIXED AND STABILIZED FINITE ELEMENT METHODS FOR THE OBSTACLE PROBLEM

Nonlinear weakly curved rod by Γ -convergence

Poisson Equation in Sobolev Spaces

Math Spring 2013 Solutions to Assignment # 3 Completion Date: Wednesday May 15, (1/z) 2 (1/z 1) 2 = lim

4. The slope of the line 2x 7y = 8 is (a) 2/7 (b) 7/2 (c) 2 (d) 2/7 (e) None of these.

A method for solving first order fuzzy differential equation

Differentiation in higher dimensions

ON THE CONVERGENCE OF A DUAL-PRIMAL SUBSTRUCTURING METHOD. January 2000 Revised April 2000

CELL CENTERED FINITE VOLUME METHODS USING TAYLOR SERIES EXPANSION SCHEME WITHOUT FICTITIOUS DOMAINS

ON A PROBLEM OF SHALLOW WATER TYPE

arxiv: v1 [math.na] 9 Sep 2015

A New Class of Zienkiewicz-Type Nonconforming Element in Any Dimensions

Math 161 (33) - Final exam

OSCILLATION OF SOLUTIONS TO NON-LINEAR DIFFERENCE EQUATIONS WITH SEVERAL ADVANCED ARGUMENTS. Sandra Pinelas and Julio G. Dix

A = h w (1) Error Analysis Physics 141

Some Results on the Growth Analysis of Entire Functions Using their Maximum Terms and Relative L -orders

Weak Solutions for Nonlinear Parabolic Equations with Variable Exponents

STABILITY OF DISCRETE STOKES OPERATORS IN FRACTIONAL SOBOLEV SPACES

ERROR BOUNDS FOR THE METHODS OF GLIMM, GODUNOV AND LEVEQUE BRADLEY J. LUCIER*

Numerical Differentiation

Key words. Finite element method; convection-diffusion-reaction; nonnegativity; boundedness

INJECTIVE AND PROJECTIVE PROPERTIES OF REPRESENTATIONS OF QUIVERS WITH n EDGES. Sangwon Park

A SHORT INTRODUCTION TO BANACH LATTICES AND

1 The concept of limits (p.217 p.229, p.242 p.249, p.255 p.256) 1.1 Limits Consider the function determined by the formula 3. x since at this point

INTRODUCTION AND MATHEMATICAL CONCEPTS

Convexity and Smoothness

ANALYTIC SMOOTHING EFFECT FOR THE CUBIC HYPERBOLIC SCHRÖDINGER EQUATION IN TWO SPACE DIMENSIONS

Math 31A Discussion Notes Week 4 October 20 and October 22, 2015

Integral Calculus, dealing with areas and volumes, and approximate areas under and between curves.

Uniform estimate of the constant in the strengthened CBS inequality for anisotropic non-conforming FEM systems

Subdifferentials of convex functions

The Mortar Finite Element Method for Contact Problems

arxiv: v1 [math.dg] 4 Feb 2015

INTRODUCTION TO CALCULUS LIMITS

A finite element approximation for the quasi-static Maxwell Landau Lifshitz Gilbert equations

A SPLITTING LEAST-SQUARES MIXED FINITE ELEMENT METHOD FOR ELLIPTIC OPTIMAL CONTROL PROBLEMS

Exam 1 Solutions. x(x 2) (x + 1)(x 2) = x

5 Ordinary Differential Equations: Finite Difference Methods for Boundary Problems

We name Functions f (x) or g(x) etc.

Decay of solutions of wave equations with memory

Function Composition and Chain Rules

COMPOSITION IN FRACTIONAL SOBOLEV SPACES. 1. Introduction. A classical result about composition in Sobolev spaces asserts

On convergence of the immersed boundary method for elliptic interface problems

Smoothness of solutions with respect to multi-strip integral boundary conditions for nth order ordinary differential equations

Consider a function f we ll specify which assumptions we need to make about it in a minute. Let us reformulate the integral. 1 f(x) dx.

arxiv: v1 [math.na] 27 Jan 2016

arxiv: v1 [math.na] 19 Mar 2018

How to Find the Derivative of a Function: Calculus 1

AN ANALYSIS OF NEW FINITE ELEMENT SPACES FOR MAXWELL S EQUATIONS

Continuity. Example 1

Sharp Korn inequalities in thin domains: The rst and a half Korn inequality

CLOSED CONVEX SHELLS Meunargia T. Mixed forms of stress-strain relations are given in the form. λ + 2µ θ + 1

The Verlet Algorithm for Molecular Dynamics Simulations

EXPLICIT ERROR BOUNDS IN A CONFORMING FINITE ELEMENT METHOD

COMPOSITION IN FRACTIONAL SOBOLEV SPACES

Continuity and Differentiability of the Trigonometric Functions

Sample Problems for Exam II

WYSE Academic Challenge 2004 Sectional Mathematics Solution Set

Influence of the Stepsize on Hyers Ulam Stability of First-Order Homogeneous Linear Difference Equations

2.3 Product and Quotient Rules

Math 1241 Calculus Test 1

Flapwise bending vibration analysis of double tapered rotating Euler Bernoulli beam by using the differential transform method

FINITE DIFFERENCE APPROXIMATIONS FOR NONLINEAR FIRST ORDER PARTIAL DIFFERENTIAL EQUATIONS

THE IDEA OF DIFFERENTIABILITY FOR FUNCTIONS OF SEVERAL VARIABLES Math 225

Some Error Estimates for the Finite Volume Element Method for a Parabolic Problem

AN ANALYSIS OF THE EMBEDDED DISCONTINUOUS GALERKIN METHOD FOR SECOND ORDER ELLIPTIC PROBLEMS

Anisotropic, adaptive finite elements for the computation of a solutal dendrite

Global Existence of Classical Solutions for a Class Nonlinear Parabolic Equations

The Column and Row Hilbert Operator Spaces

Computing eigenvalues and eigenfunctions of Schrödinger equations using a model reduction approach

Volume 29, Issue 3. Existence of competitive equilibrium in economies with multi-member households

Superconvergence of energy-conserving discontinuous Galerkin methods for. linear hyperbolic equations. Abstract

3. Using your answers to the two previous questions, evaluate the Mratio

Continuity and Differentiability Worksheet

Chapter 1D - Rational Expressions

APPROXIMATION BY QUADRILATERAL FINITE ELEMENTS

4.2 - Richardson Extrapolation

GELFAND S PROOF OF WIENER S THEOREM

ERROR ESTIMATES FOR A FULLY DISCRETIZED SCHEME TO A CAHN-HILLIARD PHASE-FIELD MODEL FOR TWO-PHASE INCOMPRESSIBLE FLOWS

1. Introduction. We study the numerical analysis of fully nonlinear secondorder elliptic Hamilton Jacobi Bellman (HJB) equations of the form

Transcription:

Journal of Matematics and Statistics 9 (4: 35-39, 3 ISSN: 549-3644 3 doi:.3844/jmssp.3.35.39 Publised Online 9 (4 3 (ttp://www.tescipub.com/jmss.toc EXISTENCE OF SOLUTIONS FOR A CLASS OF ARIATIONAL INEQUALITIES Taalla Frek Department of Matematics, Faculty of Science, Badji Moktar University, Annaba, Algeria Received 3--6; Revised 3--9; Accepted 3--9 ABSTRACT In tis study we considered a deformed elastic solid wit a unilateral contact of a rigid body. We studied te existence, uniqueness and continuity of te deformation of tis solid wit respect to te data. We proved te existence of solutions for a class of variational inequalities. Keywords: ariational Inequalities, Unilateral Contact. INTRODUCTION Several problems in mecanics, pysics, control and tose dealing wit contacts, lead to te study of systems of variational inequalities. Tis model as been studied by Slimane et al. (4; Bernardi et al. (4; Brezis (983; Brezis and Stampaccia (968; Ciarlet (978; Grisvard (985; Haslinger et al. (996; Lions and Stampaccia (967. We consider a solid occupying an open bounded domain Ω of a sufficiently regular boundary Γ = Ω wit unilateral contact wit a rigid obstacle. Teorem. Let P L (ΩR 3 be te resulting of force density. Ten tere exists a unique solution for te variational problem: find u suc tat: Wit: a(u,v = Te bilinear form l(v = Te linear form a ( u,v = l( v, v { ( 3 = v H Ω,R To prove tis teorem we make use of te Lax-Milgram wic is based on proving te continuity and -ellipticity of te bilinear form a(u,v and te continuity of l(v. 35. FORMULATION OF THE CONTACT PROBLEM Here we consider a solid occupying an open bounded domain Ω of a sufficiently regular boundary Γ = Ω. Te solid is supposed to ave: A density on te volume, of force P in Ω Homogenous boundary conditions on Γ Unilateral contact wit a rigid obstacle of equation x 3 = on contact surface Ω c = Ω/Γ. Te displacement is given by: ( u ( x.e3, in Ω c Wit (e, e, e 3 Cartesian base we denote by η te reaction of te obstacle on te solid. Te relations leading to a unilateral contact (witout friction are given by: ( ( u x.e 3, in Ω c η.e 3, in Ω c u x η.e =, in Ω We use te space H ( 3,R 3 c Ω of functions in H (Ω, R 3 equals to zero on Г. Let us introduce te convex subspace K for te autorized displacements, to be defined as:

Taalla Frek / Journal of Matematics and Statistics 9 (4: 35-39, 3 { 3 3 c K = v H Ω,R, v.e, in Ω We consider te following variationnal formulation Find: Suc tat: Wit: ( u, η H ( Ω,R 3 H ( Ω ( P ( 3 e a u,v c η,v = l v, v H Ω,R c η,v = ηvdx Ωc And te reduced problem becomes: Find u K suc tat: Teorem. ( P I ( u l( v u a u,v For any solution (u, η of problem (P e, u is a solution of problem (P I. Let (u,η be a solution of problem (P e and u K, v K and we ave: Problem (P e leads to: We assume tat x = : η,v η,v χ η,u, χ K η,u η,u By replacing v by v-u in line one of problem (P e, we get: Were: a ( u,v u c ( η,v u = l( v u c η,v u = η,v u = η,v + η,u a u, v u l v u, v K 36 Let u be a solution of problem (P I ten (u,η is a solution of (P e : a ( u, v u l( v u, v K By using Green's formula, we get: a ( u, v u η, v u l( v u We assume tat v = i±ϕ, wit ϕ D(ΩR 3, (i.e., ϕ is of a compact support, ten te integral on te contour is zero: a ( u, φ = l ( φ, φ Te integral on a contact area leads to: By assuming tat: η,v u, v K v = v = u η,u = And wit te property of convexity of K, we get: Teorem. χ η,u = χ,u η,u = χ,u For any P H (Ω, R 3, te problem (P e as a unique solution (u,η H (ΩR 3 H (Ω Te existence of te solution u of problem is a direct application of Slimane et al. (4. Let us consider: Remark L( v = a ( u,v l( v In problem (P I, we ave: if v =, ten: l( u a u,u if v = u, ten:

Taalla Frek / Journal of Matematics and Statistics 9 (4: 35-39, 3 a ( u,u l( u L( u = Te Ker of te form (η, v is caracterized by: { ( 3 3 = v H Ω,R, u.e =, in Ω Let v, ten v and -v are in K from te problem (P I and L(u =, we ave: + ( λ + l( v l( u a ( u,v l( v a ( u,u l( u a ( u, v l( v L( u a u, v a u, u b v, l v l u + = We remplace v by -v in L(u to get: a ( u, v l( v L( u a u, v l v a u, v + l v = L is of a compact support in and from te following inf-sup condition: η,v sup β η v H We can prove tat tere exists η H (Ω. Ten (u, η satisfies line one of problem (P e. Te definition of K and L(u =, leads to: χ η,u = χ,u η,u = χ,u, χ K Tis proves te existence of te solution. Let U and U be two solutions of problem (P I. Wit U = u and U = u ten: ( ( a U,W U l W U, W K a U,W U l W U, W K By adding tat W = U and W = U we ave: ( ( ( + ( λ l( U U a ( U,U U l( U U ( ( a U,U U l U U a U,U U b U U, a U,U U l U U 37 ( a U U,U U a U U,U U U U U = U By te inf-sup condition of problem (P e gives us: v H Ω,R, η,v = η,v η = η 3 3. THE DISCRETE PROBLEM We introduce a discrete subspace of suc tat: { 3 = v C Ω,R, v P k v =,on Ω And dim <, terefore tere exists a basis: {ω i, I = to N, we can ten write: v N = β ω i i i= Now, let us construct a closed convex subset K of suc tat K sould be reduced to a finite number of constraints on te β i : K v, v.e ϕ 3 = at every vertex of eac triangle K Ten K K and K. We remark tat problem (P I is equivalent to find u K suc tat: P a u,v u l v u, v K We assume U = u and W = v. Teorem 3. Let U and U k be te solutions of problems (P I and (P, respectively. Let us denote by A L (, te map defined, by a(u, W = (AU, W, ten: U W + M U U = P AU ' U W + U W

Taalla Frek / Journal of Matematics and Statistics 9 (4: 35-39, 3 Wit P is te resultant of te volume force. By te definitions of U and W, we ave: a ( U,U W ( P,U W, W Ka ( U,U W ( P,U W, W K By adding tese inequalities and transposing terms, we obtain: + ( ( ( P,U W a ( U,W a ( U,W a U,U a U,U P,U W + + + Fig.. Mes By subtracting a(u, U + a(u, U from bot sides and grouping terms and by using te continuity and te coercively of te bilinear form a(u, W, we deduce: P AU U W ' ' U U + P AU U W + M U U U W Since: M M U U U W U W Fig.. Isovalue of deplacement u x We obtain: U W + P AU ' M U U = U W + U W W K and W K 4. NUMERICAL RESULTS Consider elastic plate wit te undeformed rectangle sape (, (,. Te body force is te gravity force f and te boundary force g is zero on lower and upper side. On te two vertical sides of te beam are fixed (Fig. -3. 38 Fig. 3. Isovalue of deplacement u y 5. CONCLUSION By starting wit te classical model for a deformed elastic solid wit a unilateral contact of a rigid body, we

Taalla Frek / Journal of Matematics and Statistics 9 (4: 35-39, 3 proved te existence of solutions for a class of variational inequalities. 6. REFERENCES Bernardi, C., Y. Maday and F. Rapetti, 4. Discrétisations ariationnelles De Problèmes Aux Limites Elliptiques. 3rd Edn., Matématiques et Applications, Springer, ISBN-: 3543694, pp: 3. Brezis, H. and G. Stampaccia, 968. Sur la régularité de la solution d'inéquations elliptiques. Bull. Soc. Mat. France, 96: 53-8. Brezis, H., 983. Analyse fonctionnelle, Collection Matématiques Appliquées pour la Maîtrise. Ciarlet, P.G., 978. Te Finite Element Metod for Elliptic Problems. st Edn., Nort-Holland, Amsterdam, New-York, Oxford, ISBN-: 4448587, pp: 53. Grisvard, P., 985. Elliptic Problems in Nonsmoot Domains. st Edn., SIAM, Piladelpia, ISBN-: 69735, pp: 4. Haslinger, J., I. Hlavacek and J. Necas, 996. Numerical metods for unilateral problems in solid mecanics. Handbook Numer. Anal., 4: 33-485. Lions, J.L. and G. Stampaccia, 967. ariational inequalities. Comm. Pure Appl. Mat., : 493-59. DOI:./cpa.363 Slimane, L., A. Bendali and P. Laborde, 4. Mixed formulations for a class of variational inequalities. Model. Mat. Anal. Numer., 38: 77-. DOI:.5/man:49 39