Inegalitatea variațională
În matematică , o inegalitate variational problemă cuprinde generalizand - le o serie de probleme clasice , cum ar fi găsirea unui zero al unei funcții , găsirea unui punct staționar al unei optimizare problemă, problema complementarității liniare , etc . Formalismul a fost introdus mai întâi pentru a analiza anumite ecuații diferențiale parțiale care modelează probleme cu contactul sau cu frontieră liberă ( problema Signorini ) înainte de a deveni un cadru formal autonom care se aplică diferitelor probleme.
Definirea problemei
Având în vedere un spațiu Banach al cărui dual topologic a fost notat (este notat cârligul de dualitate ), un set ne-gol și o funcție , o inegalitate variațională a problemei este de a găsi un punct astfel încât
E{\ displaystyle \ mathbb {E}}
E′{\ displaystyle \ mathbb {E} '}
⟨⋅,⋅⟩{\ displaystyle \ langle \ cdot, \ cdot \ rangle}
K⊂E{\ displaystyle K \ subset \ mathbb {E}}
F:K→E′{\ displaystyle F: K \ to \ mathbb {E} '}
X∈E{\ displaystyle x \ in \ mathbb {E}}![x \ in \ mathbb {E}](https://wikimedia.org/api/rest_v1/media/math/render/svg/832350f43a22642e828fb77cd5ad6bb0dab8b30a)
IV(F,K){X∈K⟨F(X),y-X⟩⩾0,∀y∈K.{\ displaystyle \ operatorname {IV} (F, K) \ qquad \ left \ {{\ begin {array} {l} x \ in K \\\ langle F (x), yx \ rangle \ geqslant 0, \ quad \ forall y \ in K. \ end {array}} \ right.}
Prin urmare, se remarcă această problemă . Geometric, dacă este un spațiu Hilbert , dacă dualul său este identificat cu și dacă este convex , este vorba de găsirea unui punct astfel încât să fie în conul normal la en .
IV(F,K){\ displaystyle \ operatorname {IV} (F, K)}
E{\ displaystyle \ mathbb {E}}
E′{\ displaystyle \ mathbb {E} '}
E{\ displaystyle \ mathbb {E}}
K{\ displaystyle K}
X∈K{\ displaystyle x \ în K}
-F(X){\ displaystyle -F (x)}
K{\ displaystyle K}
X{\ displaystyle x}![X](https://wikimedia.org/api/rest_v1/media/math/render/svg/87f9e315fd7e2ba406057a97300593c4802b53e4)
Când datele au o anumită structură, găsim probleme clasice.
- Deci , problema este găsirea unui zero de .K=E{\ displaystyle K = \ mathbb {E}}
F{\ displaystyle F}![F](https://wikimedia.org/api/rest_v1/media/math/render/svg/545fd099af8541605f7ee55f08225526be88ce57)
- Dacă este un spațiu Hilbert , dacă este un convex închis non- gol și dacă este gradientul unei funcții convexe diferențiate , problema este de a minimiza peste .E{\ displaystyle \ mathbb {E}}
K{\ displaystyle K}
F=∇f{\ displaystyle F = \ nabla f}
f:E→R{\ displaystyle f: \ mathbb {E} \ to \ mathbb {R}}
f{\ displaystyle f}
K{\ displaystyle K}![K](https://wikimedia.org/api/rest_v1/media/math/render/svg/2b76fce82a62ed5461908f0dc8f037de4e3686b0)
- Dacă , dacă este ortantul pozitiv al și dacă este o funcție afină ( este o hartă liniară și ), vom găsi problema complementarității liniare .E=Rnu{\ displaystyle \ mathbb {E} = \ mathbb {R} ^ {n}}
K=R+nu{\ displaystyle K = \ mathbb {R} _ {+} ^ {n}}
Rnu{\ displaystyle \ mathbb {R} ^ {n}}
F:X∈Rnu↦MX+q∈Rnu{\ displaystyle F: x \ in \ mathbb {R} ^ {n} \ mapsto Mx + q \ in \ mathbb {R} ^ {n}}
M{\ displaystyle M}
q∈Rnu{\ displaystyle q \ in \ mathbb {R} ^ {n}}![q \ in \ mathbb {R} ^ {n}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ac9349bc67f0a616617dd4929b6972426a6c82a6)
Existența soluției
Dacă este un spațiu Hilbert , un punct este o soluție a dacă și numai dacă este un punct fix al funcției
E{\ displaystyle \ mathbb {E}}
X{\ displaystyle x}
IV(F,K){\ displaystyle \ operatorname {IV} (F, K)}![\ operatorname {IV} (F, K)](https://wikimedia.org/api/rest_v1/media/math/render/svg/fbfa5bce632e93856cada603b4fcc60a323b987f)
φ:X∈K→PK(X-F(X))∈K.{\ displaystyle \ varphi: x \ in K \ to P_ {K} (xF (x)) \ in K.}
Am notat proiectorul ortogonal pornit . Rezultatele existenței punctului fix pot fi, prin urmare, utilizate pentru a obține condiții de existență a soluției problemei . În dimensiunea finită, următorul rezultat este o consecință imediată a teoremei punctului fix al lui Brouwer , aplicată funcției .
PK{\ displaystyle P_ {K}}
K{\ displaystyle K}
IV(F,K){\ displaystyle \ operatorname {IV} (F, K)}
φ{\ displaystyle \ varphi}![\ varphi](https://wikimedia.org/api/rest_v1/media/math/render/svg/33ee699558d09cf9d653f6351f9fda0b2f4aaa3e)
Existența soluției (dimensiune finită) - Dacă este continuu și dacă este un convex compact nevazut, atunci problema are o soluție.
F:Rnu→Rnu{\ displaystyle F: \ mathbb {R} ^ {n} \ to \ mathbb {R} ^ {n}}
K⊂Rnu{\ displaystyle K \ subset \ mathbb {R} ^ {n}}
IV(F,K){\ displaystyle \ operatorname {IV} (F, K)}![\ operatorname {IV} (F, K)](https://wikimedia.org/api/rest_v1/media/math/render/svg/fbfa5bce632e93856cada603b4fcc60a323b987f)
Metode de rezoluție
Anexe
Note
Articole similare
Lucrări generale
-
(ro) F. Facchinei, J.-S. Pang (2003). Inegalități variaționale finite-dimensională și probleme de complementaritate (2 volume). Seria Springer în cercetarea operațională. Springer-Verlag, New York.
- R. Glowinski, J.-L. Lions, R. Trémolières (1976). Analiza numerică a inegalităților variaționale - Volumul 1: Teoria generală și primele aplicații - Volumul 2: Aplicații la fenomene staționare și evolutive . Dunod, Paris.
<img src="https://fr.wikipedia.org/wiki/Special:CentralAutoLogin/start?type=1x1" alt="" title="" width="1" height="1" style="border: none; position: absolute;">