• Aucun résultat trouvé

A qualitative mathematical analysis of a class of variational inequalities via semi-complementarity problems. Applications in electronics

N/A
N/A
Protected

Academic year: 2021

Partager "A qualitative mathematical analysis of a class of variational inequalities via semi-complementarity problems. Applications in electronics"

Copied!
57
0
0

Texte intégral

(1)

HAL Id: inria-00103328

https://hal.inria.fr/inria-00103328v2

Submitted on 4 Oct 2006

HAL is a multi-disciplinary open access archive for the deposit and dissemination of sci- entific research documents, whether they are pub- lished or not. The documents may come from teaching and research institutions in France or abroad, or from public or private research centers.

L’archive ouverte pluridisciplinaire HAL, est destinée au dépôt et à la diffusion de documents scientifiques de niveau recherche, publiés ou non, émanant des établissements d’enseignement et de recherche français ou étrangers, des laboratoires publics ou privés.

variational inequalities via semi-complementarity problems. Applications in electronics

Khalid Addi, Bernard Brogliato, Daniel Goeleven

To cite this version:

Khalid Addi, Bernard Brogliato, Daniel Goeleven. A qualitative mathematical analysis of a class of variational inequalities via semi-complementarity problems. Applications in electronics. [Research Report] RR-5990, INRIA. 2006. �inria-00103328v2�

(2)

a p p o r t

d e r e c h e r c h e

0249-6399ISRNINRIA/RR--5990--FR+ENG

Thème ?

A qualitative mathematical analysis of a class of variational inequalities via semi-complementarity

problems. Applications in electronics

Khalid Addi — Bernard Brogliato — Daniel Goeleven

N° 5990

October 2006

(3)
(4)

Unité de recherche INRIA Rhône-Alpes

655, avenue de l’Europe, 38334 Montbonnot Saint Ismier (France)

Téléphone : +33 4 76 61 52 00 — Télécopie +33 4 76 61 52 52

Khalid Addi, Bernard Brogliato, Daniel Goeleven

Thème ? — Projet Bipop

Rapport de recherche n° 5990 — October 2006 — 53 pages

Abstract: The main object of this paper is to present a general mathematical theory applicable to the study of a large class of variational inequalities arising in electronics.

Key-words: Variational inequalities, Complementarity problems, Recession functions, Recession cones, Set- valued ampere-volt characteristics in electronics.

IREMIA, Université de La Réunion, Saint-Denis, 97400, France, addi@univ-reunion.fr

INRIA Rhône-Alpes, ZIRST Montbonnot, 655 avenue de l’Europe, 38334 Saint-Ismier, France, Bernard.Brogliato@inrialpes.fr

IREMIA, Université de La Réunion, Saint-Denis, 97400, France, goeleven@univ-reunion.f

(5)

Résumé : Dans cet article nous proposons une théorie mathématique applicable à l’étude d’une large classe d’inégalités variationnelles apparaissant en électronique.

Mots-clés : Inegalités variationnelles, problèmes de complémentarité, fonctions de récéssion, cônes de récession, caractéristiques courant-tension en électronique.

(6)

1 Introduction

The first major contribution of this paper is to propose a new mathematical approach that can be used to derive conditions for the existence and uniqueness of a general class of variational inequalities of the form: FinduRn such that

hM u+q, vui+ Φ(v)Φ(u)0, ∀vRn (1) whereM IRn×n is a real matrix, q Rn a vector andΦ : Rn IR∪{+∞} a proper convex and lower semicontinuous function.

In this paper, we first develop a topological approach using Brouwer degree theory that has been introcuded in [29] for the caseΦΨKwhereΨKdenotes the indicator function of some nonempty closed convex setK. This approach reduces the study of problem (1) to the one of some semi-complementarity problems like:

zD(Φ)

M z(D(Φ)) hM z, zi ≤0,

(2)

whereD(Φ) is the recession cone of the domain ofΦand(D(Φ)) is the dual cone of the domain of the recession functionΦofΦ.

