LESSON 4

- ORTHO NORMAL BASIS OF

FUNCTION SPACES

- THE GALERKIN FORMULATI ON

AND THE ALGEBRAIC FORMULATI ON

ANALYSIS OF THE (f)

-

THE FINITE ELEMENT

METHOD
-

IN ZD
 g. lini, MIN, :( ) )
✓ unisono ti r
space
( e.

is Also b VECTOR SPACE

LINEAR f) get HER

combinatori

ifeng.tv
-
WE can Delfino a scalar PRODUCT

(
f.gl#,=ffgdxHYnl
Uni

figlia flfgxtf .bg/dx

:

mini :

;
marini :

-
Norm can BB INDNCED By the SCALAR product

Eni :
1171km, -
( f. f) =L fidi
mai llfllfneu ¢ Infatti#
:
.
,

-
Orttronorthtl Basis ( a -
dimensionale )
{ di } ? ,
sventrati
i
, 4%0 ,
#j

tfev : f. È uiqi ,
nick
Ortonormale Basin of a main function iper

÷.is?::::::::i:O
ANALOGY

:::::::::::÷
m s ,
2

÷.

.IN
_

a b
~
2

f- c- V f- ?=
uilfi =
44 +442
,

Ìn f. Èiili
trq.dim.x@aruncnonort TN.s
AVERY

(CAN
CAN
BE

BE
GENERIC
discontinuo

rischi BED
function

) AND

ONLY
µ -

BY A BAS ' s MADE OF

as FVNCTIONS VI

⑤
" "
we can not USE in pratico A BASIS

MADE of M UNDER of FVNCTIONS

CAN WE FIND A M -

DIM SPACE THAT

Approxinhtt
"
WELL
"
AN A -
MM SPACE ?

1D⑧ ! PIECEWISE -
LINEAR polinomiali
t.us
ha

iv. a
"
փ% .

h
Nardini )
mi ~
Vere V
nuova isagood anno " of nell ?
THE GALERVIIN METHOD

}
Generici ELLIPTIC PROBLEM in he IRI '

(F) find nevi ad ,v) -

FINI , tvev

✓ is an APPROPIATE Subiaco of HTM )

al BRINDAR FORM
;) is Cant . COERCIVE

F ( ) .
is Cant . LINER FVNCTIONAL

km ) 7 ! u

WE TAKE A FAMILY of FINITE Dimensionale SPACE

-

µ AS A FAMILY OF SVBS PACE Vere V

TMAT DTPENDS ON APARAM .
lr

Veneti ,
dim Vera Nasa , thoo

÷÷÷÷÷%rà:
 ne
94J , J - 1
,
. .
.

,
Ne } tuo BASIS of
ra
WE CAN REWRITE (f) REPLACING Prue Vh ( THAT ARE
9)
WITH THE FINITE NUMBER OF FUNCTION IN THE BASIS

loro alme 4) ,
=
Ftfil , i. si
.dk
this is recava ttvngvn :
va >
È wifi ( in .com
Baffi)
(F) t BKINEARITY of
Af ) ,
+ LNEARITY of F (F)
nn

nuova "
ehi Ehi 4in
i »

REPLACWG Un AND E XPLOITING Totò BILINEARITY WEOBTAIN :

ftp.%fajafljili/-Ftfd,i--s,e,...i
aij-affj.fi ) %
once are Known ne
,

¥ OBTAIN A frnfness) mstrik

f- i. Hai
re
£ II In
"

Mi =) 4 a vector of UNKNOWN 5

a÷::÷%÷%÷:÷i±n÷*T eri
 A (Af) (

POSITIVENEfinfap.is
THE MATRIX OF ASSOCIATED TO

THY
A CNF) THAT RESPECT THE Hp of t.im ) is

.
A is invertirne f! µ : Ay ! =

Prof
-

pggplntnispo.int 'e

-
aI Birro trivellano FBI,
» 5=9

Av ✓ È viaijr È niafliililni ;

Bilineari =

?? A
# Mj Nidi) ,
=

