FAKULTET
DEPARTMAN ZA MATEMATIKU
elibrary.matf.bg.ac.rs
UNIVERZITET U NISU
Milica D. Cvetkovi
c
I UOPSTENJA
DOKTORSKA DISERTACIJA
Ni
s, 2013.
UNIVERZITET
Prirodno-matemati
cki
U
NIS
fakultet
Milica D. Cvetkovi
c
elibrary.matf.bg.ac.rs
Departman za matematiku
I UOPSTENJA
DOKTORSKA DISERTACIJA
Mentor
Prof. dr Ljubica S. Velimirovi
c
Ni
s, 2013.
elibrary.matf.bg.ac.rs
Predgovor
elibrary.matf.bg.ac.rs
zaj
Sadr
3
1 Oblik povr
si u R3 u funkciji krivina
1.1 Povrsi u R3 . . . . . . . . . . . . . . . . .
1.2 Krivine povrsi . . . . . . . . . . . . . . . .
1.2.1 Operator oblika . . . . . . . . . . .
1.2.2 Normalna krivina . . . . . . . . . .
1.2.3 Glavne krivine . . . . . . . . . . . .
1.2.4 Gausova i srednja krivina . . . . .
1.2.5 Vilmorova energija . . . . . . . . .
1.3 Specijalne vrste povrsi . . . . . . . . . . .
1.3.1 Pravolinijske povrsi . . . . . . . . .
1.3.2 Gaudijeve povrsi . . . . . . . . . .
1.3.3 Razvojne povrsi . . . . . . . . . . .
1.4 Primer krivina i funkcija krivina Gaudijeve
. . . .
. . . .
. . . .
. . . .
. . . .
. . . .
. . . .
. . . .
. . . .
. . . .
. . . .
povrsi
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
7
8
10
11
14
17
18
21
24
24
26
27
31
.
.
.
.
.
.
.
.
.
.
.
.
37
37
39
41
43
48
51
52
54
55
56
57
60
SADRZAJ
elibrary.matf.bg.ac.rs
2
3 Pravolinijske povr
si sa geometrijskog i konstruktivnog aspekta
3.1 Geometrijske karakteristike pravolinijskih povrsi . . . . . . . . . .
3.2 Primena pravolinijskih povrsi . . . . . . . . . . . . . . . . . . . .
3.2.1 Primenjene Gaudijeve povrsi . . . . . . . . . . . . . . . . .
3.3 Razvojne povrsi i njihove primene . . . . . . . . . . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
65
65
68
70
73
77
. . . . . . . . . 78
. . . . . . . . . 80
. . . . . . . . . 81
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
82
87
92
94
107
elibrary.matf.bg.ac.rs
Predgovor
Analiza oblika povrsi predstavlja vazan segment u geometriji povrsi jer ima veliku primenu
u mnogim sferama kao sto su biometrija, medicina, gradevinarstvo, moderna arhitektura, kompjuterska graka, 3D televizija, moderna umetnost, i mnoge druge.
Oblik, kao jedna od sustinskih karakteristika povrsi, ima centralnu ulogu u otkrivanju,
pracenju, klasikaciji i prepoznavanju. Na primer, u medicini ima veoma vaznu ulogu u analizi
slike pri proucavanju bioloskih varijacija anatomskih struktura [40]. Veliki je interes neurologa
za ovu oblast u analizi mozga, posebno u analizi spiralnog dela cerebralnog korteksa, koji
predstavlja kljuc ljudske inteligencije [32].
Zatim u biohemiji, u proucavanju biopolimera, opis molekularnog oblika je bitan kod analize
interakcija protein-protein i protein-ligand [21]. Takode, u biozici, oblik celijske membrane
usled elasticnog savijanja u sluzbi je ispitivanjima u biologiji [87].
Morfoloska analiza oblika kamena i povrsina stena doprinosi donosenju zakljucaka o zivotnoj
istoriji [24].
Analiza oblika povrsi predstavlja skup alata za uporedivanje, poklapanje, deformacije i
modelovanje povrsi.
Postoji vise pristupa analizi oblika povrsi:
preko operatora oblika, (odnosno, preko krivina povrsi),
preko Vilmorove energije, (odnosno, uporedivanjem sa sferom),
preko innitezimalnih deformacija povrsi,
preko metrike, (na primer, preko Soboleve metrike [35]),
preko geometrijskog modelovanja povrsi,
uporedivanjem sa drugim povrsima (kongruentne povrsi),
i drugi.
U ovom radu se analizi oblika povrsi u R3 pristupilo preko operatora oblika, odnosno, preko
krivina, ali i funkcija krivina, kao sto je Vilmorova energija. Takode su posmatrane povrsi usled
innitezimalnih deformacija, a posebno varijacije krivina i funkcija krivina usled beskonacno
malog savijanja povrsi. Razmatrane su specijalne vrste pravolinijskih povrsi sa geometrijskog i
konstruktivnog aspekta i ukazano na njihovu siroku primenu. Potom je izvrsena generalizacija
razmatranjem Finslerovih i generalisanih Finslerovih prostora.
elibrary.matf.bg.ac.rs
SADRZAJ
samo od koordinata tacke u kojem se vrsi posmatranje, dok u Finslerovom prostoru metricki
tenzor zavisi i od tacke i od pravca. Finslerova geometrija se zasniva na tome da je rastojanje
ds izmedu dve susedne tacke sa koordinatame xi i xi + dxi odredjeno funkcijom F (xi , dxi ).
Prvi je ovakvu metriku izucavao P. Finsler u svojoj doktorskoj disertaciji. Kasnije su mnogi
matematicari razvijali ovu oblast, kao sto su: K. Jano [8], Samioke
[66], S. Mincic [50], [50],
[52], S. Manov [43], C. K. Misra [53], i mnogi drugi. Komponente metrickog tenzora su bile
denisane na sledeci nacin:
1 2 F 2 (x, dx)
gij (x, dx) =
.
2 dxi dxj
elibrary.matf.bg.ac.rs
SADRZAJ
U Finslerovim prostorima postoje razliciti tipovi koneksija, kao sto su koneksija Bervalda,
SADRZAJ
1. Prva glava predstavlja uvod i uvodna razmatranja o obliku povrsi kroz krivine i funkcije
krivina i geometrijske karakteristike nekih specijalnih vrsta pravolinijskih povrsi. Pored osnovnih karakteristika o povrsima u R3 i krivinama povrsi: operatora oblika, normalne krivine,
glavnih krivina, Gausove i srednje krivine i Vilmorove energije, kroz primere i vizualizaciju,
opisane su i vizuelno prikazane neke specijalne vrste pravolinijskih povrsi: konoidne, Gaudijeve
i razvojne povrsi. O operatoru oblika povrsi objavljen je rad [92]. Iz teorije pravolinijskih
povrsi publikovani su radovi [82] i [83], o konoidni povrsima je objavljen rad [100], Gaudijeve
povrsi su razradene u radovima [84] i [91] i razvojne povrsi u radu [80]. Na kraju ove glave,
u Poglavlju 1.4, dat je detaljan prikaz Gaudijevih povrsi, kroz krivine i funkcije krivina, gde
se, pored njihovog izracunavanja, neke mogu i vizuelno prikazati koristeci programski paket
Mathematica.
elibrary.matf.bg.ac.rs
4. Cetvrta
glava prikazuje uopstenje na Finslerove i generalisane Finslerove prostore.
Opisane su osnove Finslerove geometrije, denisani razliciti tipovi koneksija, koje imaju vaznu
ulogu u primenama Finslerove geometrije i date osnovne karakteristike i primene Finslerovih
prostora. Takode, posmatrani su prostori apsolutnog paralelizma sa Finslerovim karakteristikama, denisane nesimetricne koneksije i v i hkovarijantno diferenciranje. U generalisanom
Finslerovom prostoru denisana je prva i druga vrsta h-kovarijantnog diferenciranja, izrazeno
10 identiteta Ricijevog tipa i novi Kartanovi tenzori i pseudotenzori, o cemu govori rad [16].
U istrazivanjima je koriscen paket Mathematica, kao i metode i tehnike tenzorskog racuna.
Oblik povr
si u R3 u funkciji krivina
elibrary.matf.bg.ac.rs
Glava 1
U R3 U FUNKCIJI KRIVINA
GLAVA 1. OBLIK POVRSI
Povr
si u R3
Pre svega treba uvesti strogo matematicki pojam povrsi u R3 . Dok je kriva u R3 funkcija
jedne promenljive, logicni sled je posmatrati funkcije dve promenljive. Upravo takve objekte
nazivamo povrsima.
Definicija 1.1.1. Neka je D otvoreni podskup od R2 . Povrs u R3 predstavlja diferencijabilno
preslikavanje:
r : D R3 ,
(1.1.1)
elibrary.matf.bg.ac.rs
1.1
(1.1.2)
(u, v) D R2 ;
y = y(u, v),
z = z(u, v),
(u, v) D R2 ;
(x, y) D R2 ,
(1.1.3)
(1.1.4)
r
r1 r2 r3
= rv = (
,
,
).
v
v v v
(1.1.5)
elibrary.matf.bg.ac.rs
U R3
1.1. POVRSI
F = ru rv ,
G = rv rv = rv 2 .
(1.1.7)
Tada je izraz:
ds2 = Edu2 + 2F dudv + Gdv 2 I
(1.1.8)
Rimanova metrika ili prva kvadratna forma od r. Funkcije E, F i G nazivamo koeficijentima prve kvadratne forme od r.
Analogno se moze denisati i druga kvadratna forma.
U R3 U FUNKCIJI KRIVINA
GLAVA 1. OBLIK POVRSI
elibrary.matf.bg.ac.rs
10
(1.1.9)
(1.1.10)
1.2
Krivine povr
si
U ovom poglavlju bice opisan odnos izmedu geometrije povrsi S R3 i geometrije samog
prostora R3 . Osnovni alat za to je operator oblika. Operator oblika je opisan u radovima [92]
i [15]. Bice razmatrana i normalna krivina, kao varijanta operatora oblika, i glavne krivine kao
ekstremne vrednosti normalne krivine. Najvaznije krivine povrsi u R3 su Gausova i srednja
krivina i pored njihovih denicija i osobina bice opisane i tehnike za njihovo izracunavanje.
Na kraju, kao kvantitativna mera odstupanja date povrsi od sfere, bice opisana i Vilmorova
energija, kao funkcija krivina, koja predstavlja deformaciju prilikom transformacije jednog objekta u drugi.
1.2. KRIVINE POVRSI
Operator oblika
Dva osnovna nacina da se analizira oblik povrsi S jesu da se posmatra promena normale
koja se krece po povrsi, ili da se povrs S uporedjuje sa sferom.
Dobar nacin da se izmeri savijanje regularne povrsi S u R3 jeste da se proceni kako se povrs
U normalna na S menja od tacke do tacke. Linearno preslikavanje kojim se izracunava savijanje
povrsi S naziva se operator oblika.
Definicija 1.2.1. Neka su V i W vektorski prostori. Preslikavanje prostora V na prostor W
naziva se operator.
Definicija 1.2.2. Neka je W vektorski prostor nad poljem K. Na skupu svih operatora prostora
V na prostor W definisacemo strukturu vektorskog prostora na sledeci nacin:
(A + B)x = Ax + Bx,
(A)x = Ax,
(1.2.11)
elibrary.matf.bg.ac.rs
1.2.1
11
(1.2.12)
U R3 U FUNKCIJI KRIVINA
GLAVA 1. OBLIK POVRSI
elibrary.matf.bg.ac.rs
12
(1.2.13)
M F LG
LF M E
S(ru ) = Du =
ru +
rv ,
2
EG F
EG F 2
(1.2.14)
S(rv ) = Dv = N F M G ru + M F N E rv .
EG F 2
EG F 2
Dokaz. Kako je r regularna povrs i ru i rv su linearno nezavisni, mozemo napisati da je:
S(ru ) = Du = a11 ru + a12 rv ,
S(rv ) = Dv = a21 ru + a22 rv ,
(1.2.15)
za proizvoljne funkcije a11 , a12 , a21 , a22 . Da bi dokazali izraz (1.2.14), moramo prethodno
izracunati koecijente a11 , a12 , a21 , a22 iz (1.2.15). Ako svaku od jednacina iz (1.2.15) pomnozimo
skalarno sa ru i rv dobija se:
S(r ) r = a r r + a r r ,
u
v
11 u
v
12 v
v
(1.2.16)
1.2. KRIVINE POVRSI
13
Kako je iz (1.1.7)
ru rv = F,
rv rv = G,
i iz (1.1.9)
S(ru ) ru = L,
S(ru ) rv = S(rv ) ru = M,
S(rv ) rv = N,
L = a11 E + a12 F,
M = a F + a G,
11
12
(1.2.17)
M = a21 E + a22 F,
N = a21 F + a22 G.
elibrary.matf.bg.ac.rs
ru ru = E,
M N
a21 a22
F G
(1.2.18)
odnosno,
(
a11 a12
a21 a22
(
=
L M
M N
)(
E F
F G
)1
.
(1.2.19)
Kako je
(
E F
F G
)1
1
=
EG F 2
G F
F E
)
,
(1.2.20)
to je
(
a11 a12
a21 a22
(
)(
1
L M
=
EG F 2 M N
(
1
LG M F
=
EG F 2 M G N F
G F
F E
=
)
LF + M E
.
M F + N E
(1.2.21)
Tako se dobija da je
{
a11 =
a21 =
M F LG
EGF 2
N F M G
EGF 2
, a12 =
, a22 =
LF M E
EGF 2
M F N E
EGF 2
,
.
(1.2.22)
U R3 U FUNKCIJI KRIVINA
GLAVA 1. OBLIK POVRSI
Iz poslednje jednakosti dobija se (1.2.14), odnosno, operator oblika u matricnom obliku bice
jednak:
(
)
1
LG M F M E LF
S=
.
(1.2.23)
EG F 2 M G N F N E M F
Ako matrice prve i druge kvadratne forme redom oznacimo na sledeci nacin:
(
)
(
)
E F
L M
F1 =
,
F2 =
,
F G
M N
(1.2.24)
elibrary.matf.bg.ac.rs
14
(1.2.25)
Treba naglasiti da iako je operator oblika S simetricni linearni operator, njegova matrica u
odnosu na ru i rv ne mora biti simetricna, jer ru i rv u opstem slucaju nisu ortogonalni.
U slucaju da izaberemo standardnu bazu, koecijenti prve i druge kvadratne forme koji se
denisu preko vektora ru i rv , koji su u standardnoj bazi jednaki:
(ru )s = (1, 0),
(1.2.26)
1.2.2
1 0
0 1
)
.
Normalna krivina
Iako operator oblika, kao vektorska funkcija, meri savijanje povrsi u razlicitim pravcima,
korisno je imati i realnu funkciju sa istom svrhom. Upravo takva je normalna krivina.
Denisimo, najpre, pojam pravaca na povrsi.
1.2. KRIVINE POVRSI
15
(1.2.27)
Ili u opstem slucaju, ako je vp proizvoljni nenula tangentni vektor od S u tacki p, tada je
kn (vp ) =
elibrary.matf.bg.ac.rs
S(vp ) vp
.
vp 2
(1.2.28)
Poslednju deniciju mozemo dalje razraditi. Neka je Tp (S) skup svih jedinicnih tangentnih
vektora na S u tacki p. Pokazacemo najpre da skalarni proizvod dva proizvoljna vektora
a, b Tp (S) ukljucuje matricu prve kvadratne forme F1 . Posmatracemo vektore a i b u bazi
{ru , rv }:
a = a1 ru + a2 rv ,
b = b1 ru + b2 rv ,
i izracunati njihov skalarni proizvod.
a b = a1 b1 (ru ru ) + a1 b2 (ru rv ) + a2 b1 (rv ru ) + a2 b2 (rv rv ) =
= a1 b1 E + a1 b2 F + a2 b1 F + a2 b2 G =
(
)T (
)(
)
a1
E F
b1
=
= aT F1 b .
a2
F G
b2
(1.2.29)
(1.2.30)
(1.2.31)
U datoj tacki p S normalna krivina se posmatra u odnosu na odredeni pravac koji polazi
iz tacke p. Dakle, u datoj tacki p treba izabrati neku vrstu mernog alata koji bi obuhvatio
U R3 U FUNKCIJI KRIVINA
GLAVA 1. OBLIK POVRSI
sve pravce u datoj tacki p, odnosno, pametno izabrati vektor (u)s koji ce predstaviti sve pravce.
Neka je, zato,
(
)
cos t
(u(t))s =
,
(1.2.32)
sin t s
gde je t [0, 2). U ovom slucaju imamo da je (u(0))s = (1, 0)s = (ru )s i (u(/2))s = (0, 1)s =
(rv )s , kao i da je u = 1 za svako t. Sa ovakvim izborom, koristeci (1.2.31) vazi:
(
)(
) (
)
L M
cos t
cos t
kn (t) =
=
M N
sin t s
sin t s
(
) (
)
L cos t + M sin t
cos t
(1.2.33)
=
=
M cos t + N sin t s
sin t s
= L cos2 t + 2M sin t cos t + N sin2 t .
elibrary.matf.bg.ac.rs
16
Normalna krivina sluzi da izmeri savijanje regularne povrsi S u svakoj tacki p S (Slika
1.3).
(1.2.34)
La2 + 2M ab + N b2
.
Ea2 + 2F ab + Gb2
(1.2.35)
1.2. KRIVINE POVRSI
17
vp 2 = a ru + b rv 2 = a2 E + 2abF + b2 G,
(1.2.36)
(1.2.37)
La2 + 2M ab + N b2
S(vp ) vp
=
.
vp 2
Ea2 + 2F ab + Gb2
(1.2.38)
elibrary.matf.bg.ac.rs
Dokaz. Kako je
1.2.3
Glavne krivine
Se2 = k2 e2 .
18
1.2.4
U R3 U FUNKCIJI KRIVINA
GLAVA 1. OBLIK POVRSI
Definicija 1.2.9. Neka je S R3 regularna povrs. Gausova krivina, (Johann Carl Friedrich
Gauss, 17771855, nemacki matematicar) K i srednja krivina H povrsi S su funkcije K, H :
S R definisane na sledeci nacin:
K(p) = det(S(p)) ,
(1.2.39)
1
H(p) = tr(S(p)) .
2
(1.2.40)
Treba naglasiti da operator oblika S i srednja krivina H zavise od izbora normale U , dok
Gausova krivina K je nezavisna od tog izbora.
elibrary.matf.bg.ac.rs
Gausova i srednja krivina predstavljaju najvaznije krivine teorije povrsi. Iako su zasnovane
na glavnim krivinama povrsi S, one su geometrijski dostupnije u odnosu na glavne krivine.
(1.2.41)
1
H = (k1 + k2 ) .
2
(1.2.42)
Dokaz. Ako za operator oblika S povrsi Sp izaberemo ortonormiranu bazu, matrica te baze
bice:
(
)
k1 0
,
(1.2.43)
0 k2
pa je
(
K = det
k1 0
0 k2
)
= k1 k2 ,
(1.2.44)
1.2. KRIVINE POVRSI
19
k1 0
0 k2
1
= (k1 + k2 ).
2
(1.2.45)
elibrary.matf.bg.ac.rs
1
H = tr
2
Na osnovu ove denicije moze se zakljuciti da Gausova krivina lokalno odredjuje oblik povrsi
(Slika 1.4).
Slika 1.4: Gausova krivina odreduje lokalno oblik povrsi: konveksni i konkavni paraboloid K > 0
(prva), sedlo K < 0 (druga) i razvojna povrs K = 0 (treca)
Naziv srednja krivina potice od njenog samog znacaja obzirom da predstavlja aritmeticku
sredinu glavnih krivina, odnosno, maksimalne i minimalne vrednosti normalne krivine. Gausova
U R3 U FUNKCIJI KRIVINA
GLAVA 1. OBLIK POVRSI
krivina je naziv dobila u cast nemackog matematicara Karla Fridriha Gausa koji je dokazao
jednu od fundamentalnih teorema diferencijalne geometrije Theorema Egregium, velicanstvena teorema, u kojoj je pokazao da je Gausova krivina objekat unutrasnje geometrije.
Neka je S R3 regularna povrs. Gausova i srednja krivina su funkcije K, H : S R
i pisemo K(p) i H(p) za vrednosti ovih funkcija u tacki p S. Takode, sa K(u, v), H(u, v)
oznacavamo Gausovu i srednju krivinu povrsi r(u, v).
Sledeca teorema izrazava ove krivine preko koecijenata prve i druge kvadratne forme.
Teorema 1.2.7. Neka je r : D R3 regularna povrs. Gausova i srednja krivina povrsi r date
su formulama:
LN M 2
,
EG F 2
(1.2.46)
LG 2M F + N E
,
2(EG F 2 )
(1.2.47)
K=
H=
elibrary.matf.bg.ac.rs
20
elibrary.matf.bg.ac.rs
21
Slika 1.5: Vizualizacija Gausove krivine helikoida, helikoid obojen u funkciji Gausove krivine i Gausova
krivina predstavljena funkcijom Hue, redom (prvi red) i analogno za srednju krivinu (drugi red)
k1 = H + H 2 K i k2 = H H 2 K .
1.2.5
(1.2.50)
(1.2.51)
Vilmorova energija
Pored promena normale po povrsi, tj. operatora oblika, drugi pristup analizi oblika povrsi
jeste da se povrs uporeduje sa sferom. Vilmorova energija (Thomas James Willmore, 1919
2005, engleski geometar), kao funkcija srednje i Gausove krivine, upravo ima taj zadatak da
meri odstupanje povrsi od sfere.
Posmatrajmo povrs S R3 klase C , 3, datu vektorskom jednacinom
S : r = r(u, v),
(u, v) D R2 .
(1.2.52)
(1.2.53)
U R3 U FUNKCIJI KRIVINA
GLAVA 1. OBLIK POVRSI
22
Primer 1.2.2. Za elipticki paraboloid r(u, v) = (u, v, u2 + v 2 ) srednja krivina, Gausova krivina
i Vilmorova energija jednake su:
H(p) =
2 + 4u2 + 4v 2
3
(1 + 4u2 + 4v 2 ) 2
G(p) =
4
(1 + 4u2 + 4v 2 )2
W (p) =
(4u2 + 4v 2 )2
,
(1 + 4u2 + 4v 2 )3
elibrary.matf.bg.ac.rs
U radu [87] su prikazani primeri odredivanja i vizualizacije srednje krivine, Gausove krivine
i Vilmorove energije uporedo uz pomoc paketa Mathematica [30], [73].
Slika 1.6: Elipticki paraboloid (prvi red) i vizualizacija srednje krivine, Gausove krivine i Vilmorove
energije, redom (drugi red)
W =
f (H, K) dA,
S
(1.2.54)
1.2. KRIVINE POVRSI
23
U slucaju zatvorene povrsi, primenom Gaus-Boneove Teoreme (Pierre Ossian Bonnet, 1819
1892, francuski matematicar) [30], integral Gausove krivine moze se izracunati preko Ojlerove
karakteristike (Leonhard Euler, 17071783, svajcarski matematicar i zicar) [30], (S) povrsi,
to jest,
K dA = 2(S),
(1.2.55)
S
W =
H 2 dA 2(S) .
(1.2.56)
elibrary.matf.bg.ac.rs
Takode se Vilmorova energija moze ekvivalentno izraziti i preko glavnih krivina povrsi u
obliku:
1
W =
(1.2.57)
(k1 k2 )2 dA .
4
S
Vilmorova energija je uvek veca ili jednaka nuli. Sfera ima Vilmorovu energiju jednaku nuli.
Osnovni problem je posmatrati njenu varijaciju, nalazenje kriticnih tacaka i minimuma
funkcije. U topoloskom smislu, ovo je ekvivalentno nalazenju kriticnih tacaka funkcije
1
2
H dA =
(k1 + k2 )2 dA ,
(1.2.58)
4
S
U R3 U FUNKCIJI KRIVINA
GLAVA 1. OBLIK POVRSI
24
elibrary.matf.bg.ac.rs
1.3
1.3.1
Pravolinijske povr
si
Pravolinijske povrsi predstavljaju vaznu klasu povrsi koje sadrze prave linije. Ove prave
linije istovremeno su asimptotske krive. To su povrsi koje nastaju pomeranjem prave po nekoj
krivoj.
Definicija 1.3.1. Pravolinijska povr
s S R3 je povrs koja sadrzi bar jednu jednoparametarsku familiju pravih. Takva pravolinijska povrs ima parametrizaciju r : D S u obliku:
r(u, v) = (u) + v(u),
(1.3.59)
1.3. SPECIJALNE VRSTE POVRSI
25
elibrary.matf.bg.ac.rs
Ravni, ortogonalne na Z-osu, seku povrs po elipsama, dok ravni paralalelne na Z-osu seku je
po hiperbolama. Jednograni hiperbolicki paraboloid je dvostruka pravolinijska povrs, a bazicna
kriva je elipsa. Parametarska jednacina ima oblik:
2xy
.
+ y2
x2
2uv
).
+ v2
u2
Ovom parametrizacijom paket Mathematica ne prikazuje ovu pors kao pravolinijsku (Slika
1.8). To se postize uvodenjem polarnih koordinata:
r(, ) = ( cos , sin , 2 cos sin ) = (0, 0, 2 cos sin ) + (cos , sin , 0).
Poslednja jednacina pokazuje da je Z-osa generatrisa a krug (cos , sin ) direktrisa Plikerovog
konoida koja prolazi kroz Z-osu.
Moze se definisati i generalizacija Plikerovog konoida koji ce imati n nabora umesto dva
(Slika 1.8):
r(n)(, ) = ( cos , sin , sin n).
U R3 U FUNKCIJI KRIVINA
GLAVA 1. OBLIK POVRSI
elibrary.matf.bg.ac.rs
26
Slika 1.8: Plikerov konoid dat parametarski (prva) i preko polarnih koordinata sa 2 i 6 nabora (druga
i treca)
Primer 1.3.3. Mobijusova traka (August Ferdinand Mobius, 1790-1868, nemacki matematicar
i astronom) je povrs data parametarskom jednacinom:
r(a)(u, v) = a(cos u + v cos
u
u
u
cos u, sin u + v cos sin u, v sin ),
2
2
2
sa generatrisom u (cos u, sin u, 0) i direktrisom u a(cos u2 cos u, cos u2 sin u, sin u2 ) koja predstavlja krivu na sferi poluprecnika a (Slika 1.9). Kako Gausova krivina Mobijusove trake nije
nikad nula, to pokazuje da ova parametrizacija nije lokalno izometrijska Mobijusovoj traci kada
se ona razvije napravljena od papira.
1.3.2
Gaudijeve povr
si
Antoni Gaudi (Antoni Placid Guillem Gaud i Cornet, 1852-1926) bio je brilijantan katalonski arhitekta, matematicar i umetnik. Studirao je arhitekturu sa velikim akcentom na
matematiku, posebno na racun i nacrtnu geometriju. Gaudijeva povrs je pravolinijska povrs i
predstavlja sinusoidni konoid.
Definicija 1.3.3. Gaudijeva povrs [25] ili sinusoidni konoid je povrs neparametarski definisana
27
elibrary.matf.bg.ac.rs
y
,
a
(1.3.60)
(1.3.61)
Za razlicite vrednosti konstnti a, k dobijaju se razliciti oblici Gaudijevih povrsi (Slika 1.10).
Pravci ove pravolinijske povrsi su asimptotske krive (Slika 1.11).
1.3.3
Razvojne povr
si
Posmatrajuci mnostvo razlicitih vrsta povrsi u matematici, razvojne povrsi cine uporedivo
mali podskup. One predstavljaju posebnu klasu pravolinijskih povrsi. Razvojne povrsi su
pravolinijske povrsi nulte Gausove krivine, pa se mogu transformisati u ravan a da pri tom
duzina proizvoljne krive na povrsi ostaje ista. Tacnije, ove povrsi dobijene spajanjem gotovo
neelasticnih materijala mogu se razviti u ravan bez istezanja i cepanja. Upravo je to razlog
njihove siroke primene u mnogim sferama inzenjerstva i proizvodnje.
Prirodno se namecu sledece denicije razvojne povrsi.
Definicija 1.3.4. Razvojna povrs je povrs nulte Gausove krivine.
Definicija 1.3.5. Neka je S R3 povrs. Tada vazi:
U R3 U FUNKCIJI KRIVINA
GLAVA 1. OBLIK POVRSI
elibrary.matf.bg.ac.rs
28
1
10 , a
= 6) redom
elibrary.matf.bg.ac.rs
29
U R3 U FUNKCIJI KRIVINA
GLAVA 1. OBLIK POVRSI
30
1. S je tangentna povr
s krive : (a, b) R3 , ako S ima parametrizaciju
2. S je cilindri
cna povr
s nad krivom : (a, b) R3 , ako S ima parametrizaciju
y(u, v) = (u) + vq ,
gde je q R3 fiksna tacka;
3. S je konusna povr
s nad krivom : (a, b) R3 , ako S ima parametrizaciju
z(u, v) = p + v(u) ,
gde je p R3 fiksna tacka. Tacka p je vrh konusa.
elibrary.matf.bg.ac.rs
31
Takode se razvojna povrs moze denisati i kao obvojnica oskulatornih ravni prostorne krive.
Tangente se u tom slucaju mogu posmatrati kao konekcione linije dve susedne tacke ali i kao
preseci dve susedne oskulatorne ravni.
Tangentna povrsi krive se sastoji od ravni koja se pomera, pa se namece jos jedna denicija
razvojne povrsi kao povrsi kod koje su tangentne ravni po generatrisi identicne.
1.4
Vec je bilo pomenuto da operator oblika opisuje kako se normala povrsi menja krecuci se
po samoj povrsi. U principu, sve sto bi mogli da saznamo o krivinama povrsi je zakljucano u
operatoru oblika. Da bi sve to otkrili, krenucemo od parametrizacije Gaudijeve povrsi (1.3.61)
u slucaju k = a = 1:
r(u, v) = (u, v, u sin v) .
(1.4.62)
elibrary.matf.bg.ac.rs
(1.4.63)
U R3 U FUNKCIJI KRIVINA
GLAVA 1. OBLIK POVRSI
32
E = 1 + sin2 v,
cos v
M=
,
1 + u2 cos2 v + sin2 v
G = 1 + u2 cos2 v,
N =
u sin v
1 + u2 cos2 v + sin2 v
(1.4.64)
. (1.4.65)
Tada je prema (1.2.23) operator oblika date Gaudjieve povrsi u matricnom obliku jednak:
(
)
1
u cos2 v sin v cos v(1 + sin2 v)
S=
,
(1.4.66)
3
(1 + u2 ) cos v
2u sin v
(1 + u2 cos2 v + sin2 v) 2
i vizuelno prikazan na Slici 1.14.
elibrary.matf.bg.ac.rs
L = 0,
F = u sin v cos v,
=
=
3
sin t s
2u0 sin v0
sin t s
(1 + u20 ) cos v0
(g0 ) 2
) (
)
(
(1.4.67)
1
cos t
u0 cos2 v0 sin v0 cos t + cos v0 (1 + sin2 v0 ) sin t
=
=
3
2
sin t s
(1 + u0 ) cos v0 cos t 2u0 sin v0 sin t
(g0 ) 2
)
(
1
2
2
2
2
2
=
u0 cos v0 sin v0 cos t + cos v0 (2 + sin v0 + u0 ) sin t cos t 2u0 sin v0 sin t ,
3
(g0 ) 2
1.4. PRIMER KRIVINA I FUNKCIJA KRIVINA GAUDIJEVE POVRSI
33
gde je
2 + u20
3
(1 + u20 ) 2
sin t cos t ,
i imace oblik kao na Slici 1.15, gde se za razlicite vrednosti u0 menja samo amplituda
funkcije.
elibrary.matf.bg.ac.rs
k1,2 = H H 2 K ,
(1.4.68)
zamenom vrednosti i sredivanjem izraza mozemo dobiti glavne krivine Gaudijeve povrsi
(1.4.62). Najpre vazi da je:
(
)
4u2 + cos2 v 4 + sin2 v(4 + u2 cos2 v)
2
H K =
,
(1.4.69)
4(1 + u2 cos2 v + sin2 v)3
pa je vrednost kvadratnog korena:
(
)
4u2 + cos2 v 4 + sin2 v(4 + u2 cos2 v)
H2 K =
.
3
2(1 + u2 cos2 v + sin2 v) 2
(1.4.70)
U R3 U FUNKCIJI KRIVINA
GLAVA 1. OBLIK POVRSI
Glavne krivine Gaudijeve povrsi (k = a = 1) bice jednake:
(
)
u sin v(2 + cos2 v) 4u2 + cos2 v 4 + sin2 v(4 + u2 cos2 v)
k1,2 =
.
3
2(1 + u2 cos2 v + sin2 v) 2
(1.4.71)
elibrary.matf.bg.ac.rs
34
cos2 v
.
(1 + u2 cos2 v + sin2 v)2
(1.4.72)
Gausovu krivinu mozemo vizuelno prikazati, zatim obojiti povrs u funkciji Gausove krivine i prikazati Gausovu krivinu koristeci periodicnu funkciju Hue iz programskog paketa
Mathematica, (Slika 1.16).
(1.4.73)
Srednju krivinu takode mozemo vizuelno prikazati, zatim obojiti povrs u funkciji srednje
krivine i prikazati srednju krivinu koristeci periodicnu funkciju Hue iz programskog paketa
Mathematica, (Slika 1.17).
35
elibrary.matf.bg.ac.rs
(1.4.74)
Vilmorovu energiju Gaudijeve povrsi (1.4.62) mozemo vizuelno prikazati u funkciji koordinata tacke povrsi i prikazati Vilmorovu energiju preko periodicne funkcije Hue (Slika
1.18):
Vilmorovu energiju mozemo posmatrati i u opstem slucaju Gaudijeve povrsi. U slucaju
proizvoljnih vrednosti konstanti a i k, Gausova krivina je takode nepozitivna:
a2 k 2 cos2
K(p) = (
a2
a2 k 2
sin2 av
v
a
k 2 u2
cos2 av
)2 .
(1.4.75)
v
a
cos2 av )
ku sin 1 + k (1 +
(
)3 .
2 v
v 2
2
2
2
2
2
2
2a a + a k sin a + k u cos a
(1.4.76)
Koristeci ove izraze mozemo izracunati Vilmorovu energiju u tacki proizvoljne Gaudijeve
U R3 U FUNKCIJI KRIVINA
GLAVA 1. OBLIK POVRSI
elibrary.matf.bg.ac.rs
36
povrsi:
k2
)3
4a2 a2 + a2 k 2 sin2 av + k 2 u2 cos2 av
(1.4.77)
(
(
)
(
)2
v
v
v
v
v
1 + k 2 (1 + cos2 ) + 4a4 k 2 cos2
a2 + a2 k 2 sin2 + k 2 u2 cos2
.
u2 sin2
a
a
a
a
a
W (p) =
1
, n .
n
elibrary.matf.bg.ac.rs
Glava 2
Koristeci tenzorski racun, u ovoj glavi najpre cemo denisati osnovne pojmove i tvrdenja
teorije innitezimalnih deformacija i specijalno, innitezimalnih savijanja, sledeci ispitivanja
N. V. Jemova [23] (Nikolai Vladimirovich Emov, 1910-1982, ruski matematicar), I. Vekua
[69] (Ilia Vekua, 1907-1977, gruzijski matematicar), S. Kon-Fosena [14] (Stephan Cohn-Vossen,
c) Najdanovic
1902-1936, nemacki matematicar), Lj. S. Velimirovic [70], [71], [81] i M. (Ciri
[17] (Marija Najdanovic, srpski matematicar). Potom cemo analizirati Vilmorovu energiju usled
innitezimalnih deformacija, zatim odrediti polje innitezimalnih savijanja Gaudijeve povrsi.
Posmatracemo i varijaciju nekih geometrijskih velicina usled innitezimalnih savijanja povrsi
kao sto su varijacija operatora oblika, normalne krivine, glavnih krivina, Gausove i srednje
krivine i Vilmorove energije. Na primeru Gaudijeve povrsi izracunacemo varijaciju operatora
oblika usled innitezimalnog savijanja te povrsi i svih navedenih krivina i funkcija krivina.
Osnovni pojmovi tenzorskog racuna u radu, kao i koriscena notacija zasnovani su na knjigama
L. P. Ajzenharta [22] (Luther Pfahler Eisenhart, 1876-1965, americki matematicar), S. M.
Mincica i Lj. S. Velimirovic [48], [49].
2.1
(u1 , u2 ) D R2 ,
(2.1.1)
gde cemo umesto standardnih oznaka parametara u i v, radi kraceg zapisa koristiti oznake u1
i u2 .
37
38
r : D (1, 1) R3 ,
naziva se deformacija povr
si S, ako se povrs S dobija za = 0.
Definicija 2.1.2. Neka je S deformacija povrsi S date jednacinom (2.1.1). Ako je:
(1)
(2)
(m)
elibrary.matf.bg.ac.rs
S : r(u1 , u2 , ) = r (u1 , u2 ),
(2.1.3)
(2.1.4)
Takode, mozemo izvodni vektor polja z predstaviti preko vektora pokretnog triedra. Naime,
j
z
ako jednacinu (2.1.3) diferenciramo po ui , i = 1, 2, i oznacimo z
= zi , z
= z j ,i , u
i = z,i ,
i
ui
imacemo:
zi = z j ,i rj + z j rj,i + z,i + z i = z j ,i rj + z j (pij rp + bij ) + z,i + z(bpi rp ),
posle primene derivacionih formula prve i druge vrste. Vrseci potrebne izmene nemih indeksa
dobijamo:
zi = (z p ,i + z j pij zbpi )rp + (z p bip + z,i ) ,
sto se, koristeci pojam kovarijantnog izvoda ;, moze napisati u obliku:
zi = (z p ;i zbpi )rp + (z p bip + z,i ) .
(2.1.5)
2.1. OSNOVNI POJMOVI TEORIJE INFINITEZIMALNIH DEFORMACIJA POVRSI
(2.1.6)
Tada koeficijenti A, 2 A, . . . , n A, . . . predstavljaju prvu, drugu, ..., n-tu varijaciju geometrijske velicine A, respektivno, pri infinitezimalnoj deformaciji S povrsi S.
U ovom radu razmatracemo prvu varijaciju pri innitezimalnim deformacijama prvog reda.
U tom cilju, mozemo predstaviti velicinu A na sledeci nacin:
elibrary.matf.bg.ac.rs
2.1.1
39
A = A + A,
zanemarujuci clanove koji stoje uz n , n 2.
Za prvu varijaciju vazi formula:
d 1 2
A(u , u , ) =0 ,
d
(2.1.7)
1 , u2 , ) A(u1 , u2 )
A
A(u
= lim
.
0
0
(2.1.8)
A =
odnosno,
A = lim
U [71] je pokazano da vazi:
a) (AB) = AB + BA ,
b)
( A )
ui
(A)
.
ui
(2.1.9)
(u1 , u2 ) D R2
(2.1.10)
(2.1.11)
40
2
U radu [17] je pokazano da za determinantu prve kvadratne forme povrsi g = g11 g22 g12
,
posle deformisanja povrsi vazi:
(2.1.13)
elibrary.matf.bg.ac.rs
(2.1.14)
Za srednju krivinu:
1
H = bii ,
2
(2.1.15)
= H + H = 1 (bi + bi ) ,
H
i
2 i
(2.1.16)
= H + H = H + 1 (z p bi + g pi z;pi + zbi bp ) .
H
i;p
p i
2
(2.1.17)
1
K = (bii bjj bij bji ) ,
2
(2.1.18)
to jest,
Gausova krivina:
2.1. OSNOVNI POJMOVI TEORIJE INFINITEZIMALNIH DEFORMACIJA POVRSI
W =
(2.1.20)
elibrary.matf.bg.ac.rs
2.1.2
41
= W + W =
W
(2.1.21)
=
W
D
=
[f (H, K) + (
D
f
f
g
H +
K)]g 1/2 (1 +
)=
[f (H, K) + (
H
K
2g
D
=
f
f
g 1/2
H +
K)]g 1/2 (1 +
) =
H
K
g
[f (H, K) + (
(2.1.22)
f
f
g
H +
K + f (H, K) )]g 1/2 du1 du2 ,
H
K
2g
W =
[
D
f
f
g
H +
K + f (H, K) ]g 1/2 du1 du2 .
H
K
2g
(2.1.23)
g
W =
[2HH K + (H 2 K) ]g 1/2 du1 du2 =
2g
D
1
=
{ bii (z i bjj;i + g ij z;ij + zbij bji ) z p (bii bjj;p bij bji;p ) z;ij (g ij bpp g ip bjp )
2
D
1
1
z(bii bjp bpj bij bjp bpi ) + [ bii bjj (bii bjj bji bij )](z;ii zbii )}g 1/2 du1 du2 =
4
2
1 j p i
1 i jp
1 i j p 1 j p
1
= { (bj bp z );i + bi g z;jp + zbi (bp bj bj bp ) [z i (bjj bpp bjp bpj )];i
4
2
2
2
2
(2.1.24)
z
z;ij (g ij bpp g ip bjp ) (3bii bjp bpj 2bij bjp bpi bii bjj bpp )}g 1/2 du1 du2 ,
2
elibrary.matf.bg.ac.rs
42
z p ij
1
W =
[bp;ij g + bpp (bij bji bii bjj )]g 1/2 du1 du2 +
2
2
D
cij 1 i p q
+
[ z bp bq + bpp g iq z;q bpp;q g iq z z i (bpp bqq bpq bqp )
2
2
C
duj
2z;q (g ip bqq g iq bpp )](
) ds .
ds
(2.1.25)
Takode, u [17] je pokazano da ce povrsinski integral (2.1.26) biti jednak nuli za svako z ako
vazi:
1
bpp;ij g ij + bpp (bij bji bii bjj ) = 0 .
2
(2.1.27)
2.2. INFINITEZIMALNO SAVIJANJE POVRSI
43
H;ij g ij + 2H(H 2 K) = 0 .
(2.1.28)
(2.1.29)
elibrary.matf.bg.ac.rs
Ovo je jednacina povrsi koje imaju stacionarnu vrednost Vilmorove energije pri innitezimalnim deformacijama i predstavlja diferencijalnu jednacinu cetvrtog reda. Moze se izraziti
preko srednje i Gausove krivine na sledeci nacin:
2.2
(2.2.30)
tj. ako je razlika kvadrata linijskih elemenata beskonacno mala (infinitezimalna) velicina reda
(i)
viseg od m u odnosu na . Vektorsko polje z (u1 , u2 ) u (2.1.2) je polje brzina ili polje infinitezimalnog savijanja reda i, i = 1, ..., m.
44
Teorema 2.2.1. [71] Pri infinitezimalnom savijanju reda m duzina svake glatke linije ostaje
nepromenjena s uzetom tacnoscu, tj. promena duzine glatke linije na S je beskonacno mala
velicina reda viseg od m u odnosu na ( 0).
U ovom radu posmatrana su innitezimalna savijanja prvog reda.
Posmatrajmo innitezimalno savijanje povrsi S,
S : r(u1 , u2 , ) = r (u1 , u2 ) = r(u1 , u2 ) + z(u1 , u2 ) .
(2.2.31)
elibrary.matf.bg.ac.rs
(2.2.32)
r1 z2 + r2 z1 = 0 ,
r2 z2 = 0 .
(2.2.33)
sto izrazava cinjenicu da je z polje brzine pri kretanju tacke povrsi prilikom deformacije (uzevsi
da je vreme).
Teorema 2.2.3. [69], [70] Neka je s = s() duzina luka krive C na povrsi S . Potreban i
dovoljan uslov za infinitezimalno savijanje povrsi S = S0 je:
s
=0,
(2.2.34)
=0
to jest, da je brzina promene duzine luka u pocetnom momentu deformacije jednaka nuli.
Definicija 2.2.2. Polje savijanja je trivijalno, to jest, predstavlja polje kretanja povrsi kao
krutog tela bez unutrasnjih deformacija, ako se moze predstaviti u obliku:
z=ar+b,
(2.2.35)
2.2. INFINITEZIMALNO SAVIJANJE POVRSI
45
(2.2.36)
odnosno,
z1 = y r 1 ,
z2 = y r2 .
(2.2.37)
Definicija 2.2.4. Vektorsko polje y za koje vazi jednacina (2.2.36), odnosno, (2.2.37), zove se
polje rotacija povrsi pri infinitezimalnom savijanju odredenom poljem z.
elibrary.matf.bg.ac.rs
Definicija 2.2.3. Povrs je kruta ako ne dopusta netrivijalna polja savijanja, u suprotnom
povrs je nekruta ili fleksibilna.
Mozemo dati geometrijsku interpretaciju polja rotacija: y(u0 , v0 ) je vektor rotacije krutog
tela pridruzenog povrsi S u tacki r(u0 , vo ) prilikom savijanja. Kao rezultat innitezimalnog
savijanja povrsi, svi njeni elementi trpe rotaciju sa vektorom rotacije y.
Takode je moguce posmatrati parametarsku povrs Y odredenu krajevima vektora rotacije
y(u1 , u2 ), ako se svi vektori y uzmu sa pocetkom u koordinatnom pocetku. U tom slucaju Y
se naziva nepostojana povrs (instability surface) innitezimalnog savijanja, odnosno, indikatrisa rotacije povrsi S.
Za polje rotacija vazi sledeca teorema:
Teorema 2.2.5. [23] Za povrs r = r(u1 , u2 ) izvodni vektori y1 = y,1 , y1 = y,2 dati su
jednacinama:
y1 = r1 + r2 , y2 = r1 r2 ,
(2.2.38)
gde skalarne funkcije , , zadovoljavaju sistem jednacina:
b11 2b12 b22 = 0 ,
,2 ,1 = 111 2112 122 ,
,1 + ,2 = 211 2212 222 ,
(2.2.39)
46
elibrary.matf.bg.ac.rs
s=zyr,
(2.2.41)
(2.2.42)
zj;i bij z = 0 ,
(2.2.43)
odakle sledi:
(2.2.44)
(i, j = 1, 2).
(2.2.45)
Dakle, vazi:
Teorema 2.2.6. [69], [70] Potreban i dovoljan uslov da polje (2.1.3) bude polje infinitezimalnog
savijanja povrsi S (2.1.1), jeste da za koordinate zi , z vaze jednacine (2.2.45).
Sistem jednacina (2.2.45), koji ocigledno predstavlja koordinatno zapisanu jednacinu (2.2.32),
naziva se kinematicki sistem jednacina ili sistem jednacina polja innitezimalnog savijanja. To
je sistem od tri jednacine za nepoznate funkcije z1 , z2 , z od argumenata u1 , u2 .
2.2. INFINITEZIMALNO SAVIJANJE POVRSI
47
(2.2.46)
Posto je srednja krivina povrsi data jednacinom H = 12 bii , uporedivanjem sa (2.2.46) dobijamo:
z=
1 i
z ;i .
2H
(2.2.47)
1 [ z p (ln g) p ]
z=
+
z .
2H up
up
(2.2.48)
1 p
z ;p = 0, ili
Zamenom (2.2.47) u (2.2.44), dobijamo zi;j bij 2H
elibrary.matf.bg.ac.rs
bij z p ;p 2Hzi;j = 0 ,
(2.2.49)
(i, j = 1, 2).
(2.2.50)
(2.2.51)
(2.2.52)
Mozemo pisati:
ri rj = cij ,
(2.2.53)
g
g
1
1
= [(rj r2 )r1 (rj r1 )r2 ] = (gj2 r1 gj1 r2 ) =
g
g
p2
= g(g rp g p1 rp ) = c12 g p2 rp + c21 g p1 rp .
rj =
(2.2.54)
48
(2.2.55)
(2.2.56)
(2.2.57)
elibrary.matf.bg.ac.rs
2.2.1
Gaudijeve povr
si pri infinitezimalnom savijanju
Teorija innitezimalnih savijanja povrsi ima osnovni zadatak da odreduje netrivijalna polja
savijanja, uz uslov (2.2.32). Ovde cemo ispitati krutost Gaudijevih povrsi, tj. pronaci odgovarajuce polje savijanja, kao u radu [91], gde cemo sada koristiti oznake u = u1 , v = u2 .
Vektorska jednacina Gaudijeve povrsi je:
v
r(u, v) = (u, v, ku sin ),
c
(u = x, v = y),
(2.2.58)
odnosno,
v
r = ui + vj + ku sin k,
c
gde su i, j, k ortovi u pravcu Dekartovih osa.
Kristofelovi simboli ove povrsi su:
112 = 121 =
111 = 211 = 0 ,
212 = 221 =
1 k2
v
v
sin cos ,
g c
c
c
1 k2
v
u cos2 ,
2
gc
c
222 =
122 =
1 k2
v
u sin2 ,
2
gc
c
v
1 k2 2
v
u sin cos ,
3
gc
c
c
gde je g = 1 + k 2 sin2 vc + kc2 u2 cos2 vc determinanta koecijenata prve kvadratne forme date
povrsi. Koecijenti druge kvardatne forme su:
b11 = 0 ,
1 k
v
cos ,
b12 = b21 =
gc
c
1 k
v
b22 = 2 u sin .
gc
c
2.2. INFINITEZIMALNO SAVIJANJE POVRSI
49
u + v = 2
(2.2.59)
v
v
1 k2
1 k2
2 v
sin cos +
u
sin
,
g c
c
c
g c2
c
(2.2.60)
1 k2 2
v
v
1 k2
2 v
u
cos
+
u sin cos .
2
3
gc
c
gc
c
c
(2.2.61)
v u = 2
elibrary.matf.bg.ac.rs
v
1 k
v
1 k
cos + 2 u sin = 0 ,
2
gc
c
gc
c
u
v
tan ,
2c
c
v =
c
+ ck .
2
(2.2.62)
Zamenom (2.2.62) u (2.2.61), dobijamo kvazi linearnu parcijalnu diferencijalnu jednacinu nepoznate funkcije :
u
v
1
v
tan u + v = tan .
(2.2.63)
2c
c
2c
c
Sistem karakteristika ove jednacine je:
u
2c
du
d
dv
= 1
.
v =
1 2c tan vc
tan c
(2.2.64)
Iz jednacina:
u
2c
du
dv
,
v =
tan c
1
dv
d
= 1
,
1 2c tan vc
(2.2.65)
2
= c2 ,
cos vc
(2.2.66)
(2.2.67)
elibrary.matf.bg.ac.rs
50
(
u
1
u
v )
=
+
tan
v du + (v) ,
2c2 cos2 vc
2c
c
(2.2.69)
v 1
v
ku
v)
3ku
2
2 v
tan , ln(u | cos |),
cos ,
(sin + 1) +
c
c 2
c 2c cos vc
c
2c
c
(u
2.3. VARIJACIJA GEOMETRIJSKIH VELICINA
PRI INFINITEZIMALNIM SAVIJANJIMA51
elibrary.matf.bg.ac.rs
2.3
Moze se zakljuciti da je varijacija koecijenata prve kvadratne forme povrsi, kao i varijacija determinante prve kvadratne forme jednaka nuli pri innitezimalnom savijanju povrsi
(uporedivanjem jednacine (2.3.93) sa (2.2.45) i (2.2.46)). Zbog toga je varijacija geometrijskih
velicina koje zavise od koecijenata prve kvadratne forme povrsi, to jest, objekata unutrasnje
geometrije povrsi, jednaka nuli pri innitezimalnom savijanju. Na primer, Kristofelovi simboli, prva kvadratna forma, determinanata prve i druge kvadratne forme, duzina luka krive,
uglovi izmedu krivih na povrsi, povrsina oblasti na povrsi, Gausova i geodezijska krivina, ostaju
stacionarni pri innitezimalnom savijanju povrsi ([69], [71]).
Varijacijom geometrijskih velicina bavili su se mnogi matematicari, a mnogi je jos uvek
istrazuju. Ova tema razmatrana je u radovima: [3], [4], [5], [6], [17], [69], [71], [74], [87], [88],
[89], [91].
U ovom poglavlju izrazicemo varijaciju operatora oblika, normalne krivine, glavnih krivina,
Gausove i srednje krivine i Vilmorove energije, usled innitezimalnog savijanja povrsi. Na
primeru Gaudijeve povrsi izracunacemo varijaciju svih navedenih velicina usled innitezimalnog
savijanja te povrsi.
Neka je S regularna povrs data parametrizacijom:
r(u, v) = (u, v, f (u, v)) ,
(2.3.70)
(2.3.71)
v + u = fv u fu v ,
v = fv v ,
(2.3.72)
Koristeci standardni racun diferencijalne geometrije [39], mozemo dobiti koecijente prve i
druge kvadratne forme (kao u [17]) povrsi S :
S : r(u, v, ) = r(u, v) + z(u, v) =
= (u + (u, v), v + (u, v), f (u, v) + (u, v)) .
(2.3.73)
Dobija se da je:
E =ru ru = 1 + fu2 + 2 (u2 + u2 + u2 ) ,
F =ru rv = fu fv + 2 ( v + u v + u v ) ,
u
=rv rv = 1 + f 2 + 2 ( 2 + 2 + 2 ) ,
G
v
v
v
v
(2.3.74)
(2.3.75)
F 2 = 1 + f 2 + f 2 + 2 . . . + 4 . . . .
g = E G
u
v
Iz jednakosti (2.3.73) dobija se:
ru = (1 + u , u , fu + u ) ,
rv = (v , 1 + v , fv + v ) .
(2.3.76)
elibrary.matf.bg.ac.rs
52
ru = (u , u , u ) = zu ,
rv = (v , v , v ) = zv .
2.3.1
(2.3.77)
Kako je operator oblika funkcija koecijenata prve i druge kvadratne forme, (vidi (1.2.17),
odnosno, (1.2.23)), koristeci (2.3.74) i (2.3.75), mozemo izraziti njegovu varijaciju usled innitezimalnog savijanja povrsi. Izrazicemo, najpre, koecijenate a
ij povrsi S .
F L
G
M
,
g
F M
E
L
=
,
g
F M
G
N
=
,
g
F N
E
M
=
.
g
(2.3.78)
a
ij aij
,
0
(2.3.79)
a
11 =
a
12
a
21
a
22
Varijacija koecijenata aij , koristeci:
aij = lim
2.3. VARIJACIJA GEOMETRIJSKIH VELICINA
PRI INFINITEZIMALNIM SAVIJANJIMA53
bice u obliku:
a12 =
a21 =
a22 =
(2.3.80)
Primenjujuci pravilo varijacije proizvoda (2.1.9) pod a), dobijamo varijaciju operatora oblika:
elibrary.matf.bg.ac.rs
a11 =
uv fu fv uu (1 + fv2 )
,
1 + fu2 + fv2
uu fu fv uv (1 + fu2 )
,
1 + fu2 + fv2
vv fu fv uv (1 + fv2 )
,
1 + fu2 + fv2
uv fu fv vv (1 + fu2 )
.
1 + fu2 + fv2
)
1 (
S(ru ) = (uu (1 + fv2 ) uv fu fv )ru + (uv (1 + fu2 ) uu fu fv )rv +
g
)
1(
+ 3 (fuu (1 + fv2 ) fuv fu fv )zu + (fuv (1 + fu2 ) fuu fu fv )zv ,
g2
)
1 (
2
2
S(rv ) = (uv (1 + fv ) vv fu fv )ru + (vv (1 + fu ) uv fu fv )rv +
g
)
1(
2
2
+ 3 (fuv (1 + fv ) fvv fu fv )zu + (fvv (1 + fu ) fuv fu fv )zv ,
g2
(2.3.81)
54
fuu = 0,
fuv = 1,
u = 1,
uu = 0,
fvv = 0,
v = 1,
uv = 0,
vv = 0,
(2.3.82)
gde je g = 1 + u2 + v 2 .
elibrary.matf.bg.ac.rs
Ako izracunamo parcijalne izvode prve i druge vrste funkcije f i polja savijanja z, odnosno,
njegove trece kooordinate :
fu = v,
fv = u,
2.3.2
M = uv g,
N = vv g.
(2.3.83)
L = uu g,
Dokaz. Koristeci da su koecijenti druge kvadratne forme povrsi (2.3.73) dati izrazom (2.3.75),
i da se varijacija velicina odreduje po formuli (2.1.8), dolazi se do izraza (2.3.83).
Otuda je varijacija normalne krivine jednaka:
kn (t) =
(2.3.84)
2.3. VARIJACIJA GEOMETRIJSKIH VELICINA
PRI INFINITEZIMALNIM SAVIJANJIMA55
elibrary.matf.bg.ac.rs
Teorema 2.3.4. Varijacija normalne krivine povrsi (2.3.70) usled infinitezimalnog savijanja
(2.3.73) data je jednacinom (2.3.84).
u = 1,
uu = 0,
v = 1,
uv = 0,
vv = 0.
Kako su parcijalni izvodi drugog reda trece koordinate polja savijanja z(u, v) jednaki nuli,
to je varijacija normalne krivine hiperbolickog paraboloida jednaka nuli:
kn (t) = 0.
2.3.3
= E N 2F M + GL ,
H
F 2 )
2(E G
pa je varijacija srednje krivine, data u radu [17], jednaka:
(1 + fu2 )vv 2fu fv uv + (1 + fv2 )uu
.
H =
2 1 + fu2 + fv2
(2.3.85)
Teorema 2.3.6. Varijacija srednje krivine povrsi (2.3.70) usled infinitezimalnog savijanja (2.3.73)
data je jednacinom (2.3.85).
56
Koristeci da se glavne krivine mogu izraziti preko Gausove i srednje krivine, (jednacina
(1.2.51)),
k1,2 = H H 2 K ,
to se varijacija glavnih krivina moze odrediti primenom sledece leme, sto je pokazano u radu
[15]:
Lema 2.3.7. Varijacija glavnih krivina usled infinitezimalnog savijanja povrsi, izrazena preko
Gausove i srednje krivine jednaka je:
k1,2
elibrary.matf.bg.ac.rs
2.3.4
H2 K H
= H
.
H2 K
(2.3.86)
Dokaz. Kako je varijacija Gausove krivine jednaka nuli, koristeci (2.1.7) i pravila diferenciranja
kvadratnog korena funkcije, dolazi se do izraza:
HH
.
k1,2 = H
H2 K
Sredivanjem poslednjeg izraza dolazi se do oblika (2.3.86).
Ukoliko Gausovu i srednju krivinu izrazimo preko koecijenata prve i druge kvadratne forme
i primenimo varijaciju srednje krivine, dolazimo do varijacije glavnih krivina, to jest, vazi sledeca
teorema:
Teorema 2.3.8. Varijacija glavnih krivina povrsi (2.3.70) usled infinitezimalnog savijanja
(2.3.73) data je jednacinom:
k1,2
AB
= H
,
A
(2.3.87)
gde je
)
)(
)2
(
(
A = fuu (1 + fv2 ) fvv (1 + fu2 ) + 4 fuv (1 + fv2 ) fvv fu fv fuv (1 + fu2 ) fuu fu fv ,
B = fuu (1 + fv2 ) 2fuv fu fv + fvv (1 + fu2 ) ,
(2.3.88)
a H je dato jednacinom (2.3.85).
Dokaz. Ako u jednacini (2.3.86) izrazimo Gausovu i srednju krivinu preko koecijenata prve
i druge kvadratne forme povrsi, dobija se da je:
1
(LG N E)2 + 4(M G F N )(M E F L) .
=
2(EG F 2 )
Ako zamenimo da je:
H=
elibrary.matf.bg.ac.rs
LG 2M F + N E
,
2(EG F 2 )
=
.
H2 K
(LG N E)2 + 4(M G F N )(M E F L)
(2.3.90)
Izrazavajuci koecijente prve i druge kvadratne forme povrsi (2.3.70) i njenu varijaciju srednje krivine (2.3.85), dobija se izraz (2.3.87).
Iz izraza (2.3.87), dobijamo direktnu posledicu Teoreme 2.3.8:
Posledica 2.3.9. Varijacija glavnih krivina povrsi (2.3.70) usled infinitezimalnog savijanja
(2.3.73), bice jednaka nuli ako je varijacija srednje krivine povrsi jednaka nuli.
2.3.5
U radu [87] smo razmatrali varijaciju Vilmorove energije u tacki povrsi i varijaciju Vilmorove
energije povrsi usled innitezimalnog savijanja povrsi.
Vilmorova energija u tacki povrsi p S denisana je jednacinom (1.2.53):
W (p) = H(p)2 K(p) ,
pa ce varijacija Vilmorove energije u tacki biti u obliku:
W (p) = 2H(p)H(p) ,
(2.3.91)
58
elibrary.matf.bg.ac.rs
Dokaz. Na osnovu jednacine (1.2.53), obzirom da je varijacija Gausove krivine jednaka nuli,
sledi da je:
(2.3.93)
(2.3.94)
(2.3.95)
(2.3.96)
a = 1 + g 2 ,
(2.3.97)
gde je g = 1 + fu2 + fv2 determinanta prve kvadratne forme povrsi (2.3.70).
U tom slucaju vazice sledece teoreme:
Teorema 2.3.11. Varijacija Vilmorove energije u tacki povrsi (2.3.70) usled infinitezimalnog
savijanja (2.3.73) data je jednacinom:
W (u, v) =
(a b)(a c)
,
2(a2 1)
(2.3.98)
(2.3.99)
2.3. VARIJACIJA GEOMETRIJSKIH VELICINA
PRI INFINITEZIMALNIM SAVIJANJIMA59
W = 0 (a b)(a c) = 0
ab cos(a, b)ac cos(a, c) = 0
a2 bc(cos(b, c) sin(a, b) sin(a, c)) = 0
a2 (b c bc sin(a, b) sin(a, c)) = 0
b c = bc sin(a, b) sin(a, c) ,
(2.3.100)
elibrary.matf.bg.ac.rs
Dokaz.
Napomena 2.3.1. Norma vektora b odreduje, takozvanu energiju deformacije tanke elasticne
ploce, i data je u obliku:
2
2
2
= b2 = fuu
+ 2fuv
+ fvv
.
Ocigledno, prema (2.3.96) i (2.3.101), vazi da je:
= 2(fuu + fvv )(uu + vv ) ,
povrsi (2.3.70) usled infinitezimalnog savijanja (2.3.73).
Ako posmatramo Vilmorovu energiju povrsi, denisanu jednacinom (1.2.54), varijacija Vilmorove energije povrsi (2.3.70) usled innitezimalnog savijanja (2.3.73) data je u istom radu
[87], odnosno, dokazana je sledeca teorema:
Teorema 2.3.14. Za svaku kompaktnu, orijentisanu, put-povezanu, glatku povrs S u R3 i njeno
polje infinitezimalnog savijanja z, varijacija Vilmorove energije povrsi S je jednaka:
gde je H() srednja krivina u proizvoljnoj tacki S, m(x) vektor definisan izrazom:
m(x) = n (x) n(x) ,
a n(x) jedinicni vektor normale povrsi S.
(2.3.103)
60
2.4
elibrary.matf.bg.ac.rs
2.4. VARIJACIJA KRIVINA I FUNKCIJA KRIVINA GAUDIJEVE POVRSI
61
fuu = 0,
fv = u cos v,
fuv = cos v,
fvv = u sin v.
elibrary.matf.bg.ac.rs
fu = sin v,
sin v + c1 ,
4
1 sin v
2
)
(
)
1
2u2 cos v + c2 , u 1 log(u2 cos3 v) + c3 .
2
Tada je:
1
1
3
log(u2 cos3 v)
,
v =
u tan v ,
2
ln 10
2 ln 10
u
3
3
1
,
uv =
tan v ,
vv =
=
.
u ln 10
2 ln 10
2 ln 10 cos2 v
u = 1
uu
g
1
3 u
( cos2 t + 3 tan v sin t cos t +
sin2 t) ,
(2.4.105)
kn (t) =
2
ln 10 u
2 cos v
gde je g = 1 + sin2 v + u2 cos2 v.
62
uv =
3
tan v ,
2 ln 10
vv =
3
u
,
2 ln 10 cos2 v
u izraz (2.3.84), dobija se varijacija normalne krivine Gaudijeve povrsi (a = k = 1), date
jednacinom (2.4.105).
elibrary.matf.bg.ac.rs
uu =
,
2 1 + fu2 + fv2
H =
.
(2.4.106)
4 ln 10 u cos2 v 1 + sin2 v + u2 cos2 v
(
)
2
2
2
2
2
2
(2 cos v) 2u + cos v(2u + u cos v + 4) u sin v(cos2 v + 2)
k1,2 = H
, (2.4.107)
(
)
2
2
2
2
2
2
(2 cos v) 2u + cos v(2u + u cos v + 4)
gde je H varijacija srednje krivine Gaudijeve povrsi data jednacinom (2.4.106).
2.4. VARIJACIJA KRIVINA I FUNKCIJA KRIVINA GAUDIJEVE POVRSI
63
fuu = 0 ,
fv = u cos v ,
fuv = cos v ,
fvv = u sin v ,
1
3
,
uv =
tan v ,
u ln 10
2 ln 10
u jednacinu (2.3.87), dobija se izraz (2.4.107).
uu =
vv =
3
u
,
2 ln 10 cos2 v
elibrary.matf.bg.ac.rs
fu = sin v ,
W (p) = 2H(p)H(p) ,
zamenom srednje krivine Gaudijeve povrsi:
H(p) =
i varijacije srednje krivine Gaudijeve povrsi date jednacinom (2.4.106), dokazuje se sledeca
lema:
Lema 2.4.5. Varijacija Vilmorove energije u tacki pri infinitezimalnim savijanjima Gaudijeve
povrsi (a = k = 1) data je jednacinom:
(
(
))
2
2
2
2
2
u sin v(2 + cos v) 3u(u + sin v) + 2 cos v u (2 cos v 3) 1
W =
. (2.4.108)
(
)2
4 ln 10 u cos2 v 1 + sin2 v + u2 cos2 v
elibrary.matf.bg.ac.rs
Pravolinijske povr
si sa geometrijskog i
konstruktivnog aspekta
elibrary.matf.bg.ac.rs
Glava 3
Pravolinijske povrsi predstavljaju vaznu klasu povrsi koje sadrze prave linije. Ove prave
linije istovremeno su asimptotske krive. Pravolinijska povrs je povrs koja nastaje pomeranjem
prave po nekoj krivoj. Ova vrsta povrsi, a posebno konoidne povrsi, se jako cesto koriste u
gradevinarstvu i arhitekturi. Jednostavna proizvodnja i veoma bogat spektar oblika, glavni su
razlog primena ovih vrsta povrsi u krovnim i drugim konstrukcijama.
U ovom poglavlju analiziracemo pravolinijske povrsi sa geometrijskog i konstruktivnog aspekta, istaci njihove prednosti i primene u tehnici i dati njihovu vizuelizaciju koristeci paket
Mathematica. Posebno cemo posmatrati konoidne povrsi, i to Gaudijevu povrs koja se koristi
kao vazni element u arhitekturi i krovnim konstrukcijama. Ukljucujuci estetiku, statiku, obim
i samu tehnologiju proizvodnje, istacicemo i neke karakteristike Gaudijevih povrsi uz pomoc
matematicke analize.
Kao podklasu pravolinijski povrsi, posmatracemo i ravne pravolinijske povrsi. To su povrsi
nulte Gausove krivine, poznate kao razvojne povrsi. Razvojne povrsi se mogu razviti u ravan bez
ikakvih deformacija, pa zbog toga imaju veliku primenu u inzenjerstvu, proizvodnji, arhitekturi,
pa cak i u modernoj umetnosti.
3.1
Denicija i osnovne karakteristike pravonijskih povrsi dati su Poglavlju 1.3.1. Ove povrsi i
konoidi bili su predmet istrazivanja velikog broja radova i to sa razlicitih tacaka gledista [30],
[72], [75], [76], [80], [84].
Koristeci deniciju pravolinijskih povrsi (1.3.59):
x(u, v) = (u) + v(u),
65
elibrary.matf.bg.ac.rs
uz pomoc paketa Mathematica mozemo za razlicito zadate krive (u) i (u) dobiti razlicite
pravolinijske povrsi (Slika 3.1).
Slika 3.1: Pravolinijske povrsi za (u) = Abs[u], (u) = const. i (u) = eight[u], (u) = eight[u]
(prvi red), (u) = sin u, (u) = cos u, i (u) = sin u, (u) = const. (drugi red)
Takode mozemo izracunati parcijalne izvode prvog i drugog reda, potrebne za izracunavanje
koecijenata prve i druge kvadratne forme. Najpre vazi:
ru = (u) + v (u),
ruu = (u) + v (u),
rv = (u),
ruv = (u),
rvv = 0.
3.1. GEOMETRIJSKE KARAKTERISTIKE PRAVOLINIJSKIH POVRSI
67
Primer 3.1.1. Konoidna povrs sa sinusoidom kao bazicnom krivom ima jednacinu:
gde je
q vektor ose konoida. U paketu Mathematica je vizuelno prikazana ova povrs preko
Gausove i srednje krivine (Slika 3.2).
elibrary.matf.bg.ac.rs
Slika 3.2: Vizualizacija Gausove krivine (prvi red) i srednje krivine (drugi red), konoida sa sinusoidom
kao bazicnom krivom
Primer 3.1.2. Desni konoid (Slika 3.3) je konoid cija je osa upravna na ravan paralelnosti i
samim tim na pravce ove pravolinijske povrsi. Ako uzmemo XY -ravan kao ravan paralelnosti,
a Z-osu kao osu konoida, tada je parametarska jednacina desnog konoida:
f
M=
,
v 2 + (f )2
N =0.
elibrary.matf.bg.ac.rs
Zosu, a u slucaju u = const. dobijamo prave linije. Koeficijenti prve kvadratne forme desnog
konoida jednaki su:
E = v 2 + (f )2 ,
F = 0,
G = 1,
(f )2
,
(v 2 + (f )2 )2
vf
3
2(v 2 + (f )2 ) 2
3.2
elibrary.matf.bg.ac.rs
Slika 3.3: Vizualizacija Gausove krivine (prvi red) i srednje krivine (drugi red), desnog konoida
69
elibrary.matf.bg.ac.rs
3.2.1
Sinusoidni konoid, u literaturi poznat kao Gaudijeva povrs [25], data je jednacinom (1.3.61),
i analizirana u Poglavlju 1.3.2. Ova povrs je izuzetan element krovnih konstrukcija i kao takva
je koriscena, najpre od strane Gaudija (otuda i naziv Gaudijeva povrs), kao krov skole Escoles
de Gaudi koju je on dizajnirao.
Gaudi je inspiraciju nalazio u mnogim izvorima; najpre u prirodi, a zatim u lozoji, umetnosti, knjizevnosti, i naravno, u matematici. Njegovi prirodom inspirisani modeli prozimaju se
kroz citav njegov rad i jednako su i funkcionalni i dekorativni ([1], [45]).
Krov Escoles de Gaudi je tanak (Slika 3.5), ali njegov specijalni oblik mu daje stabilnost i
predstavlja skoro razvojnu povrs. Princip konstrukcije ovog krova bio je: Izabrati srednju liniju
i rotirati prave koje je pri tom seku pod pravim uglom. Obzirom da je povrs sastavljena od
pravih linija, moguce je bilo izgraditi je od cigli. Takode, ovaj krov ne zahteva potporne zidove,
pa su se dva pregradna zida mogla pomerati i menjati dimenzije ucionica.
Postoji mnogo razloga sto Gaudijev rad treba posmatrati nezavisno od doba modernizma
kome je on pripadao, obzirom da je njegova genijalnost daleko iznad stilskih ukrasa i trendova.
Jedan od razloga zbog cega se Gaudi izdvaja je svakako sinteza forme i funkcije, njegova teznja
da projektuje oblike koji ne predstavljaju samo stilski hir koji prati aktuelne trendove, vec da
budu u funkciji zbog koje su i zamisljeni. Postovao je najbitnije pravilo u arhitekturi, da je
najbitnija mehanicka ili strukturna funkcija, odnosno, da je osnovni princip da objekat treba
elibrary.matf.bg.ac.rs
71
da stoji a ne da pada.
Escoles de Gaudi su skole sagradene na zemljistu hrama La Sagrada Familia u Barseloni
u Spaniji,
za decu radnika hrama. Trebalo je da budu privremena gradevina, ne previse skupa,
obzirom da nije imao dovoljno sredstava ni za sam hram. O nedovoljno sredstava govore i resursi
koji su mu za izgradnju skola bili na raspolaganju: ravne cigle, keramicke plocice i drvene grede,
a na zavrsnici nedovrseno cementiranje, krecenje svih zidova, keramika na fasadi i nadstresnica.
Uprkos svemu, proizilazi fascinantna gradevina sa oscilujucom fasadom i talasastim krovom.
Najbitnije u svemu tome je sto Gaudijev cilj nije bio da ostavi licni pecat, vec se njegov genijalan
pristup ogleda u zelji da izgradi stabilnu strukturu sa minimalnim materijalom.
Zidovi Escoles de Gaudi su samo 4cm debljine, a dostizu visinu do 5,6 m. Obzirom na
dimenzije bila bi jako nestabilna da nema talasaste strukture koja joj daje snagu protiv vetra.
Nestabilnost se moze proveriti sa tankim komadom kartona; ako bi hteli da on stoji uspravno na
stolu, morali bi da ga savijemo ili mu damo neki oblik. Gaudi je upravo to uradio sa talasastom
strukturom.
Izgradnja talasaste strukture trebala bi biti veoma komplikovana, ali nam Gaudi i ovde
daje lekciju, ovog puta iz geometrije. Povrsi od kojih je sastavljena fasada su konoidne povrsi,
dakle, sastoje se od niza pravih linija (generatrisa) koje su paralelne nekoj utvrdenoj ravni, a
istovremeno seku dve linije (direktrise), od kojih je jedna kriva a druga prava. U ovom slucaju
kriva je sinusoida, a kako bi Gaudi imao vodicu, koristio je kabl ili metalnu sipku da premeri
rastojanje izmedu najvise i najnize tacke krova.
Vrhunac lekcije iz geometrije odnosi se na krov Escoles de Gaudi, gde je ponovo koriscena
konoidna povrs kako bi se izbegli slojeviti krovovi koji su mnogo skuplji. Kako bi se smanjila
fasada u gornjim tackama (u sinusoidnom obliku), drvene grede su postavljene da povezuju
najvisu sa najnizom tackom, kao da se odmaraju na vrhu zidova, i svaka sledeca ima drugaciji
nagib. Na kraju, pokrivanjem keramickim plocicama dobija se talasasta konoidna povrs. Kako
su drvene grede predugacke, obzirom da spajaju suprotne strane, Gaudi je postavio centralnu
gredu kao potporu. Ova horizontalna glavna greda sluzi kao prava direktrisa iskrivljene povrsi.
Zahvaljujuci genijalnosti u geometriji i mehanici, Gaudi je mogao da izabere keramicke cigle,
najjeftinije i najdostupnije, da ih postavi oko ivica, da ucini zidove tanjim i samim tim smanji
upotrebu cigli. Tako je ovo primer gde geometrija omogucava optimalnu ekasnost strukture.
Gaudijev osnovni princip je bio da u primeni povrsi u arhitekturi, geometrija ne komplikuje,
vec pojednostavljuje konstrukciju. On je, verovatno, bio prvi koji je uveo pravolinijske povrsi
u svoja projektantska ostvarenja. Pored ovog, geometrijskog principa, vodio se i principom
prirode, obzirom da je priroda uvek u potrazi za funkcionalnim resenjima nad neumoljivim
zakonom gravitacije. Znajuci da prirodne strukture milionima godina obavljaju perfektne zadatke, tezio je da ih ugradi u svoje konstrukcije. Tako je, na primer, konoidan oblik, cest oblik
lisca na drvecu, koristio, ali ne da bi kopirao prirodu, vec je ukljucio i razumeo njenu geometriju
i principe.
Primenu Gaudijevih povrsi mozemo videti i na drugim objektima. Jedan od primera
izuzetne gradevine je i privatna rezidencija arhitekte Dzulsa Gregorija, (Jules Gregory, americki
elibrary.matf.bg.ac.rs
elibrary.matf.bg.ac.rs
I NJIHOVE PRIMENE
3.3. RAZVOJNE POVRSI
73
arhitekta), koja je sagradena 1960. godine u blizini Njujorka i od strane Architectural Record
Magazine proglasena je jednom od najlepsih deset kuca u Americi, [47]. Najistaknutija karakteristika ove kuce je talasasti konodni krov (isti kao kod Escoles de Gaudi), koji kao da lebdi
u sred sume. Staklene ploce su iskoriscene da premoste preostalu razdaljinu do krova, ali imaju
i funkciju zidova, a samim tim i prozora.
Takode, primenu Gaudijeve povrsi, odnosno, Gaudijevog krova, mozemo videti i na vinariji
Santijaga Kalatrave (Santiago Calatrava, rod. 1951. godine, spanski arhitekta, skulptor i
gradevinski inzenjer), La Rioja, Bodegas Ysios, sagradenoj 2001. godine u Lagardiji u Spaniji
([7]).
Zgrada je zamisljena kao element kompletno uklopljen u okolinu, ali u isto vreme predstavlja
specicnu gradevinu. Vlasnici The Bodegas and Bebidas group zeleli su zgradu koja ce biti
ikona prestiznog novog vina la Rioja Alavesa, a da u isto vreme zadovoljava rigorozne uslove
za skladistenje i prodaju vina. Sinusoidalni oblik je Kalatravi posluzio da projektuje zgradu
koja postize efekat statickog pokreta i cije se granice prozimaju kroz okolne vinograde.
Zbog izuzetnih performansi i prelepog izgleda, konoidni krovovi bili su predmet eksperimentisanja mnogih inzenjera i arhitekata kroz vekove. Moze se videti i na privatnim kucama i na
brojnim javnim zgradama.
3.3
Razvojne povr
si i njihove primene
Specijalna vrsta povrsi koje se mogu razviti u ravan bez deformisanja, poznate su kao
razvojne povrsi. Razvojne povrsi su pravolinijske povrsi nulte Gausove krivine, pa se mogu
transformisati u ravan a da pri tom duzina proizvoljne krive na povrsi ostaje ista. Tacnije,
ove povrsi dobijene spajanjem gotovo neelasticnih materijala mogu se razviti u ravan bez istezanja i cepanja. Upravo je to razlog njihove siroke primene u mnogim sferama inzenjerstva i
proizvodnje. O ovim povrsima je bilo reci u Poglavlju 1.3.3, i radovima [33] i [80].
Koristeci paket Mathematica mogu se crtati cilindar i konus nad raznim krivama u R3 . Medu
tim krivama mogu se posmatrati i ravne krive, ali je potrebno koristiti funkciju inscurve, koja
ravnu krivu prevodi u prostornu krivu (Slika 3.6).
inscurve[n , a , ][t ] := Insert[[t], a, n] ,
cylinder[{q1 , q2 , q3 }, ][u , v ] := [u] + v{q1 , q2 , q3 } ,
cone[{p1 , p2 , p3 }, ][u , v ] := {p1 , p2 , p3 } + v[u] .
Kako su razvojne povrsi posebnog izgleda i mogu biti lake izrade, to se one sve vise koriste
u arhitekturi. Mogu biti izgradene od ravnih materijala a da ipak predstavljaju perfektne
iskrivljene oblike. Zahvaljujuci njihovim osobinama, reeksija na razvojnim povrsima izgleda
glatko i prirodno, na primer, [34].
elibrary.matf.bg.ac.rs
Tangentne developable se mogu denisati kao tangentne povrsi prostorne krive. Kriva se
tada naziva ivica regresije tangentne developable. U [30] je pokazana sledeca Lema:
Lema 3.3.1. Neka je : (c, d) R3 kriva sa jedinicnim tangentnim vektorom. Tada koeficijenti prve kvadratne forme tangentne povrsi zavise samo od krivine krive :
E = 1 + v 2 k 2 [],
F = 1,
G = 1.
Kako cilindarska zavojnica i krug istog poluprecnika imaju istu konstantnu krivinu, iz Leme
3.3.1 sledi da se tangentna povrs cilindarske zavojnice moze konstruisati od parceta papira
isecanjem diska i njegovim uvijanjem oko cilindra (Slika 3.7).
elibrary.matf.bg.ac.rs
I NJIHOVE PRIMENE
3.3. RAZVOJNE POVRSI
75
Kod konstrukcije puteva i nasipa najbolje povrsi su tangentne povrsi sa konstantnim nagibom. Pesak i slicni materijali u prirodi teze da formiraju stabilne oblike koji upravo podsecaju
na pomenute povrsi. Oskulatorne ravni, kao i tangentne ravni njihovih tangentnih povrsi takode
imaju konstantne nagibe.
Tangentne povrsi, kao i cilindricne i konusne povrsi se razlikuju od ostalih pravolinijskih
povrsi po konturi koju odreduju. Njihove siluete se sastoje od pravih linija i samim tim sluze
kao indikator razvojnih povrsi.
Razvojne povrsi se mogu denisati i kao omotaci oskulatornih ravni prostorne krive. Tangente se tada mogu posmatrati kao prave koje povezuju dve susedne tacke, ali i kao preseci dve
susedne oskulatorne ravni.
Izvanredna osobina razvojnih povrsi je u vezi sa reeksijom gde svi reektujuci zraci ponovo
obuhvataju razvojnu povrs, ali i sa refrakcijom. I reeksija i refrakcija iscrtavaju veoma interesantne fokalne krive u ravnima.
Krive na Frank O. Gerijevoj zgradi u Bilbau, (Frank Owen Gehry, rod. 1929., americki
elibrary.matf.bg.ac.rs
zicki napraviti.
Glava 4
78
4.1
elibrary.matf.bg.ac.rs
Na taj nacin dobija se deset identiteta Ricijevog tipa, dva nova tenzora krivine i petnaest velicina
koje se mogu nazvati pseudotenzori. Identiteti i nove velicine mogu se dobiti i za trecu i cetvrtu
vrstu kovarijantnog izvoda.
Finslerovi prostori FN
(4.1.1)
Uslov (F 1) izrazava da rastojanje izmedu dve tacke treba da bude pozitivno. Homogenost
funkcije (F 2) je prirodna: ako koordinate y i pomnozimo sa p, tada ce i vrednost metricke
funkcije F (x, y) (rastojanja) biti uvecana p puta. Uslov (F 3) predstavlja simetriju u rastojanju
izmedu dve tacke.
Du
zina luka krive C : xi (t), a t b, u posmatranoj mnogostrukosti denisana je
izrazom:
b
s=
F (x(t), y(t))dt,
a
y(t) =
dx
.
dt
(4.1.2)
79
Ako C izrazimo preko drugog parametra = (t), c d, duzina luka krive C jednaka je:
d
( dx )
d .
F x,
d
(4.1.3)
p=
Primenom Ojlerove teoreme o homogenosti funkcije na funkciju F (x, y), dobijamo sledece
relacije:
F (x, y) =
elibrary.matf.bg.ac.rs
s=
F (x, y) i
y ,
y i
2 F (x, y)
=0,
y i y j
(4.1.4)
odakle se dobija:
F 2 (x, y) =
1 2 F 2 (x, y) i j
yy .
2 y i y j
(4.1.5)
i = 1, ..., N,
(4.1.6)
gij =
1 2 F 2 (xi , x i )
,
2 x i x j
(4.1.8)
gde su x i = dx
tangentni vektori krive C : xi = xi (t) u prostoru mnogostrukosti, ili element
dt
tangentnog prostora Tn (xi ) u tacki xi . Koristeci drugi uslov u (4.1.7), gij su homogeni stepena
nula u drugom skupu promenljivih, i vazi:
ds2 = gij (xk , dxk )dxi dxj .
(4.1.9)
80
U Finslerovim prostorima denisani su razliciti tipovi koneksija. Ove koneksije imaju vaznu
ulogu u primenama Finslerove geometrije.
Jedna od fundamentalnih oznaka u Finslerovoj geometriji je i Kartanov tenzor, (koji je uveo
Kartan),
1 3F 2
1 gij
Cijk =
=
.
(4.1.10)
2 x k
4 x i x j x k
U slucaju da je:
Cijk = 0 Rimanova geometrija.
Vazi da je:
i
Cjk
= g is Csjk ,
(4.1.11)
Cijk
.
x l
Bervald je prvi uveo koncept koneksije u Finslerovim prostorima (1926).
funkcije:
i
2Gi (x, x)
= jk
(x, x)
x j x k ,
Cijkl =
elibrary.matf.bg.ac.rs
4.1.1
(4.1.12)
Denisao je
(4.1.13)
Gi
,
x j
Gijk =
Gij
.
x k
(4.1.14)
(4.1.15)
xi j
xj i
xi xj
i
Uvodenjem funkcija Fjk
: T M \ {0} R, koje su lokalno denisane, stepena homogenosti
0, i koje zadovoljavaju zakon transformacije:
2x
el
e
xr e
xs el
e
xl i
F
=
+
F ,
xi jk xj xk xj xk rs
denise se Finslerova koneksija.
81
(
)
i
i
Definicija 4.1.3. Finslerova koneksija odredena je uredenom trojkom Nji , Fjk
, Cjk
, gde
Uvodenjem koecijenata:
ijk =
1 ( gik gij
gjk )
+
,
2 xj
xk
xi
(4.1.16)
i
ijk = g ir rjk ,
(4.1.17)
dobija se Cern-Rundova
koneksija.
)
(
elibrary.matf.bg.ac.rs
i
je Nji nelinearna koneksija a Cjk
Kartanov tenzor.
(
)
i
Definicija 4.1.6. Ha
sigu
cijeva koneksija predstavlja uredenu trojku Nji , Gijk , Cjk
.
(
)
i
Definicija 4.1.7. Kartanova koneksija predstavlja uredenu trojku Nji , ijk , Cjk
.
4.1.2
4.1.3
elibrary.matf.bg.ac.rs
82
Kako 4-dimenziomalna Rimanova geometrija nije uvek dovoljna da opise vecinu zickih
velicina i interakcija, neki autori koriste ekstra dimenzije (na primer, teorije Kaluza-Kleinovog
tipa), dok drugi koriste razlicite geometrije (na primer, Riman-Kartanova geometrija, VeilKartanova geometrija, Apsolutni paralelizam-geometrija). Geometrija zasnovana na apsolutnom paralelizmu, odnosno, APgeometrija je puno sira od Rimanove geometrije u smislu da
pored 4 dimenzije ima jos sest stepena slobode. Pored Rimanovog prostora, AP-geometrija
moze biti pridruzena i Finslerovim prostorima.
U radu [97] su denisani i razmatrani AP-prostori.
Definicija 4.1.8. AP-prostor (M, ) je ndimenzionalna diferencijabilna mnogostrukost (M ),
koja sadrzi n linearno nezavisnih vektora , gde indeks i oznacava broj vektora a indeks
i
koordinatu komponente i oba indeksa idu od 1 do n.
Kako su ovi vektori linearno nezavisni, determinanta matrice ( ) je razlicita od nule. U
i
istom radu denisane su kontravarijantne komponente vektora :
i
= ,
(4.1.18)
= ij .
(4.1.19)
(4.1.20)
(4.1.21)
83
g = ,
(4.1.22)
g = .
(4.1.23)
(4.1.24)
Obzirom na navedene osobine, tenzor (4.1.22) g se moze koristiti kao metricki tenzor
Rimanovog prostora pridruzenog proizvoljnoj AP-strukturi. Takode, tenzori (4.1.22) i (4.1.23)
se mogu koristiti za spustanje i podizanje indeksa, a preko njih se denisu uobicajna linearna
simetricna koneksija, Kristofelovi simboli druge vrste:
elibrary.matf.bg.ac.rs
{ } 1
= g (g, + g, g, ) .
(4.1.25)
A; = A, A
{ }
,
(4.1.27)
g| = 0 ,
(4.1.29)
g; = 0 .
(4.1.30)
(4.1.31)
(4.1.32)
84
()
Posmatrajmo sada AP-prostore sa Finslerovim karakteristikama.
Definicija 4.1.9. Prostori apsolutnog paralelizma sa Finslerovim karakteristikama (M, Li ),
odnosno, FAPprostor, je ndimenzionalna diferencijabilna mnogostrukost M na kojoj je
definisan skup od nLagranzeovih funkcija Li = Li (x, y) koje zadovoljavaju sledece uslove:
1. Li (x, y) je klase C na T M \{0};
2. Li (x, y) > 0,
y T M,
y = x;
elibrary.matf.bg.ac.rs
C = . = . ,
Li
,
y
(4.1.34)
(4.1.35)
C =
i
= Li: .
(4.1.36)
(4.1.37)
85
= ,
(4.1.38)
= ij .
(4.1.39)
i
i
Neka je:
C
i
elibrary.matf.bg.ac.rs
= : ,
i
C. = C ,
i
(4.1.40)
(4.1.41)
C. = C .
j
(4.1.42)
(4.1.43)
B. = N:
=
(y , ) ,
i i
y
(4.1.44)
.
y
(4.1.45)
(4.1.46)
86
(4.1.47)
elibrary.matf.bg.ac.rs
A
,
y
2 Li
C. = .
i y y
(4.1.49)
(4.1.50)
| 0 .
i
(4.1.51)
(4.1.52)
(4.1.53)
|| 0 .
(4.1.54)
i
i
Pored Finslerovih prostora, moze se posmatrati i generalisani Finslerov prostor GFN . Generalisani Finslerov prostor je diferencijabilna mnogostrukost sa nesimetricnim bazicnim tenzorom. U odnosu na dve vrste hkovarijantnog diferenciranja u Rundovom smislu [65], dobili
smo 10 identiteta Ricijevog tipa u kojima se pojavljuju novi tenzori i nove velicine, koje smo
nazvali pseudotenzori.
Definicija 4.2.1. Generalisani Finslerov prostor (GFN ) predstavlja diferencijabilnu mnogostrukost sa nesimetricnim baznim tenzorom gij (x, x),
gde je:
gij (x, x)
= gji (x, x),
(g = det(gij ) = 0) .
(4.2.55)
elibrary.matf.bg.ac.rs
4.2
87
1
g ij = (gij gji ) ,
(4.2.56)
1 2 F 2 (x, x)
a) g ij =
,
b)
=0,
(4.2.57)
i
j
2 x x
x k
gde je F metricka funkcija u GFN , koja ima osobine poznate iz teorije Finslerovog prostora
(4.1.7).
U radovima [50], [51], [52], [99] je analiziran generalisan Finslerov prostor.
Spustanje i podizanje indeksa vrsi se pomocu tenzora g ij i hij redom, i vazi:
g ij hjk = ik ,
(g = det(gij ) = 0) .
(4.2.58)
i
jk
gde je gji, k =
gji
xk
1
i.jk = (gji,k gjk,i + gik,j ) = i.kj ,
2
1
i
= hip p.jk = hip (gjp,k gjk,p + gpk,j ) = kj
,
2
(4.2.59)
(4.2.60)
Tada vazi:
p
jk
g ip = s.jk hps g ip = s.jk is = i.jk .
(4.2.61)
88
gde je Fx2i x j xk
1
1
1
i.jk x i x j = gij,k x i x j = gij,k x i x j = Fx2i x j xk x i x j ,
2
2
4
1
1
1
i.jk x i x k = gik,j x i x k = gik,j x i x k = Fx2i xj x k x i x k ,
2
2
4
1
i.jk x j x k = (gij,k gjk,i )x j x k ,
2
3F 2
= x i x j xk .
(4.2.62)
(4.2.63)
(4.2.64)
(4.2.65)
Cijk (x, x)
=
elibrary.matf.bg.ac.rs
gde
1
g k
2 ij,x
=
(4.2.57b)
1
1
gij,x k = Fx2i x j x k ,
2
4
(4.2.57b)
(4.2.66)
i
Cjk
= hip Cpjk
=
(4.2.66)
i
hip Cjpk = hip Cjkp = Ckj
.
(4.2.67)
(4.2.68)
Prema Kartanu [12], generalisani Finslerov prostor GFN zadovoljava sledece uslove:
(i) Metricki tenzor sa nesimetricnim komponentama gij (x, x)
dat je tako da je kvadrat rastoi
i
i
janja izmedu x i x + dx dva susedna elementa (x, x)
i (x + dx, x + dx)
dat izrazom:
i
i
ds2 = gij (x, x)dx
dxj .
(4.2.69)
dx),
naziva se geometrijska varijacija, i dat je preko apsolutnog diferencijala:
i
DX i = dX i + Chk
X h dx k + ihk X h dxk .
i
gij
(x, x)X
iX j
(4.2.70)
89
(iii)
elibrary.matf.bg.ac.rs
(a) Ako se pravac vektora X i poklapa sa pravcem elementa, tada je njegova norma
jednaka F (x, x).
(4.2.71)
gde je
p s
i
i
i
= i
jk = jk Cjp sk x
kj ,
(4.2.72)
(4.2.73)
jk
jk
kp js
kj
e = i.jk Cikp p x s =
e .
i.jk
i.kj
js
(4.2.74)
Dobija se:
( i p
) s
p
i
i
i
ei
M i
= 2pjk + 2Cjp
psk x s ,
jk = jk kj = Cjp ks Cjp sk x
i
M i
jk = M kj . (4.2.75)
ei
k = ijk x k ,
jk x
(4.2.76)
i e p s
ei
.
ijk =
jk + Ckp js x
(4.2.77)
90
(4.2.78)
(4.2.79)
(4.2.80)
(4.2.81)
I dobija se:
elibrary.matf.bg.ac.rs
p
p
p
i
il
i
s = i
jk = jk h (Cjlp ks + Cklp js Cjkp ls )x
kj ,
(4.2.82)
p
p
p
s = i.kj .
i.jk = r
jk gir = i.jk (Cijp ks + Cikp js Cjkp is )x
(4.2.83)
Denisacemo koecijente:
p
p
p
i
il
ei
s = i
jk = jk h (Cklp sj + Cjlp sk Ckjp sl )x
kj ,
(4.2.84)
e =
er gir = i.jk (Cikp p + Cijp p Ckjp p )x s =
e .
i.jk
jk
i.kj
sj
si
sk
(4.2.85)
Tada je razlika:
(
)
e = Cijp p + Cikp p Cjkp p Cikp p Cijp p + Ckjp p x s =
i.jk
i.jk
js
is
sj
si
ks
sk
(
)
= 2 Cikp pjs + Cijp pks Ckjp pis x s .
(4.2.86)
Oznacimo sa:
i
i
Tjk
(x, x)
= i
jk kj ,
i
ei
ei ,
Tejk
(x, x)
=
jk
kj
e , redom.
tenzor torzije koneksije , odnosno,
Definicija 4.2.2. U generalisanom Finslerovom prostoru GFN ugao izmedu dva vektora definisan je izrazom:
cos(X, Y ) =
iY j
g ij (x, x)X
.
ghk X h X k gpq Y p Y q
(4.2.87)
91
Moze se zakljuciti da ako su li i li jedinicni vektori duz nekog elementa, tada je:
x i
,
F (x, x)
li =
F (x, x)
.
i
x
(4.2.88)
i
DX i = dX i + Chk
X h dx k + ikh X h dxk .
(4.2.89)
dF
1
1
dx 2 x i + ihk x h dxk ,
F
F
F
Dli =
2
dF
1
1
dx 2 x i + ikh x h dxk ,
F
F
F
(4.2.90)
elibrary.matf.bg.ac.rs
li =
dx i = F Dli +
1
dF i
x ihk x h dxk ,
F
dx i = F Dli +
2
dF i
x ikh x h dxk .
F
(4.2.91)
(4.2.92)
(4.2.93)
odnosno,
(
)
p
i
i
DTji = dTji + Dlm F Cpm
Tjp F Cjm
Tpi Tjp Cpm
m
h dxk +
hk x
1
1
p
p i
h dxk Tpi pjm dxm ,
+ Tj pm dxm + Tpi Cjm
m
hk x
(
)
p
i
i
Tjp F Cjm
h dxk +
Tpi Tjp Cpm
m
DTji = dTji + Dlm F Cpm
kh x
2
2
p
+ Tjp imp dxm + Tpi Cjm
m
h dxk Tpi pmj dxm .
kh x
(4.2.94)
(4.2.95)
elibrary.matf.bg.ac.rs
92
2
p
i
s r
i
k
s r h
+ Tj (i
) Tjp Cpk
(k
)x
mp + Cms rp x
mh + Cms rh x
]
p
i
p
s r
m
Tp (mj + Cms rj x ) dx =
(
) (
p k h
=dTji + Dlm Aipm Tjp Apjm Tpi + Tpi Cjk
hm x + Tjp i
pm +
1
)
i
i
i p s r
+ Tjp Cps
s
r Tjp Cpk
k
h Tpi p
dxm
rm x
hm x
jm Tp Cjs rm x
(
) (
) m
i p
=dTji + Dlm Aipm Tjp Apjm Tpi + Tjp i
pm Tp jm dx .
1
(4.2.96)
=
I takode:
(
)
DTji = F Tj,i m + Aipm Tjp Apjm Tpi Dlm +
2
2
)
( i
p e i
i e p
+ Tj,m + Tj mp Tp mj Tj,i s smr x r dxm .
4.2.1
(4.2.97)
Tji| m
s
i e p
i
i
ei
r .
+ Tjp
= Tj,m
mp Tp mj Tj,s mr x
(4.2.98)
93
| m (x, x)
= 0,
= 1, 2.
(4.2.99)
| m (x, x)
p
=g ij ,m gij,p prm x r p
im g pj jm g ip
=
(4.2.66, 4.2.83)
(4.2.100)
g ij
| m (x, x)
ep g ip
ep g pj
= g ij ,m gij,p pmr x r
mj
mi
= g ij ,m
2Cijp pmr x r
=
(4.2.66, 4.2.83)
e +
e ) = 0 ,
(
j.mi
i.mj
(4.2.101)
elibrary.matf.bg.ac.rs
g ij
ji | m = 0 ,
1
(4.2.102)
Dokaz Teoreme 4.2.3 sledi iz same denicije simbola i kovarijantnog diferenciranja (4.2.98).
Teorema 4.2.4. Za tenzor hij u generalisanom Finslerovom prostoru GFN u odnosu na prvu
i drugu vrstu hkovarijantnog diferenciranja vazi relacija:
hij| m = 0 ,
= 1, 2.
(4.2.103)
iq
= 1, 2.
= 1, 2.
(4.2.104)
94
Identiteti Ri
cijevog tipa za h-diferenciranje u GFN
Poznato je da u Finslerovom prostoru postoji samo jedan identitet Ricijevog tipa, (Gregorio
Ricci-Curbastro, 1853-1925, italijanski matematicar), za h-diferenciranje, u odnosu na izvod
drugog reda.
U slucaju nesimetricne ane koneksije postoji deset mogucnosti za formiranje razlike:
...ru
...ru
art11...t
art11...t
v |m|n
v |m | n
(, , , = 1, 2),
(4.2.105)
gde su sa | i | oznacene dve vrste kovarijantnog izvoda, i ove razlike daju deset identiteta
1
elibrary.matf.bg.ac.rs
4.2.2
(, ; , ) {(1, 1; 1, 1), (2, 2; 2, 2), (1, 2; 1, 2), (2, 1; 2, 1), (1, 1; 2, 2),
(1, 1; 1, 2), (1, 1; 2, 1), (2, 2; 1, 2), (2, 2; 2, 1), (1, 2; 2, 1)}.
(4.2.106)
l| h (x, ) = 0,
1
(4.2.107)
Takode vazi:
,l h =
l
Gl (x, )
l r
=
= Gl, h .
rh
xh
x h
(4.2.108)
p
p
i p
i
=aij,mn + aij, ns ,sm + aij, s ,smn + i
pm, n aj + pm aj,n jm, n ap
p s
i
s
i
l
s
i
l
s
i
i
p
jm ap, n + aj, ms , n + aj, ls , m , n + aj, l, ms , n + pm, s aj , n +
p i
p
p
i p
s
i s
s
+ i
pm aj, s , n jm, s ap , n jm ap, s , n + pn aj,m +
p i
p
i s p
i p s
s
+ i
pn aj, s , m + pn sm aj pn jm as jn ap,m
p s i
p i s
p i
s
i
p
jn ap, s , m jn sm ap + jn pm as mn aj | p .
1
(4.2.109)
95
I slicno:
s
ei ap
ep ai
ep ai =
aij | m| n =(aij | m ), n + (aij | m ), s ,n
+
np j | m
nm j | p
nj p| m
2
p
p
p i
i p
i
+ i
pm, n aj + pm aj,n jm, n ap jm ap,n +
p s
i p
s
aij, l,l ms ,sn + i
pm, s aj , n + pm aj, s , n
i
s
ei p
ei p s
ei p s
p
jm ap, s , n + np aj, m + np aj, s , m + np sm aj
ep ai
ep ai s
ep i as +
ep s ai
ep ai
ei s ap
nm j | p
np jm s
nj p, m
nj p, s , m
nj sm p
nj pm s
(4.2.110)
i s
p
jm, s ap , n
p
p i
p i
aij | m| n =(aij | m ), n + (aij | m ), s ,sn + i
pn aj | m jn ap| m mn aj | p =
2
=aij,mn
+
elibrary.matf.bg.ac.rs
aij, ns ,sm
aij, s ,smn
aij, ms ,sn
p
ei
mp, n aj
p
i
ei
ep
ep i
+
+
mp aj, n mj, n ap mj ap, n +
ei ap s +
ei ap s
aij, l,l ms ,sn +
mp, s j , n
mp j, s , n
+ aij, ls ,l m ,sn +
p
i p
s
ep aip ,sn
ep aip, s ,sn + i
pn aj, m + pn aj, s , m
mj
mj, s
p i
p i
p e i s
s
es p
i
pn mj as jn ap, m jn ap, s , m jn ms ap +
(4.2.111)
ep s
+ i
pn ms aj
p i
es i
p
jn mp as mn aj | p .
2
ei ap
ep ai
ep ai =
aij | mn =(aij | m ),n + (aij | m ), s ,sn +
np j | m
nm j | p
nj p| m
2
ei ap +
ei ap
ep ai
ep ai +
+
+
+
mp, n j
mp j, n
mj, n p
mj p, n
p s
i
s
i
l
s
i
l
s
i
i p
s
e
e
(4.2.112)
+ aj, ms , n + aj, ls , m , n + aj, l, ms , n + mp, s aj , n + mp aj, s , n
=aij,mn
aij, ns ,sm
aij, s ,smn
p
ep aip ,sn
ep aip, s ,sn +
ei
ei p s
ei ep s
np aj, m + np aj, s , m + np ms aj
mj
mj, s
ei
es p ep i
ep i s
ep ei s ep es i ep i
np mj as nj ap,m nj ap, s , m nj ms ap + nj mp as nm aj | p .
2
Takode vazi:
( Gs )
( Gl ) Gs
i
+
a
=
j, l x
xn x m
s x m x n
( s
( s
) l )
s
rm r
rm r
i
= aj, s
x lm +
x G, n =
xn
x l
) r
(
l
l
s l
.
= aij, s s
rm, n lm rn rm, lG, n x
(4.2.113)
96
p
s
s
i p
aij | mn aij | nm =aij,mn + aij,ns ,m
+ aij,s ,mn
+ i
pm,n aj + pm aj,n
1
p i
i
i
s
i
l
s
i l
s
p
jm,n ap jm ap,n + aj,ms ,n + aj,ls ,m ,n + aj,l,ms ,n +
p s
p
p i
s
i p s
i s
+ i
pm,s aj ,n + pm aj,s ,n jm,s ap ,n jm ap,s ,n +
p
i s p
i p s
i p s
+ i
pn aj,m + pn aj,s ,m + pn sm aj pn jm as
p i s
p s i
p i
s
p i
i
p
jn ap,m jn ap,s ,m jn sm ap + jn pm as mn aj | p
1
p
s
s
i p
aij,nm aij,ms ,n
aij,s ,nm
i
pn,m aj pn aj,m +
(4.2.114)
p i
i
i
s
i
l s
i l
s
+ p
jn,m ap + jn ap,m aj,ns ,m aj,ls ,n ,m aj,l,ns ,m
p s
p
p i
i p s
i s
s
i
pn,s aj ,m pn aj,s ,m + jn,s ap ,m + jn ap,s ,m
elibrary.matf.bg.ac.rs
Posmatrajmo razliku:
p
i p s
i
p s
i
s p
i
pm aj,n pm aj,s ,n pm sn aj + pm jn as +
p i
p i s
p s i
i
s
p i
+ p
jm ap,n + jm ap,s ,n + jm sn ap jm pn as + nm aj | p =
1
=K ipmn apj
1
K pjmn aip
1
aij,s K srmn x r
1
p i
Tmn
aj | p
gde je
i
s i
s i
i
s
i
s
K ipmn = i
pm,n pn,m + pm sn pn sm pm,s G,n + pn,s G,m
.
1
(4.2.115)
a...
...| nm
1
=1
K rpmn
1
( )
( )
v
t ...
p ... p
a
a...
K t mn
1
p ...
r
=1
s
r
a...
..., s K rmn x
1
p ...
a...| p
Tmn
(4.2.116)
( )
p ...
r ...r
pr
...r
a... = at11...tv1 +1 u ,
r
( )
t ...
...ru
.
a... = atr11...t
1 pr+1 ...tv
p
(4.2.117)
97
Moze se pokazati:
s
s
2 Gi
2 Gi
i G
i G
G
=
+
G
sn
sm
xn x m xm x n
x n
x m
= Gi, nm Gi, nm
+ Gism Gs, n Gisn Gs, m ,
(4.2.118)
gde je
Gimn =
2 Gi
= Ginm .
x n x m
elibrary.matf.bg.ac.rs
K ipmn x r =
(K pjmn
1
(4.2.119)
i konacno dobija:
p i
aij | mn aij | nm = Ri pmn apj Rp jmn apj aij |s K srmn lr Tmn
aj | p ,
1
(4.2.120)
gde smo treci Kartanov tenzor, nas prvi novi tenzor krivine oznacili sa:
i
Ri pmn =K ipmn + Cps
K srmn x r =
1
1
1
i
i
i
s i
i
s
=pm,n pn,m + s
pm sn pn sm pm, s G, n
( s
)
i
+ Cps
G, nm Gs, nm
+ Giqm Gq, n Gsqn Gq, m ,
s
+ i
pn, s G, m
+
(4.2.121)
i za koji vazi:
Ri pmn x p = K ipmn x p .
1
2. Identitet Ri
cijevog tipa
Posmatrajuci sledecu razliku, dobija se:
(4.2.122)
98
ei ap +
ei ap
ep ai
ep ai +
aij | mn aij | nm =aij,mn + aij,ns ,sm + aij, s ,smn +
mp, n j
mp j, n
mj, n p
mj p, n
2
ei ap s +
ei ap s
+ aij, ms ,sn + aij, ls ,l m ,sn + aij, l,l ms ,sn +
mp, s j , n
mp j, s , n
ei ap +
ei ap s +
ei
ep s
ep ai s
ep ai s +
np j, m
np j, s , m
np ms aj
mj p, s , n
mj, s p , n
ep
es ai
ep ai s
ep
ei as +
ei
es ap
ep ai
nj p, m
np mj s
i
ep
nm aj | p
aij, nm
nj p, s , m
aij, ms ,sn
nj
aij, s ,snm
sm p
p
ei
np, m aj
nj
mp s
i
enp ap +
j, m
ep ai +
ep ai ai s ai l s ai l s
+
j, ns , m
nj, m p
nj p, m
j, ls , n , m
j, l , ns , m
ei ap s
ei ap s +
ep ai s +
ep ai s
ei ap
np, s j , m
np j, s , m
mp j, n
nj p, s , m
nj, s p , m
(4.2.123)
p
p
p
i
s
i e p s
i e s p
i
i
s
e
e
e
e
e
a a + a + a + a +
mp nj s
mp ns j
mp j, s , n
mj p, n
mj p, s , n
ep
ei s ep es i ep i
+
mj sn ap mj np as + mn aj | p =
2
=K ipmn apj
2
elibrary.matf.bg.ac.rs
K pjmn aip
2
aij,s K srmn x r
1
p i
+ Temn
aj | p =
2
p i
=Ri pmn apj Rp jmn apj aij |s K srmn lr + Temn
aj | p ,
2
gde je
s
ei
ei +
ep
ei ep ei
ep
ep s ,
K ijmn =
mj,n
nj,m
(4.2.124)
s
ep s +
ep
ep
ei ep ei
ei +
ei
=
nj,m
mj,n
mj np nj mp mj,s G,n + nj,s G,m
)
(
q
q
s
i
s
s
i
+ Gqm G,n Gqn G,m .
+ Cps G,nm G,nm
(4.2.125)
Lako se pokazuje da je
Ri pmn x p = K ipmn x p .
2
(4.2.126)
99
a...
...| mn
a...
...| nm
=1
K rpmn
2
( )
( )
v
p ... p
t ...
a...
K t mn
a...
2
r
p
=1
s
a...
r
..., s K rmn x
1
p ...
Temn
a...| p
(4.2.127)
3. Identitet Ri
cijevog tipa
elibrary.matf.bg.ac.rs
Teorema 4.2.7. U generalisanom Finslerovom prostoru GFN , u odnosu na prvu i drugu vrstu
hkovarijantnog diferenciranja, drugi identitet Ricijevog tipa dat je izrazom:
1 2
=B ipmn apj
1
B pjmn apj
2
ai,s K srmn x r
1
aij |s K srmn lr
1
2aij<mn>
p i
Temn
aj | p = (4.2.128)
1
2aij6mn>
p i
+ Temn
aj | p ,
1
gde je
i
s
i
s
i
s e i
s e i
Aipmn = i
,
pm,n pn,m + pm ns pn ms pm, s G, n + pn, s G, m
(4.2.129)
i
i
s
i
s
es i es i
Aipmn = i
pm,n pn,m + mp sn np sm pm, s G, n + pn, s G, m
,
(4.2.130)
i
K srmn x r ,
B ipmn = Aipmn + Cps
1
i
K srmn x r ,
B ipmn = Aipmn + Cps
2
(4.2.131)
p
s
i
s
),
(apj,n + apj,s ,n
) Mjm
(aip,n + aip,s ,n
aij<mn> = Mpm
(4.2.132)
es p
ei s i
aij6mn> = (
pm nj )as .
mp jn
(4.2.133)
100
B ipmn x p = Aipmn x p ,
1
B ipmn x p = Aipmn x p ,
2
(4.2.134)
i sledeca teorema:
Teorema 4.2.8. U generalisanom Finslerovom prostoru GFN , u odnosu na prvu i drugu vrstu
hkovarijantnog diferenciranja, treci identitet Ricijevog tipa dat je izrazom:
a...
...| m| n
1
a...
...| n| m
1 2
=1
Arpmn
1
( )
( )
v
p ... p
t ...
s
r+
a...
A t mn
a... a...
..., s K rmn x
2
1
r
p
=1
2a...
...<mn>
2a...
...6mn>
(4.2.135)
p ...
+ Temn
a...| p ,
1
elibrary.matf.bg.ac.rs
a...
...<mn>
=1
...ru
art11...t
v 6mn>
r
Mpm
( )
( )
u
t
p
p
...
s
...
...
s
Mt m
(a...
(a..., n + a..., s , n )
..., n + a..., s , n ) ,
p
r
=1
(4.2.136)
( )( )
( )( )
u1
u
u
v
p
s ... r s
p
t ...
r r
[pm ns]
[pm nt ]
=
a...
a +
r
r
r
s ...
`
`
`
`
=1 =2
=1 =1
(<)
(4.2.137)
( )( )
t
t ...
p
s
+
[t m nt ]
a... ,
p
s
`
`
=1 =1
v1
v
(<)
gde je
( )( )
t ...
p
r ...r1 pr+1 ...ru
a = at11...t1
sr+1 ...tv .
s ...
r
4. Identitet Ri
cijevog tipa
101
2 1
(4.2.138)
p i
+ ai,s K srmn x r Tmn
aj | p ,
1
gde je
s
s
ei
ei
es i es i
ei
ei
Aipmn =
mp,n np,m + mp sn np sm mp, s G, n + np, s G, m
,
(4.2.139)
s
s
s e i
ei
ei
ei
ei
ei + s
Aipmn =
.
np,m
pm ns pn ms mp, s G, n + np, s G, m
mp,n
(4.2.140)
elibrary.matf.bg.ac.rs
p ... p
t ...
...
...
r
s
A t mn
a...| m| n a...| n| m =
A pmn
a...
a... a...
r
..., s K rmn x
4
3
1
r
p
2 1
2 1
=1
=1
(4.2.141)
...
...
p ...
2a...<mn> 2a...6mn> Tmn a...| p ,
5. Identitet Ri
cijevog tipa
Posmatrali smo i razliku:
aij | mn aij | nm =Aipmn apj Apjmn aip + 2aij<mn> + 2aij0mn1 ai, s K srmn x r
1
i
ep i
p
mn aj | p + mn aj | p ,
1
(4.2.142)
gde je
s
s
i
s i
ei
es ei
ei
Aipmn = i
,
pm,n np,m + pm sn np ms pm, s G, n + np, s G, m
(4.2.143)
s i
i
s
s
ei
es ei
ei
Aipmn = i
pm,n np,m + mp ns pn sm pm, s G, n + np, s G, m
.
(4.2.144)
102
a...
...| mn
a...
...| nm
=1
Arpmn
5
( )
( )
v
p ... p
t ...
s
a...
A t mn
a... a...
r+
..., s K rmn x
6
1
r
p
=1
2a...
...<mn>
2a...
...0mn1
...
p
mn a...| p
ep a...
mn ...| p
(4.2.145)
...ru
art11...t
v 0mn1
( )( )
( )( )
u1
u
u
v
p
s ... r s
p
t ...
r r
=
[pm sn]
a...
[pm t n]
a... +
r
t
r
s
`
`
`
`
=1 =2
=1 =1
(<)
(4.2.146)
( )( )
t
t ...
p
s
a .
[t m t n]
+
p
s ...
`
`
=1 =2
v1
v
elibrary.matf.bg.ac.rs
(<)
6. Identitet Ri
cijevog tipa
1 2
ai,s K srmn x r
1
i
M p
mn aj | p ,
(4.2.147)
gde je
i
s i
s e i
i
s
i
s
Aipmn = i
pm,n pn,m + pm sn pn ms pm, s G, n + pn, s G, m
,
(4.2.148)
s
i
s
i
s i
i
es i
Aipmn = i
.
pm,n pn,m + mp sn pn sm pm, s G, n + pn, s G, m
(4.2.149)
103
a...
...| mn
a...
...| n| m
1 2
=1
Arpmn
7
( )
( )
v
p ... p
t ...
s
a...
A t mn
a... 2a...
r+
..., s K rmn x
8
1
r
p
=1
(4.2.150)
...
+ 2a...
...<mn> + 2a...6mn1 ,
...ru
atr11...t
v 6mn1
( )( )
u1
u
p
s ...
r r
r r
=
([pm] sn + pn [sm] )
a
r
r ...
=1 =2
(<)
u
v
elibrary.matf.bg.ac.rs
( )( )
p
t ...
+
a +
r
s ...
=1 =1
( )( )
v1
v
t
t ...
p
p
s
s
([t m] t n + t n [t n] )
a... .
+
p
s
=1 =2
s
(r
[pm] t n
s
r
pn [t n] )
(<)
7. Identitet Ri
cijevog tipa
2 1
10
ai,s K srmn x r
1
i
p i
p
mn aj | p + nm aj | p ,
1
(4.2.151)
gde je
s
s
i
s i
ei
es i
ei
Aipmn = i
,
pm,n np,m + pm sn np sm pm, s G, n + np, s G, m
(4.2.152)
s
s
i
s i
s e i
ei
ei
Aipmn = i
.
pm,n np,m + pm ns pn sm pm, s G, n + np, s G, m
(4.2.153)
10
104
a...
...| mn
a...
...| n| m
2 1
=1
Arpmn
9
( )
( )
v
p ... p
t ...
s
a...
A t mn
a... a...
r+
..., s K rmn x
10
1
p
r
=1
2a...
...<nm>
2a...
...6nm1
...
(p
mn a...| p
...
p
nm a...| p )
(4.2.154)
10
8. Identitet Ri
cijevog tipa
elibrary.matf.bg.ac.rs
Teorema 4.2.12. Sedmi identitet Ricijevog tipa u generalisanom Finslerovom prostoru GFN ,
u odnosu na prvu i drugu vrstu h-kovarijantnog diferenciranja, ima oblik:
11
1 2
12
(4.2.155)
i
ep
ep i
+ ai,s K srmn x r +
mn aj | p nm aj | p ,
1
gde je
s
i
s
s e i
ei
ei
ei i +
es
Aipmn =
,
mp,n
pn,m
mp ns pn ms mp, s G, n + pn, s G, m
(4.2.156)
s
i
s
ei
ei
ei i +
es i
es
Aipmn =
.
mp,n
pn,m
mp sn
np ms mp, s G, n + pn, s G, m
(4.2.157)
11
12
Osmi identitet Ricijevog tipa u generalisanom Finslerovom prostoru GFN izrazen je sledecom
teoremom:
Teorema 4.2.13. U generalisanom Finslerovom prostoru GFN , u odnosu na prvu i drugu
vrstu h-kovarijantnog diferenciranja, osmi identitet Ricijevog tipa dat je izrazom:
a...
...| mn
2
a...
...| n| m
1 2
=1
Arpmn
11
( )
( )
v
t ...
p ... p
s
r
a...
A t mn
a... a...
..., s K rmn x
12
1
p
r
=1
2a...
...<nm>
2a...
...0mn>
ep a... ,
ep a...
+
nm ...| p
mn ...| p
1
(4.2.158)
105
...ru
art11...t
v 0mn>
u1
u
r
(r
mp [ns]
=1 =2
(<)
u
v
( )( )
p
s ...
a
r
r ...
r
[np] ms )
( )( )
p
t ...
+
a... +
r
s
=1 =1
( )( )
v1
v
t
t ...
p
p
s
s
+
(mt [nt ] + [nt ] mt )
a .
p
s ...
=1 =1
s
(r
mp [nt ]
r
[np] mt )
(<)
9. Identitet Ri
cijevog tipa
elibrary.matf.bg.ac.rs
11
2 1
13
14
i
+ ai,s K srmn x r + M p
nm aj | p ,
1
(4.2.159)
gde je
s
s
ei es i
ei
ei
ei
ei +
es
Aipmn =
mp,n
np,m
mp ns np sm mp, s G, n + np, s G, m
,
(4.2.160)
s
s
ei
ei
ei
ei + s
ei es ei
Aipmn =
.
mp,n
np,m
pm ns np ms mp, s G, n + np, s G, m
(4.2.161)
13
14
t ...
p ... p
s
r
...
...
r
a...
A t mn
a... a...
a...| mn a...| n| m =
A pmn
..., s K rmn x
14
1
13
p
r
2
2 1
=1
=1
(4.2.162)
p i
...
...
2a...<mn> + 2a...0nm> + M nm aj | p ,
2
106
10. Identitet Ri
cijevog tipa
Na kraju, posmatrali smo razliku:
i
ep i
aij | m| n aij | n| m =Aipmn apj Apjmn aip + ai, s K srmn x r + p
nm aj | p nm aj | p ,
1
2 1
15
15
(4.2.163)
gde je
i
s
s
s e i
es i
ei
ei
Aipmn = i
.
pm,n np,m + pm ns np sm pm, s G, n + np, s G, m
15
elibrary.matf.bg.ac.rs
13
(4.2.164)
p ... p
t ...
...
...
r
A t mn
a...| m| n a...| n| m =
A pmn
a...
a
15
15
r
p ...
1 2
2 1
=1
=1
(4.2.165)
...
s
r
p
...
p
...
e a
a..., s K rmn x
nm ...| p nm a...| p ,
1
p ... p
t ...
r1 ...ru
r1 ...ru
r
a...
a...
K t mn
at1 ...tv | m| n at1 ...tv | n| m =
K pmn
3
3
p
r
1 2
2 1
=1
=1
(4.2.166)
s
r ,
a...
..., s K rmn x
1
gde je
i
K ijmn =Aijmn + p
nm Tpj =
3
15
p i
i
=i
jm,n nj,m + jm np
p
p
s
s
+ Pjm,
s , n nj, s , m .
i
i
p
i
p
nj pm + nm (pj jp )+
(4.2.167)
4.2.3
107
s
+ i
+
pn, s G, m
i
Ri pmn =K ipmn + Cps
K srmn x r =
2
s
ei
ei
ep ei ep ei
ep
ep s +
=
mj,n nj,m + mj np nj mp mj,s G,n + nj,s G,m
(
)
i
+ Cps
Gs,nm Gs,nm
+ Giqm Gq,n Gsqn Gq,m ,
su tenzori a velicine A, t = 1, 15 :
t
elibrary.matf.bg.ac.rs
i
s
i
s
s e i
i
s e i
Aipmn = i
,
pm,n pn,m + pm ns pn ms pm, s G, n + pn, s G, m
1
i
i
s
i
s
es i es i
Aipmn = i
pm,n pn,m + mp sn np sm pm, s G, n + pn, s G, m
,
2
s
s
ei
ei
es i es i
ei
ei
Aipmn =
mp,n np,m + mp sn np sm mp, s G, n + np, s G, m
,
3
s
s
s e i
s e i
ei
ei
ei
ei
Aipmn =
,
mp,n np,m + pm ns pn ms mp, s G, n + np, s G, m
4
i
s
s
s i
ei
ei
es ei
Aipmn = i
,
pm,n np,m + pm sn np ms pm, s G, n + np, s G, m
5
s i
i
s
s
ei
ei
es ei
Aipmn = i
,
pm,n np,m + mp ns pn sm pm, s G, n + np, s G, m
6
i
s
i
s
i
s i
s e i
Aipmn = i
pm,n pn,m + pm sn pn ms pm, s G, n + pn, s G, m
,
7
i
s i
i
s
i
s
es i
Aipmn = i
pm,n pn,m + mp sn pn sm pm, s G, n + pn, s G, m
,
8
s i
i
s
s
ei
es i
ei
Aipmn = i
pm,n np,m + pm sn np sm pm, s G, n + np, s G, m
,
9
s
s
i
s i
s e i
ei
ei
Aipmn = i
,
pm,n np,m + pm ns pn sm pm, s G, n + np, s G, m
10
s
i
s
s e i
i
ei
es ei
ei
Aipmn =
,
mp,n pn,m + mp ns pn ms mp, s G, n + pn, s G, m
11
s
i
s
ei
ei
es
es i
ei i +
Aipmn =
,
np ms mp, s G, n + pn, s G, m
mp sn
pn,m
mp,n
12
s
s
ei
ei
ei es i
es
ei +
ei
Aipmn =
,
mp ns np sm mp, s G, n + np, s G, m
np,m
mp,n
13
s
s
ei
ei
ei es ei
ei + s
ei
Aipmn =
,
pm ns np ms mp, s G, n + np, s G, m
np,m
mp,n
14
s
s
i
s e i
ei
es i
ei
Aipmn = i
,
pm,n np,m + pm ns np sm pm, s G, n + np, s G, m
15
108
imaju oblik i ulogu tenzora krivine, ali nisu tenzori. Na primer, iz jednakosti (4.2.147) se dobija:
i
ai| mn ai| n| m = Aipmn ap + Tpm
(ap, n + ap, s ,sn ),
1 2
pa se moze videti da A nije tenzor, zato sto izraz u zagradi nije tenzor. Ovi velicine A, t = 1, 15
7
t
smo nazvali pseudotenzori krivine od prve do petnaeste vrste u generalisanom Finslerovom
prostoru GFN u odnosu na prvu i drugu vrstu h-kovarijantnog diferenciranja.
U slucaju kada je:
gij (x, x)
= gji (x, x),
generalisani Finslerov prostor GFN se redukuje na uobicajan Finslerov
prostor FN ;
gij (x) = gji (x), generalisani Finslerov prostor GFN se redukuje na generalisan Rimanov
prostor GRN ;
elibrary.matf.bg.ac.rs
gij (x) = gji (x), generalisani Finslerov prostor GFN se redukuje na Rimanov prostor RN .
[1] The Accidental Mathematician, La Sagrada Familia and the hyperbolic paraboloid, http:
//ilaba.wordpress.com/2009/06/14/la-sagrada-familia-and-the-hyperbolic-paraboloid/, (2009),
datum pristupa: 04.06.2013.
[2] Aleksandrov A. D., O beskonechno malyh izgibaniyah neregulyarnyh poverhnostei, Matem.
sbornik, 1 (43), 3 (1936), 307321.
elibrary.matf.bg.ac.rs
Literatura
[3] Alexandrov V. A., Remarks on Sabitovs conjecture that volume is stationary under an innitesimal bending of a surface , Sibirsk. Math. Zh., 5, (1989), 1624.
[4] Alexandrov V. A., On the total mean curvature of non-rigid surfaces, Sibirsk. Math. Zh., 50:5,
(2009), 963996.
[5] Alexandrov V. A., New manifestions of the Darboux-s rotation and translation elds of a surface,
arXiv:0910.5164v1 [math.DG], (2009).
[6] Algren F.J., Rivin I., The mean curvature integral is invariant under bending, Geometry and
Topology Monographs, 1, (1998), 121.
[7] arcspace.com, La Rioja, Bodegas Ysios, Santiago Calatrava, http://www.arcspace.com/features
/santiago-calatrava/la-rioja-bodegas-ysios/, (2000), datum pristupa: 08.05.2013.
[8] Bocher S., Yano K., Tensor-elds in non-symmetric connections, Annals of mathematics, Vol.
56, No 3, 504519.
[9] Bustler, Atelier Hitoshi Abe: Shiki Community Hall, Kumamoto, Japan, 2002,
http://www.bustler.net/index.php/article/sia getz architecture prize for emergent architecture
for hitoshi abe/, (2008), datum pristupa: 25.04.2013.
[10] Calladine C.R., Theory of shell structures, Cambrige University Press, (1983).
[11] Capovilla R., Guven J., Geometry of deformations of relativistic memebranes, Phys. Rev. D, 51,
(1995), 67366743.
[12] Cartan E., Les Espaces de Finsler, Paris, (1934).
[13] Chakravorty D., Bandyopadhyayt J. N., Sinhat P. K., Finite element free vibration analysis of
conoidal shells, Computers Strucrures Vol. Xi. No 6, (1995), 915918.
[14] Cohn-Vossen S.E., Nekotorye voprosy dier. geometrii c celom , J. Fizmatgiz, Moskva, (1959).
Ser.
[15] Cvetkovi
c M., Curvature based functions variations, FACTA UNIVERSITATIS (NIS),
Math.Inform. 28, No 1, (2013), 5163.
109
LITERATURA
[16] Cvetkovi
c M., Zlatanovic M., New Cartans tensors and pseudotensors in a Generalized Finsler
Space, Filomat 28:1 (2014).
c M., Innitesimalne deformacije krivih, povrsi i mnogostrukosti - doktorska disertacija,
[17] Ciri
Prirodno-matematicki fakultet, Nis, (2012).
[18] Ilhan Koman, Ilhan Komans Works, http://www.koman.org/work/work 1980-83pi.html, (2008),
datum pristupa: 16.05.2013.
[19] Developable Surface Boat Designs, Tuesday, July 27, 2010, http://developable-surface-boatdesigns.blogspot.com/2010 07 01 archive.html, (2010), datum pristupa: 15.05.2013.
[20] Du Q., Liu C., Wang X., Simulating the deformation of vesicle membranes under elastic bending
energy in three dimensions, Journal of computational physics, 212, (2006), 757777.
[21] Duncan B.S., Olson A.J, Shape analysis of molecular surfaces, Biopolymers, Vol. 33, No 2, (1993),
231238.
[22] Eisenhart L.P., An introduction to dierential geometry with use of the tensor calculus, Princeton
University Press, (1947).
elibrary.matf.bg.ac.rs
110
[23] Emov N., Kachestvennye voprosy teorii deformacii poverhnostei, UMN 3.2 , (1948), 47158.
[24] Ehlmann B.L., Viles H.A., Bourke M.C., Quantitative morphologic analysis of boulder shape and
surface texture to infer environmental history: A case study of rock breakdown at the Ephrata
Fan, Journal of Geophysical Research F, Vol. 133, No F02012, (2012), 148227.
[25] ENCYCLOPDIE DES FORMES MATHMATIQUES REMARQUABLES, Surface de Gaudi,
http://www.mathcurve.com/surfaces/gaudi/gaudi.shtml, (2006), datum pristupa: 04.06.2013.
[26] Finsler P., Uber Kurven und Flachen in Allgemeinen Raumen, Dissertation, Gottingen, (1918).
[27] Flickriver viewer software, Morton H. Meyerson Symphony Center, http://www.ickriver.com/
photos/maconahey/4020648405/, (2009), datum pristupa: 25.04.2013.
[28] FlySportUSA, Vans Aircraft RV-12 Light Sport Kit Airplane, http://www.ysportusa.com
/homebuilt lsa.php, (2013), datum pristupa: 09.05.2013.
[29] Fomenko V. T., Nekotorye rezultaty teorii beskonechno malyh izgibanii poverhnostei, Mat. Sb.,
T. 72(114):3, (1967), UDK 513.736.4, 388411.
[30] Gray A., Modern dierential geometry of curves and surfaces with Mathematica, 2nd ed. CRC
Press, (1998).
[31] Green A.E, Zerna W., Theoretical elasticity, 2nd ed. Oxford University Press, (1968).
[32] Grin L.D, The intrinsic geometry of the cerebral cortex, Journal of Theoretical Biology, Vol.
166, No 3, (1994), 261273.
[33] Glaeser G., Gruber F., Developable surfaces in contemporary architecture, Journal of Mathematics
and Arts, Vol. 01, No 01, (2007), 115.
[34] Hans Hollein, Um-und Zubau Haas Haus, http://www.hollein.com/ger/Architektur/NachTypus/Shops-und-Interiors/Um-und-Zubau-Haas-Haus, (2004), datum pristupa 08.05.2013.
[35] Harms P., Sobolev metrics on shape space of surfaces - Dissertation, Universitat Wien, (2010).
LITERATURA
111
[37] Ivanova-Karatopraklieva I., Sabitov I., Bending of surfaces II, J. Math. Sci., New York 74 No 3,
(1995), 9971043.
[38] Jensen T., Shape Operators of Surfaces in R3 , Department of Mathematics, KNU, (2010).
[39] Klingenberg W., A course in dierential geometry, SRC Springer-Verlag, New York, MR0474045,
ZbI 0366,53001, (1978).
[40] Kurtek S., Klassen E., Ding Z., Jacobson S.W., Jacobson J.L., Avison M.J., Srivastava A.,
Parameterization-invariant shape comparisons of anatomical surfaces, IEEE Medical Imaging,
(2010), 849858.
[41] Le dfouloir de krn, Franck Gehry, http://krn-defouloir.blogspot.com/2008/07/franck-gehry.html,
(2008), datum pristupa 09.05.2013.
[42] Lipowsky R., The conformation of membranes, Nature, 349, (1991), 475481.
elibrary.matf.bg.ac.rs
[36] Helfrich W., Elastic properties of lipid bilayers-theory and possible experiments, Z. Naturforsch,
C, 28, (1973), 693703.
[43] Mano S., Deviation operator and deviation equations over spaces with ane connections and
metrics, Journal of Geometry and Physics, Vol. 39, No 4, (2001), 337-350.
[44] Massachusetts Institute of Technology, Outside Court House, http://classof2014.mit.edu/
ring/delivery.html, (2013), datum pristupa: 25.04.2013.
[45] Matts Photo Blog, Gaud designed schoolhouse with cantilevered style roof, http:// internetonastick.net/gallery/v/eurotrip2009/IMG 1345.JPG.html, (2009), datum pristupa: 04.06.2013.
[46] Medina A., Antoni Gaudis ingenious curves made a temporary building last more than 100 years,
http://planta1.com/forum/blog.php?do=listpage=4, (2013), datum pristupa: 24.04.2013.
[47] MID-CENTURIA: Art, Design and Decor from the Mid-century and beyond, Architect Jules
Gregory House, http://www.midcenturia.com/2011/01/architect-jules-gregory-house 08.html,
(2011), datum pristupa: 08.05.2013.
[48] Mincic S.M., Velimirovic Lj.S., Diferencijalna geometrija krivih i povrsi , Prirodno-matematicki
fakultet, Nis, (2007).
[49] Mincic S.M., Velimirovic Lj.S., Tenzorski racun , Prirodno-matematicki fakultet, Nis, (2009).
[50] Minicic S., Zlatanovic M., New commutation formulas for -dierentation in a generalized Finsler
space, Dierential Geometry-Dynamical Systems, Vol. 12, (2010), 145157.
[51] Minicic S., Zlatanovic M., Commutation formulas for -dierentation in a generalized Finsler
space, Kragujevac Journal of Mathematics, Vol. 35, No 2, (2011), 277289.
[52] Minicic S., Zlatanovic M., Derived curvature tensors in generalized Finsler space, Dierential
Geometry-Dynamical Systems, Vol. 13, (2011), 179190.
[53] Mishra C. K., On C h Recurrent and C v -Recurrent Finsler Spaces of Second Order, Int. J. Contemp. Math. Sciences, Vol. 3, No 17, (2008), 801810.
[54] The Modern Art Encyclopedia, Constructivism, http://www.gd.drake.edu/spring2011/amendez
/modartencyclopedia/constructivism.html, (2011), datum pristupa: 15.05.2013.
112
LITERATURA
[56] Mutz M., Helfrich W., Bending rigidities of some biological membranes as obtained from Fourier
analysis of contour sections, J. Phys. France, 51, (1990), 9911002.
[57] OpenBuildings, Guggenheim Museum, Bilbao, http://openbuildings.com/buildings/guggenheimmuseum-bilbao-prole-6485, (2013), datum pristupa: 09.05.2013.
[58] Oprea J., Dierential Geometry and Its Applications, The Mathematical Association of America
Edition, (2007), (in English).
[59] Paul Bourke, dForms, Concept by Tony Wills, http://paulbourke.net/geometry/dform/, (2013),
datum pristupa: 15.05.2013.
[60] Peggy Guggenheim Collection, Antoine Pevsner, http://www.guggenheim-venice.it/inglese
/collections/artisti/dettagli/pop up opera2.php?id opera=270page=, (2008), datum pristupa:
15.05.2013.
[61] Pogorelov A. V., Vneshnaya geometriya vypuklyh pov., Moskva, (1969).
elibrary.matf.bg.ac.rs
[55] MoMA, Antoine Pevsner (French, 1886-1962), Developable Column, http://www.moma.org /collection/object.php?object id=80820, (2013), datum pristupa: 15.05.2013.
[62] PSS-ARCHI.EU, Gehry Tower a Hanovre (Allemagne), http://www.pss-archi.eu/forum/ viewtopic.php?pid=96713, (2001), datum pristupa: 09.05.2013.
[63] Rile H., Prostorne krovne konstrukcije, Gradevinska knjiga Beograd, (1977).
[64] Riemann B., Uber die Hypothesen, welche der Geometrie zugrunde liegen (1854), Ges. Math.
Werke, Leipzig, (1892), reproduced by Dover Publications (1953), 272287.
[65] Rund H., The Dierential Geometry of Finsler Space, Moskow, (1981), (in Russian).
[66] Shamihoke A.C., A Note on a Curvature Tensor in a Generalized Finsler Space, Tensor, N.S.,
15, (1964), 2022.
[67] Tu Z.C., Ou-Yang Z.C., A geometric theory on the elasticity of bio-membranes, J. Phys. A: Math.
Gen., 37, (2004), 1140711429.
[68] Tu Z.C., Elastic theory of membranes, AAPPS Bulletin 16, No 3, (2006), 3033.
[69] Vekua I., Obobschennye analiticheskie funkcii, Moskva, (1959).
[70] Velimirovic Lj., Beskonacno male deformacije toroidnih rotacionih povrsi - magistarska teza,
Filozofski fakultet, Nis, (1991).
[71] Velimirovic Lj., Beskonacno mala savijanja povrsi - doktorska disertacija, Matematicki institut,
Beograd, (1998).
[72] Velimirovic Lj., Radivojevic G., Kostic D., Analysis of Hyperbolic Paraboloids at Small Deformations, Facta Universitatis, Series Arhitecture and Civil Engineering, Vol. 1, No 5, (1998),
627637.
[73] Velimirovic Lj., Analysis of bending of surfaces using program package Mathematica, Facta
Universitatis-Series Arhitecture and Civil Engineering, Vol. 2, No 1, (1999), 1521.
[74] Velimirovic Lj., On variation of the volume under innitesimal bending of a closed rotational
surface, Novi Sad J. Math. 29(3), (1999), 377386.
LITERATURA
113
[76] Velimirovic Lj., Radivojevic G., On Conoid Surfaces in Function of Space Roof Construction,
Annuaire de lUniversite dArchitecture, de Genie Civil et de Geodesie-Soa, (2000-2001), 4352.
[77] Velimirovic Lj., Change of geometric magnitudes under innitesimal bending, Facta Universitates, Vol. 3, No 11, (2001), 135148.
[78] Velimirovic Lj., Stankovic M., Radivojevic G., Modeling Conoid Surfaces, Facta Universitatis Series Architecture and Civil Engineering Vol. 2, No 4, (2002), 261266.
[79] Velimirovic Lj., Stankovic M., O konoidnim povrsima pomocu Mathematica-e, Zbornik radova
XXI jugoslovenskog savetovanja za nacrtnu geometriju i inzenjersku graku, MonGeometrija,
(2002), 7782.
[80] Velimirovic Lj., Cvetkovi
c M., Developable Surfaces and Applications, Proceedings of 24th
National and 1st International Scientic Conference moNGeometrija 2008, (2008), 394402.
elibrary.matf.bg.ac.rs
[75] Velimirovic Lj., Radivojevic G., Kostic D., Geometric Analysis of Hyperbolic Paraboloids as Building Technique Element, Buletins for Applied Mathematics (BAM) Hungary, (2000), PC-129.
[81] Velimirovic Lj., Innitesimal bending, Faculty of Science and Mathematics, Nis, (2009), ISBN
86-83481-42-5.
c M., Velimirovic N., Ruled Surfaces in Architecture, Int J.
[82] Velimirovic Lj., Cvetkovi
c M., Ciri
on IT and Security, No 4, (2009), 2130.
[83] Velimirovic Lj., Velimirovic M., Cvetkovi
c M., Ruled Surfaces and Applications, Proceedings
of 23th International Conference on Systems for Automation Engineering and Research, (SAER2009), 207212.
c M., Velimirovic N., Gaudi Surfaces, Proceedings of 25th In[84] Velimirovic Lj., Cvetkovi
c M., Ciri
ternational Scientic Conference for Geometry and Engineering Graphics moNGeometrija2010,
(2010).
[85] Velimirovic Lj., Stanimirovic P., Zlatanovic M., Geometry of Curves and Surfaces with Mathematica, Prirodno-matematicki fakultet, Nis, monograja, (2010).
c M.S., Visualization of the Willmore energy of the surfaces, Proccedings of
[86] Velimirovic Lj., Ciri
the 25th international scientic conference MoNGeometrija, Beograd, (2010), 650656.
c M.S., Cvetkovi
[87] Velimirovic Lj., Ciri
c M., Change of the Willmore energy under innitesimal
bending of membranes, Computers and Mathematics with Applications, Vol. 59, No 12, (2010),
36793686.
c M.S., Velimirovic N.M., On the Willmore energy of shells under innitesimal
[88] Velimirovic Lj., Ciri
deformations, Computers and Mathematics with Applications, Vol. 61, (2011), 31813190.
c M.S., On the total mean curvature of piecewise smooth surfaces under
[89] Velimirovic Lj., Ciri
innitesimal bending, Applied Mathematics Letters, 24, (2011), 15151519.
[90] Velimirovic Lj., Rancic S., Zlatanovic M., Visualization of innitesimal bending of curves, Approximation and Computation, A volume dedicated to Professor Gradimir V. Milovanovic on
the occasion of his 60th birthday, Springer Optimization and Its Applications, Vol. 42, (2011),
469480.
LITERATURA
elibrary.matf.bg.ac.rs
114
[98] Williams C.K.J., Use of structural analogy in generation of smooth surfaces for engineering purposes, Computer-aided design, Vol. 19, No 6, (1987), 310322.
[99] Zlatanovic M., Minicic S., Identities for curvature tensors in generalized Finsler space, Filomat
Vol. 23, No 2, (2009), 3442.
[100] Zlatanovic M., Cvetkovi
c M., Velimirovic N., Analysis of Kinds of Conoid at Small Deformations, Pollack Periodica - An International Journal for Engineering and Information Sciences,
Pollack Mihaly Faculty of Engineering and Information Technology, University of Pecs, Hungary,
Vol. 7, No Suppl, (2012), 163171.
4/1
, :
, :
, :
, :
, :
, :
, :
, :
, :
, :
, :
elibrary.matf.bg.ac.rs
, :
, :
, :
, :
, :
(// ////)
, :
, :
/ , :
/
.
.
2013.
, 33.
114 ., .
,
, , ,
, ,
, , ,
, ,
, ,
, , ,
, h-
, ,
, .
514.763.2 (043.3)
, :
, :
R 3
, , ,
.
, ,
.
.
.
, :
05.03.2012.
, :
, :
:
:
:
:
elibrary.matf.bg.ac.rs
, :
, :
Q4.09.13 - 1
Q4.16.01 - Izdawe 1
4/2
monograph
textual / graphic
doctoral dissertation
Author, AU:
ilica D. Cvetkovi
Mentor, MN:
Ljubica S. Velimirovi
Title, TI:
elibrary.matf.bg.ac.rs
Serbian
English
Serbia
Serbia
2013.
Publisher, PB:
authors reprint
(chapters/pages/ref./tables/pictures/graphs/appendixes)
mathematics
differential geometry
UC
514.763.2 (043.3)
library
Note, N:
05.03.2012.
President:
Member:
Member:
Member:
Member, Mentor:
Q4.09.13 - 1
elibrary.matf.bg.ac.rs
Abstract, AB:
Q4.16.01 - Izdawe 1