Then we show that this approach can be used to state conditions for the existence and uniqueness of solutions of Problem (1) for various important classes of matricesMand functionsΦ. In particular, we show that fundamental results known in complementarity theory and concerning several classes of matrices like positive definite matri- ces, P-matrices, weakly positive definite matrices, positive stable matrices, diagonally stable matrices, positive semidefinite matrices, P0-matrices, weakly positive semidefinite matrices, positive semi-stable matrices, coposi- tive matrices and diagonally semi-stable matrices can be generalized to problem (1). Recession tools play a major role in this approach.

Then we present how our theory for problem (1) can be used to derive conditions for the existence and uniqueness of solutions of the generalized equation

Ax+DuB∂Ξ(Cx) (3)

whereA IRn×n, B IRn×m, C IRm×n andD IRn×p are matrices,u IRp is a vector,Ξ : IRm IR∪{+∞} is a proper convex and lower semicontinuous function and denotes the subdifferential operator of convex analysis.

The second major contribution of this paper consists to show that the mathematical model in (3) and consequently in (1) can be used to develop a suitable methodology for the formulation and mathematical analysis of circuits in electronics involving devices like diodes and operational amplifiers.

As shown through several examples of classical static electrical circuits like clipping circuits, slicers, sampling gates, operational amplifiers, four-diode bridge full-wave rectifiers, such generalized equations are mandatory studying to characterize the well-posedness of the circuits (umay be a time-varying input signalt7→u(t)) as well as to compute some defined output signal. We show also that the results which are presented in this paper can be useful for the determination of the equilibrium points of dynamical circuits, a topic of major importance for further dynamical analysis and control applications.

2 Mathematical Tools

The aim of this Section is to recall some notions and fundamental results in convex analysis which will be used throughout this paper.

Forx, y Rn, the notation hx, yi = Pn

i=1xiyi is used to denote the euclidean scalar product onRn and kxk=p

hx, xito denote the corresponding norm. The identity mapping onRnwill be denoted byidRnwhile the

(7)

identity matrix of ordernis denoted byI. We will also denote by{e1, ..., en}the canonical basis ofRn.

[Convex subdifferential] LetΓ0(Rn;R∪ {+∞})be the set of proper, convex and lower semicontinuous func- tions fromRntoR∪ {+∞}. LetΦΓ0(Rn;R∪ {+∞})be given. The convex subdifferential∂Φ(x)(see e.g.

[30], [45]) ofΦatxis defined by:

∂Φ(x) ={wRn: Φ(v)Φ(x)≥ hw, vxi,∀v Rn}.

The set∂Φ(x)describes the differential properties ofΦby means of the supporting hyperplanes to the epigraph of Φat(x,Φ(x)).

[Fenchel transform] LetΦΓ0(Rn;R∪ {+∞})be given. We denote byD(Φ)the domain ofΦ, i.e.

D(Φ) ={xRn : Φ(x)<+∞}.

The Fenchel transformΦofΦis the function defined by:

Φ(z) = sup

x∈D(Φ)

{hx, zi −Φ(x)}, (zRn).

The functionΦ :Rn R∪ {+∞}is proper convex and lower semicontinuous. A well known result in convex analysis (see e.g. [30], [45]) ensures that:

z∂Φ(x)⇐⇒x∂Φ(z)⇐⇒Φ(x) + Φ(z) =hx, zi.

[Closed convex set] LetKRnbe a nonempty closed convex set. We denote byΨKthe indicator function of K, that is:

ΨK(x) :=

0 if xK +∞ if x /K

, (xRn). (4)

Then

∂ΨK(x) =

{wRn:hw, vxi ≤0,∀vK} if xK

ifx /K

and

ΨK(z) = sup

x∈K

hx, zi, (zRn).

The dual cone ofKis the nonempty closed convex coneKdefined by

K:={wRn :hw, vi ≥0, ∀vK}. (5)

[Recession function] Letx0be any element inD(Φ). The recession function ofΦis defined by Φ(x) = lim

λ→+∞

1

λΦ(x0+λx) (xRn).

The functionΦ:Rn R∪ {+∞}is a proper convex and lower semicontinuous function which describes the asymptotic behavior ofΦ.

[Recession cone] Letx0be some arbitrary element ofK. The recession cone ofKis defined by K= \

λ>0

1

λ(Kx0).

(8)

The setKis a nonempty closed convex cone that is described in terms of the directions which recede fromK.