D= [ nihil
affretti ,
i
=

coerenti
! a
( va va ) e
attratti >o
,

noroover MAI - o
Arraffo
vero 1=0
•
ANALYSIS E- toro GALETLKIN Matteo

⑥ EX isterico E unendosi

② stabiliti OF Un

EXACT Sol U
③ Convergente af
Un totale

l' un -
UH , →o
liso

CLOSED

③ ⑦ Va CV ISUBSPACB OF HILBERT it ITKLHKB .

EXPLOIT LAX
-
MILGRAM

(GF ) IERIFIYES tuo tip of t.im .

⑥ Caro ⇐ daro 9! ! : Ay ! .

3! uaevn
solving ( GF)

① STABILITI WE EXPLOIT toro LLARY ( M)

Ht ""
ht!÷÷!÷k
 convergenti
③ qua -

up - o
,
hoo

PMI sino vi. CV U SATISFIES Tuo WF)

⑤
notare attiva) FI ) -
traeva CV
,

alunni -

fai
"
.

FLYNN o

alunni -
aol.vn ) - o

BKW . ch (u -

un , va ) - o
,
fumetti
Extratributaria
al;)
4, is THE
is symmetric

ORTHO lo ONAL PROTECTION

!
µ! -
ma

OF
unita ,
Account to the

MALAN PRODUCT INDICE D BY al;)

 contino R toro cade i
Fae Va benone

a
µ -4,4 -

na ) -
ah -

un ,u un
- -

Nativa) =

{
alunni
validamente
-

µ Cimieri ,
,

µ .ua ,
"
-411 falchi rallenta
-

A
.mil/ln-vnlh -

§ COERCIVITY CONTINUITY

<
alla nulli -

alla -

unlhfe MINÀ llnsvnllr

In .ua/heI-lln-vnllv,ttnneVe
S' NCE IT IS TRUE trim ,
IT IS TRUE Aid for info

"m÷::m÷÷÷
 http:///n-NnH=oP
CEI irriti that

mano come RGTNCE if uso nella

Un nella
% .
-

Un CV
" "
IF is Carosone CANOFUCLY

[ saturi / ) THEN COALERKIN 15

Convergenti
 THE FINITE ELEMENT Mittlod IN ZD

GIVEN A Domain

"

:*:
A UNION OF

Trianon ( Elementi - ,

on-rlappwc.ir#nn%ff
{
set on non -

7h triangolata

kit . D=
!!

ameterdiadk-f.gg/X-y/fkDIAMoTfR
h .
D'

OF THE INSCRIBBD CIRCLE

÷÷÷÷ f
"

OTTIERWISE
BITTER

µ (
QUALITY

no

BAD PROPRIETY
"
IF

STRETCHED
ELEMENTS

of
)
¥
 LINEAR FINITE ELEMENTS in ZD

Xi fvaec.fi/:nah.elP?-VkeTn }
-

di cnn.eu
ii. Guasti :
vano , Kenyatta
Bass of
Xj
-
s

0
o

ALL THE FUNCTIONI Nere # can BE

VNIVOCALLY istinti FIED BY THE VALUBT

THAT THEY TAKE AT THE mores of Ten

BASIS
-
of XI ( PIECEWISE LINEAR ) : CEE PNEVIOVS figli

!
(
i
?
i. s
Nei
"

Yjlni )
.

climi " " "

; È
"
"

IS Stick THAT :
" "*
Nn

neirhfvjlfjlt ) ,
muore
vi. vedi )
jet

THE VALVES AT THE MORES

Nj ,

Identifier ALL THE FUNCTIONS of µ

olimpi ) @
or-norresdimli ed--na-n@inwind.it
numera
→
=

%
"

in case of THE MMRENSION OF THE SPACE

DEC REATFS OF NI ,
sino WE know THAT

ddl
( )
U on du
o Ttius
Uj
=
-0 on
,

no Unknown on THE BOUNDARY

ELLIPTIC PROBLEM WITH LINEAR FINITE ELEMENT

THE Poisson PROBLEM

{
- du - f inn

h = o andai

(F) fino a c- HIM ) i

{ lintivdxoffvdx ,
tiratemi

APPROX with LINEAR FE -0 GALERKIN WITH

(F) fino une XII :

{ Puiovndx :{ fa ,
teneri
 Nn -
Nei
'

::::::÷
FIND Y e IRM SUCM THAT
§ D= E VUHENE :
,

↳ =
[ no ,
. . .

,
. Un ]
:i÷÷:÷m
convergenti TTLEOREM

netta ) sol . or ( wr) of an

ch' lnlnqn)
a-
nelle ,
e
[
3 THE PROF EXPLOITS THE CEÀ LEMMA

@ ⑦ AND IMPLIES convergente BECAUSE

WE CAN BOUND 11h -

hully With SOMETNING

THAT DEPENDS ON h

tteus ho 0
fu nullo
-
→ o