Let us here recall some important properties of the recession function and recession cone (see Section 1.4 in [27]):

Proposition 1 a) LetΦ :Rn R∪ {+∞}be a proper convex and lower semicontinuous function. Then Φ(αx) =αΦ(x), 0, xRn), (6)

Φ(x) = lim inf

t→+∞,v→x

Φ(tv)

t , (xRn), (7)

(xD(Φ), eRn) = Φ(e)Φ(x+e)Φ(x). (8) b) LetΦ1 : Rn R∪ {+∞}andΦ2 : Rn R∪ {+∞}be two proper, convex and lower semicontinuous functions. Then

1+ Φ2)(x)1)(x) + (Φ2)(x), (xRn). (9) c) LetKRnbe a nonempty, closed and convex set. Then

K)(x) = ΨK(x), (xRn), (10)

(xK, eK) = x+eK. (11)

d) LetKRnbe a nonempty closed and convex cone. Then

K=K. (12)

e) LetKRnbe a nonempty compact and convex set. Then

K={0}. (13)

[Proximation operator] LetΦΓ0(IRn; IR∪{+∞})be given. It is known that for eachyRn, there exists a uniquexRnsuch that

hxy, vxi+ Φ(v)Φ(x)0, ∀vRn, that is

yx+∂Φ(x).

The mappingPΦ :RnRn;y7→PΦ(y), called the proximation operator (see e.g. [43]), and defined by PΦ(y) = (idRn+∂Φ)−1(y), (yRn) (14) is thus a well-defined singled-valued operator. Moreover, it is easy to check that:

yx+∂Φ(x)⇐⇒x= (idRn+∂Φ)−1(y)⇐⇒x= argminv∈Rn{1

2||vy||2+ Φ(v)}.

IfKis a nonempty closed convex set, then

PΨK PK

wherePKdenotes the projector fromRnontoK, i.e.

PK(x) = argminv∈K{1

2||vx||2}.

(9)

[Brouwer topological degree] LetD Rn be an open and bounded set. Iff : ¯D Rn is continuous and 0/f(∂D)then the Brouwer topological degree off with respect toD and0is well-defined (see e.g. [35]) and denoted bydeg(f, D,0).

Let us here recall some properties of the topological degree we will use later in this paper.

P1. Solution property: If0/f(∂D)anddeg(f, D,0)6= 0then there existsxDsuch thatf(x) = 0.

P2. Homotopy invariance property: Letϕ: [0,1]×D¯ Rn; (λ, x)7→ϕ(λ, x), be continuous such that, for eachλ[0,1], one has0/ϕ(λ, ∂D). Then the mapλ7→ deg(ϕ(λ, .), D,0)is constant on[0,1].

P3. Normalized property: IfpDthendeg(idRnp, D,0) = 1.

3 A Class of Variational Inequalities

LetΦ :Rn R∪ {+∞}be a proper, convex and lower semicontinuous function with closed domain, i.e.

D(Φ) =D(Φ). (15)

LetM Rn×nbe a given matrix andqRna given vector. We consider the variational inequality problem:

VI(M,q,Φ): FinduRnsuch that:

hM u+q, vui+ Φ(v)Φ(u)0, ∀vRn. (16) The solution set of problemVI(M,q,Φ)will be denoted bySOL(M, q,Φ)and the resolvant set byR(M,Φ), that are:

SOL(M, q,Φ) :={uRn :usolution of (16)}

and

R(M,Φ) :={qRn :SOL(M, q,Φ)6=∅}.

Remark 1 i) The variational inequality in (16) is equivalent to the differential inclusion:

M u+q∈ −∂Φ(u) (17)

andR(M,Φ)is nothing else that the range of the set-valued mappingx−M x∂Φ(x), i.e.

R(M,Φ) =x∈Rn{−M x∂Φ(x)}.

ii) If a solution of (16) exists, let us sayu, then:hM u+q, ei+ Φ(u+e)Φ(u)0, ∀eRn and then using (8), we get:hM u+q, ei+ Φ(e)0, ∀eRn. It results that necessarily:

hq, ei+ Φ(e)0, ∀eker{MT}. (18) iii) Condition (15) is not really necessary to develop our approach but it is assumed in order to simplify its presen- tation.

3.1 Special classes of matricesM and functionsΦ

In the study of ProblemVI(M,q,Φ), the following definitions of various special matricesM and functionsΦ will be used.

(10)

We denote byΓ(Rn;R∪ {+∞})the set of proper convex and lower semicontinuous functionsΦ : Rn R∪ {+∞}with closed domain, i.e.:

Γ(Rn;R∪ {+∞}) :=Γ0(Rn;R∪ {+∞}) :D(Φ) =D(Φ)}.

We denote byDΓ(Rn;R∪ {+∞})the set of functionsΦ :Rn IR∪{+∞}with the "diagonal" structure:

Φ(x) = Φ1(x1) + Φ2(x2) +...+ Φn(xn), ∀xRn, (19) where, for all1in, we have

ΦiΓ(Rn; IR∪{+∞}) (20)

and

Φi(λx) =λΦi(x), ∀λ0, ∀xRn. (21) It is clear that

DΓ(Rn;R∪ {+∞})Γ(Rn;R∪ {+∞})Γ0(Rn;R∪ {+∞}).

We define byBnthe set of(M,Φ)Rn×n×Γ(Rn;R∪ {+∞})such thatD(Φ)is bounded.

We define byPDnthe set of(M,Φ)Rn×n×Γ(Rn;R∪ {+∞})such that

hM x, xi>0, ∀xD(Φ), x6= 0. (22)

We define byPD0nthe set of(M,Φ)Rn×n×Γ(Rn;R∪ {+∞})such that

hM x, xi ≥0, ∀xD(Φ). (23)

We define byPnthe set of(M,Φ)Rn×n×Γ(Rn;R∪ {+∞})such that

xD(Φ) =⇒ hx, ejiej D(Φ) (1jn), (24) and

(xD(Φ), x6= 0) =⇒ ∃α∈ {1, ..., n}:xα(M x)α>0. (25)

We define byP0nthe set of(M,Φ)Rn×n×Γ(Rn;R∪ {+∞})such that

xD(Φ) =⇒ hx, ejiej D(Φ) (1jn), (26) and

(xD(Φ), x6= 0) =⇒ ∃α∈ {1, ..., n}:xα6= 0 andxα(M x)α0. (27) Remark 2 i) Note that bothD(Φ)andD(Φ)are used in(24)and(26).

ii) Condition (24) (or (26)) means that ifwD(Φ)then its projectionhw, ejiej=wjejonto the space Xj:={xRn:xk = 0,∀k∈ {1, ..., n}, k6=j}

belongs toD(Φ).

iii) IfΦΨKwithK=Rn, IRn−α×(IR+)α∈ {1, ..., n})or(IR+)nthen condition (24) (or (26)) holds.

(11)

Letσ(M)C be the set of eigenvalues ofM.

We define byPSnthe set of(M,Φ)Rn×n×Γ(Rn;R∪ {+∞})such that

D(Φ) =Rn, (28)

and

σ(M)IR⊂]0,+∞[. (29)

We define byPS0nthe set of(M,Φ)Rn×n×Γ(Rn;R∪ {+∞})such that

D(Φ) =Rn, (30)

and

σ(M)IRIR+. (31)

Remark 3 Condition (29) (resp. (31)) means that any real eigenvalue ofMis positive (resp. nonnegative).

We define byQnthe set of(M,Φ)Rn×n×Γ(Rn;R∪ {+∞})such that R(M,Φ) =Rn,

i.e. for eachqRn, problemVI(M,q,Φ)has at least one solution.

We define byQ0nthe set of(M,Φ)Rn×n×Γ(Rn;R∪ {+∞})such that there existsλ0>0so that R(λI+M,Φ) =Rn, 0< λλ0,

i.e. for any0< λλ0, and for eachqRn, problemVI(λI+M,q,Φ)has at least one solution.

It is clear that

PDnPD0n, PnP0n, PSnPS0n.

Subset-superset relationships cannot be expected as illustrated by the following simple examples.

Example 1 Let us consider the matrices M1=

−1 0 0 0

, M2=

2 −1

−1 2

, M3=

1 1

−4 1

, M4=

1 1

−4 −1

and the functions:

Φ1Ψ[0,1]×[0,1], Φ2Ψ{x∈(IR+)2:x2≥x1−1}, Φ3Ψ[1,+∞[×[1,+∞[, Φ4(x) =|x1|+|x2| (∀xIR2), Φ5ΨIR+×IR+.

It is easy to see that(M1,Φ1)B2and(M1,Φ1)/ PD02P02PS02

,(M2,Φ2)PD2and(M2,Φ2)/ B2P02PS02

,(M3,Φ3)P2and(M3,Φ3)/ B2PD02∪PS02

. We see also that(M4,Φ4)PS2

and (M4,Φ4)/ B2PD02P02

.

Remark 4 The class of matrices satisfying condition (22) recovers the class of positive definite matrices, the class of matrices satisfying condition (25) recovers the class of P-matrices and the class of matrices satisfying condition (29) recovers the class of weakly positive definite matrices and consequently the class of positive stable matrices. The class of matrices satisfying condition (23) recovers the class of positive semidefinite matrices, the class of matrices satisfying condition (27) recovers the class of P0-matrices and the class of matrices satisfying condition (31) recovers the class of weakly positive semidefinite matrices and consequently the class of positive semi-stable matrices. The concepts introduced above can thus be used to recover and unify several situations involving matrices for which there is no subset-superset relationship.

(12)

3.2 The asymptotic continuation principle

Recalling that D(Φ) is nonempty, convex and assumed to be closed, the setD(Φ) is then a well-defined nonempty closed and convex cone. Let us now consider the semi-complementarity problem:

SCP(M,Φ):

zD(Φ)

M zD(Φ) hM z, zi ≤0.

(32)

Recall thatD(Φ)denotes the dual cone ofD(Φ)and the second relation in (32) reads also:

hM z, hi ≥0, ∀hD(Φ).

Note that the first relation in (32) involves the recession cone of the domain ofΦwhile the second relation in (32) invokes the dual cone of the domain ofΦand not the dual cone of the recession cone of the domain ofΦ.

Let us now first remark that ifD(Φ)=D(Φ)then problemSCP(M,Φ)reduces to a classical complemen- tarity problem.

Proposition 2 LetΦ :Rn Rbe a proper convex and lower semicontinuous function with closed domain and letM Rn×nbe a given matrix. IfD(Φ) =D(Φ)thenz Rn is a solution of problemSCP(M,Φ)if and only ifzis a solution of the complementarity problemCP(M,D(Φ)):

zD(Φ)

M z(D(Φ)) hM z, zi= 0.

(33)

Proof: Letzbe a solution of problemSCP(M,Φ). Then the second relation in (32) reads here hM z, hi ≥0,∀hD(Φ)

from which we deduce in particular thathM z, zi ≥ 0. This together with the third relation in (32) ensures that hM z, zi= 0.

Ifzis a solution of problem CP(M,D(Φ))then clearlyzis a solution of problemSCP(M,Φ)too.

Remark 5 LetΦ :RnRbe a proper convex and lower semicontinuous function with closed domain.

i) The following inclusion holds:

D(Φ)D(Φ). (34)

Indeed, leteD(Φ)be given. Then, for somex0D(Φ), we have Φ(e) = lim

λ→+∞

1

λΦ(x0+λe) =c <+∞.

Then, remarking that

λ→+∞lim 1

λΦ(x0+λe) = lim

λ→+∞

1

λ(Φ(x0+λe)Φ(x0)) = sup

λ>0

1

λ(Φ(x0+λe)Φ(x0)),

(13)

we see thatΦ(x0+λe) + Φ(x0), ∀λ >0,so thatx0+λe D(Φ), ∀λ >0, and thuse 1λ(D(Φ) x0), ∀λ >0,so thateD(Φ).

ii) IfΦΨKwhereKRnis a nonempty closed convex set, then using (10), we see that D((ΨK)) =D(ΨK) =K=D(ΨK).

In this case, problemSCP(M,ΨK)reduces to the complementarity problem:

zK

M z(K) hM z, zi= 0.

(35)

iii) LetΦ : IRIRbe the function defined by

Φ(x) =x2, ∀xIR.

ThenΦΨ{0},D(Φ) ={0},D(Φ)= IRand the inclusion in (34) is strict.

Let us now denote byB(M,Φ)the solutions set of problemSCP(M,Φ). Remark that problemSCP(M,Φ) has at least one (trivial) solution since0∈ B(M,Φ).

Let us also set:

K(M,Φ) ={xRn:M xD(Φ)}, (36)

N0(M) ={xRn :hM x, xi= 0}, (37) N(M) ={xRn:hM x, xi ≤0}, (38) N+(M) ={xRn:hM x, xi ≥0}. (39) Proposition 3 LetΦ :Rn Rbe a proper convex and lower semicontinuous function and letM Rn×nbe a given matrix. Ifu1andu2denote two solutions of problemVI(M,Φ,q)then

u1u2∈ N(M).

Proof: Ifu1andu2denote two solutions ofVI(M,q,Φ)thenhM u1+q, u2u1i+ Φ(u2)Φ(u1)0and hM u2+q, u1u2i+ Φ(u1)Φ(u2)0from which we deduce thathM(u1u2), u1u2i ≤0.

The structure of the setB(M,Φ)can be specified in several situations that are described in the following proposi- tion.

Proposition 4 LetΦ :Rn Rbe a proper convex and lower semicontinuous function with closed domain and letMRn×nbe a given matrix.

a) We haveB(M,Φ) = D(Φ)∩ N(M)∩ K(M,Φ). b) IfD(Φ) =D(Φ) thenB(M,Φ) = D(Φ) N0(M)∩ K(M,Φ). c) IfD(Φ) = Rn thenB(M,Φ) = ker{M}. d) IfD(Φ) = Rn andM is invertible thenB(M,Φ) = {0}. e) If(M,Φ)BnthenB(M,Φ) ={0}. f) If(M,Φ)PD0nP0nthenB(M,Φ) = D(Φ)∩ N0(M)∩ K(M,Φ). g) If(M,Φ)PS0nthenB(M,Φ) = ker{M}.

(14)

Proof: a) Part a) is a direct consequence of the definition of the setB(M,Φ). b) Part b) is a direct consequence of Proposition 2. c) HereD(Φ) ={0}andK(M,Φ) = ker{M} ⊂ N(M)so thatB(M,Φ) = ker{M}.

d) Part d) is a direct consequence of part c). e) If(M,Φ)BnthenD(Φ)is bounded and thusD(Φ) ={0}.

f) If(M,Φ)PD0nthenhM x, xi ≥0,∀x D(Φ)and thusD(Φ)∩ N(M) =D(Φ)∩ N0(M). Let (M,Φ) P0nbe given. Letw ∈ B(M,Φ)be given. It suffices to check thathM w, wi = 0. We know that:

hM w, hi ≥ 0,∀h D(Φ). Letj ∈ {1, ..., n}be given. We may seth = hw, ejiej to get(M w)jwj 0.

This last relation holds for allj ∈ {1, ..., n}and since0≥ hw, M wi = Pn

j=1(M w)jwj we obtain finally that hM w, wi= 0. g) Part g) is a direct consequence of part c).

Definition 1 We define byACnthe set of(M,Φ)IRn×n×Γ(Rn;R∪ {+∞})such that

∀t[0,1] : B((1t)I+tM,Φ) ={0}.

In other words, we say that the couple(M,Φ)is of classACnprovided that, for allt [0,1],0is the unique solution of problemSCP((1t)I+tM,Φ).

This concept that may appear technical can in fact be used to recover various important situations. This is shown in the following proposition.

Proposition 5 We have:

BnPDnPnPSnACn.

Proof: a) We prove thatBnACn. HereD(Φ)is assumed bounded and thusD(Φ) ={0}. Ift[0,1]and z∈ B((1t)I +tM,Φ)thenzD(Φ)and the result follows.

b) We prove thatPDnACn. Let(M,Φ) PDn,t [0,1]andz ∈ B((1t)I+tM,Φ)be given. Then zD(Φ)and

h(1t)z+tM z, zi ≤0.

Ift= 1thenhM z, zi ≤0and (22) yieldsz= 0. If0t <1then

||z||2≤ − t

1thM z, zi and from (22), we deduce that necessarilyz= 0. The result follows.

c) We prove thatPnACn. Let(M,Φ)Pn,t[0,1]andz∈ B((1t)I+tM,Φ)be given. We assert that z= 0. Suppose on the contrary thatz6= 0. We claim that there exists some indexk∈ {1, ..., n}such that

(1t)zk2+t(M z)kzk>0.

Indeed, if0< t1the result follows from (25) sincezD(Φ), z6= 0while ift= 0, the result is trivial since z6= 0. We know that

h(1t)z+tM z, hi ≥0,∀hD(Φ).

Letj ∈ {1, ..., n}be given. Using (25), we may seth=hz, ejiejto get (1t)zj2+t(M z)jzj0.

This last relation holds for allj∈ {1, ..., n}and since

h(1t)z+tM z, zi ≤0,

(15)

we get the contradiction:

0(1t)zk2+t(M z)kzk+X

j6=k

(1t)z2j+t(M z)jzj >0.

d) We prove thatPSnACn. Let(M,Φ)PSn,t[0,1]andz∈ B((1t)I +tM,Φ)be given. We claim thatz= 0. Suppose on the contrary thatz6= 0. HereD(Φ)={0}and the second relation in (32) yields

(1t)z+tM z= 0.

Ift= 0thenz= 0and a contradiction. If0< t1then M z=(1t)

t z

so thatν:=(1−t)t 0is a real eigenvalue ofMand a contradiction to (29).

Let us now give some additional properties that will be used later.

Proposition 6 LetΦ :Rn Rbe a proper convex and lower semicontinuous function with closed domain and letMRn×nbe a given matrix. If

(M,Φ)PD0nP0nPS0n

then

∀λ >0, (λI+M,Φ)ACn.

Proof: Letλ >0be given.

a) If(M,Φ) PD0nthen condition (23) onM entails thatλI +M satisfies condition (22) and the result is a consequence of Proposition 5.

b) If(M,Φ)P0nthen condition (27) onMentails that for eachxD(Φ),x6= 0, there existsα∈ {1, ..., n}

such that:

xα(λx+M x)α=λx2α+xα(M x)α>0 and thusλI+Msatisfies condition (25) and the result follows from Proposition 5.

b) Let(M,Φ) PS0nbe given. Lett [0,1]andz ∈ B((1t)I+tM,Φ)be given. We claim thatz = 0.

Suppose on the contrary thatz 6= 0. Here from (28) we deduce thatD(Φ) = {0}and the second relation in (32) yields

(1t)z+tM z+tλz= 0.

Ift= 0thenz= 0and a contradiction. If0< t1then M z=(1t)

t zλz

so thatν:=(1−t)t λ <0is a real eigenvalue ofMand a contradiction to (31).

The following Theorem is the basic result of this Section. It reduces the study of the general class of variational inequalitiesVI(M,q,Φ) to semi-complementarity problemsSCP(tM+ (1t)I,Φ) (t [0,1])involving the convex combinations of the matrixM and the identity matrixI. More precisely, we prove that if the couple(M,Φ)ACnthen for eachqRn, problemVI(M,q,Φ)has at least one solution. In other words we prove that

ACnQn.

Références

Documents relatifs

Nous avons traité certaines questions mathématiques autour du théorème de Hohenberg-Kohn, analysé les propriétés de l'application des potentiels vers les densités des

We start recalling with critical eyes the mathematical methods used in gauge theory and prove that they are not coherent with continuum mechanics, in particular the analytical

In particular, we prove the HoÈlder continuity of the solution sets of the problems perturbed around the original problem.. Our aim is to prove the HoÈlder continuity of the

Keywords Finite variational inequalities · Recession analysis · Convex analysis · Positive semidefinite matrices · Clipping circuit · Ideal diode model · Practical diode model

But, as we have argued in section 2.4, visual type theory technically cannot be considered a language at all: it is not a mapping between syntax and semantics, or in other words,

On commence par monter l’existence locale de solutions régulières pour un système couplant les équations d’Euler et l’équation du transfert radiatif.. Ce système est obtenu

The aim of this paper is to study a system of evolution inequalities that generalizes some interaction laws including dynamic contact, recoverable adhesion and friction between

This particular problem concerns the contact between an elastic body and a rigid support but a large variety of contact conditions can be easily analyzed using our general results,