130
Sveuˇ ciliˇ ste u Zagrebu Prirodoslovno-matematiˇ cki fakultet Matematiˇ cki odsjek Teme diplomskih radova u akademskoj godini 2013./2014. - Slobodne teme -

Teme diplomskih radova u akademskoj godini 2013./2014. · 2014-09-29 · Pi ortogonalni projektor na Wi: O•cito su fuzijski bazni okviri generalizacija baznih okvira Hilbertovih

  • Upload
    others

  • View
    6

  • Download
    0

Embed Size (px)

Citation preview

Sveuciliste u Zagrebu

Prirodoslovno-matematicki fakultet

Matematicki odsjek

Teme diplomskih radova u akademskoj godini2013./2014.

- Slobodne teme -

Mentor: Drazen Adamovic

Poluprosti prstenovi

Podrucje: Algebra

Prikladno za studij: svi smjerovi

Preduvjeti: Pozeljno je predznanje iz kolegija Algebra

Opis: U diplomskom radu bi se proucavali poluprosti prstenovi, poluprostealgebre i njihovi moduli. Ovisno o afinitetu i predznanju studenta naglasakce biti dan na strukturnu teoriju, konstrukciju i klasifikaciju tih prstenova.

Literatura:S. Lang, Algebra, Springer, 2002.T.W. Hungerford, Algebra, Springer, 1980.

1

Mentor: Drazen Adamovic

Slobodne grupe i prezentacije

Podrucje: Algebra

Prikladno za studij: svi smjerovi

Preduvjeti: Poeljno je predznanje iz kolegija Algebra

Opis: U diplomskom radu bi proucavali slobodne grupe, te grupe definiranepomocu prezentacija. Dokazali bi se osnovni strukturni rezultati o slobod-nim grupama. Ovisno o afinitetu i predznanju studenta, proucavale bi seprezentacije nekih zanimljivih konacnih i beskonacnih grupa.

Literatura:Joseph J. Rotman, Advanced Modern Algebra, Graduate Studies in Mathe-matics, v. 114, American Mathematical Society, 2010T.W. Hungerford, Algebra, Springer, 1980.

2

Mentor: Ljiljana Arambasic

C∗-algebre

Podrucje: Funkcionalna analiza

Prikladno za studij: Svi studiji

Preduvjeti: Polozeni kolegiji ”Normirani prostori” i ”Operatori na normi-ranim prostorima”.

Opis: C∗-algebra A je Banachova algebra na kojoj je zadano preslikavanjeinvolucija ∗ : A → A tako da za sve a ∈ A vrijedi ‖a∗a‖ = ‖a‖2. Najjednos-tavniji, ali i najvazniji, primjeri C∗-algebri vezani su za B(H), C∗-algebruogranicenih linearnih operatora na nekom Hilbertovom prostoru. Naglasakdiplomskog rada moze biti na upoznavanju strukture C∗-algebri, konstruk-ciji reprezentacija, ili na proucavanju posebnih klasa preslikavanja medu C∗-algebrama kao sto su pozitivna, potpuno pozitivna i potpuno ogranicenapreslikavanjima.

Literatura:W. Arveson, An invitation to C∗-algebras, Springer, 1998.,K.R. Davidson, C∗-algebras by example, AMS, 1996.J. Dixmier, C∗-algebras, North-Holland, Amsterdam, 1982.G.J. Murphy, C∗-algebras and operator theory, Academic Press, London,1990.V.I. Paulsen, Completely bounded maps and dilations, Pitman research notesin mathematics, 146, Longman, 1986.

3

Mentor: Ljiljana Arambasic

Funkcionalne jednadzbe pridruzene nekim teoremima srednjevrijednosti

Podrucje: Matematicka analiza

Prikladno za studij: Svi studiji

Preduvjeti: Nema.

Opis: Funkcionalna jednadzba je jednadzba u kojoj je nepoznanica jednaili vise funkcija. U ovom diplomskom radu cilj je prouciti neke funkcionalnejednadzbe motivirane Lagrangeovim odnosno Pompeiuovim teoremom sred-nje vrijednosti.

Literatura:M. Kuczma, A survey of the theory of functional equations, Univ. Beograd.Publ. Elektrotehn. Fak. Ser. Mat. Fiz., No. 130, Beograd 1964.S. Kurepa, Matematicka analiza 2, Skolska knjiga 1997, Zagreb.C. Rousseau, Rolle’s theorem: from a simple theorem to an extremely pow-erful tool, http://wikis.zum.de/dmuw/images/a/ad/Rolle−Khovanskii.pdfP. K. Sahoo, T. Riedel, Mean value theorems and functional equations, WorldScientific Publishing Co., Inc., River Edge, NJ, 1998. xii+245 pp.

4

Mentor: Ljiljana Arambasic

Fuzijski bazni okviri

Podrucje: Funkcionalna analiza

Prikladno za studij: Svi studiji

Preduvjeti: Polozeni kolegiji ”Normirani prostori” i ”Operatori na normi-ranim prostorima”.

Opis: Neka je I konacan ili prebrojiv skup i vi ∈ R+, i ∈ I. Familijazatvorenih potprostora (Wi)i∈I separabilnog Hilbertovog prostora H je fuzi-jski bazni okvir za H s obzirom na tezine (vi) ako postoje konstante A,B > 0tako da za sve x ∈ H vrijedi A‖x‖2 ≤ ∑

i v2i ‖Pi(x)‖2 ≤ B‖x‖2, pri cemu je

Pi ortogonalni projektor na Wi. Ocito su fuzijski bazni okviri generalizacijabaznih okvira Hilbertovih prostora, a pokazuje se i da mnoga svojstva baznihokvira imaju svoje analogone u ovoj opcenitijoj formulaciji. Cilj diplomskograda je prouciti neka od tih svojstava.

Literatura:P.G. Casazza, The art of frame Theory, Taiwanese Journal of Math., Vol 4(2) (2000) 129-202.P. G. Casazza, G. Kutyniok, Frames of subspaces, Wavelets, frames and op-erator theory, Con-temp. Math., 345, Amer. Math. Soc., Providence, RI,(2004), 87–113.P.G. Casazza, J.C. Tremain, A brief introduction to Hilbert space frame the-ory and its applications.D. Han, K. Kornelson, D. Larson, E. Weber, Frames for undergraduates,Providence, AMS, 2007.

5

Mentor: Ljiljana Arambasic

Neke generalizacije Lagrangeovog teorema srednje vrijednosti

Podrucje: Matematicka analiza

Prikladno za studij: Svi studiji

Preduvjeti: Nema.

Opis: Lagrangeov teorem srednje vrijednosti je jedan od osnovnih teoremadiferencijalnog racuna. Cilj diplomskog rada je prouciti nekoliko general-izacija ovog teorema na funkcije f kojima su domena i/ili kodomena u R2.

Literatura:Lj. Arambasic, A. Valent, Neke primjene Rolleovog teorema i Lagrangeovogteorema srednje vrijednosti, Poucak, 2013.S. Kurepa, Matematicka analiza 2, Skolska knjiga 1997, Zagreb.C. Rousseau, Rolle’s theorem: from a simple theorem to an extremely pow-erful tool, http://wikis.zum.de/dmuw/images/a/ad/Rolle−Khovanskii.pdfN. Schaumberger, More Applications of the Mean Value Theorem, The Col-lege Mathematics Journal, Vol. 16, No. 5 (Nov., 1985), pp. 397–398.R. Smith, Rolle over Lagrange-Another Shot at the Mean Value Theorem,The College Mathematics Journal, Vol. 17, No. 5 (Nov., 1986), pp. 403–406.J. Tong, A Property Possessed by Every Differentiable Function, The CollegeMathematics Journal, Vol. 35, No. 3 (May, 2004), pp. 216–217.

6

Mentor: Damir Bakic

Bazni okviri s konacnim viskom elemenata

Podrucje: Analiza

Prikladno za studij: Svi studiji.

Opis: Niz vektora (fn) u Hilbertovom prostoru H se naziva bazni okvir za Hako postoje konstante A,B > 0 takve da vrijedi A‖x‖2 ≤ ∑∞

n=1 |〈x, fn〉|2 ≤B‖x‖2, ∀x ∈ H. Za svaki bazni okvir definira se pridruzeni operator analizeU : H → l2 formulom Ux = (〈x, fn〉)n. Visak elemenata baznog okvira (fn)se definira kao dimenzija jezgre operatora U∗.

U radu ce se najprije izloziti osnovna svojstva ovako uvedenog pojmaviska elemenata baznog okvira. U drugom dijelu ce opisati bazni okviri skonacnim viskom te njihova veza s Rieszovim bazama.

Literatura:O. Christensen, An introduction to frames and Riesz bases, Birkhauser, 2002.D. Bakic, Normirani prostori, skripta (dostupno u elektronickom izdanju).

7

Mentor: Damir Bakic

Ekvinormalni Parsevalovi bazni okviri

Podrucje: Vektorski prostori, Analiza

Prikladno za studij: Svi studiji.

Opis: Konacna familija vektora a1, a2, . . . , am je bazni okvir n-dimenzionalnogunitarnog prostora X (tipicno, X = Rn ili X = Cn) ako postoje konstanteA,B > 0 takve da vrijedi A‖x‖2 ≤ ∑m

i=1 |〈x, ai〉|2 ≤ B‖x‖2, ∀x ∈ X.Kaze se da je bazni okvir Parsevalov ako je A = B = 1, tj. ako vrijedi‖x‖2 =

∑mi=1 |〈x, ai〉|2, ∀x ∈ X. Ako svi vektori ai, i = 1, 2, . . . , m, imaju

jednaku normu kazemo da je bazni okvir ekvinormalan.U radu ce se najprije izloziti osnovna svojstva baznih okvira i, posebno,

Parsevalovih baznih okvira. U drugom dijelu prikazat ce se svojstva i nekemetode konstrukcije ekvinormalnih baznih okvira.

Literatura:D. Han, K. Kornelson, D. Larson, E. Weber, Frames for undergraduates,AMS, 2007.P. Casazza, N. Leonhard, Classes of finite equal norm Parseval frames,Springer, Contemp. Math. 451 (2008) 11-31.

8

Mentor: Damir Bakic

Topoloske baze Banachovih prostora

Podrucje: Normirani prostori

Prikladno za studij: Svi studiji.

Opis: U radu ce se najprije izloziti osnovne cinjenice o sumabilnim famili-jama vektora u normiranim i, posebno, Banachovim prostorima. Detaljno cese opisati bezuvjetna konvergencija redova. U drugom dijelu rada prikazat cese osnovni pojmovi i glavni rezultati povezani s konceptom baze normiranog,odnosno Banachovog prostora.

Literatura:C. Heil, A Basis Theory Primer, Georgia Institute of Technology, ManuscriptD. Bakic, Normirani prostori, skripta (dostupno u elektronickom izdanju)

9

Mentor: Mea Bombardelli

Feuerbachova tocka

Podrucje: geometrija

Prikladno za studij: svi studiji

Preduvjeti: osnovna znanja iz geometrije

Opis: Feuerbachova tocka trokuta je tocka u kojoj se dodiruju Feuerbachovakruznica i upisana kruznica tog trokuta. U ovom radu dokazat ce se nekeveze izmedu Feuerbachove tocke, Eulerovog pravca i Feuerbachove kruznice.

Literatura:B. Suceava, P. Yiu, The Feuerbach point and Euler lines, Forum Geometri-corum, 6 (2006)Y. Sortais, R. Sortais, La geometrie du triangle, Hermann, 1997.

10

Mentor: Mea Bombardelli

Teorija grafova i zadaci s natjecanja

Podrucje: kombinatorika, metodika

Prikladno za studij: nastavnicki studiji

Preduvjeti: osnovna znanja iz kombinatorike

Opis: U ovom radu odabrat ce se dijelovi teorije grafova koji bi se mogliobraditi s naprednijim srednjoskolcima.

Literatura:D. Veljan, Kombinatorika s teorijom grafova, Skolska knjiga, Zagreb, 1989.zadaci s drzavnih i medunarodnih natjecanja

11

Mentor: Nela Bosner

Funkcije matrica

Podrucje: Numericka linearna algebra; Numericka analiza; Matematickaanaliza;

Prikladno za studij: Primijenjena matematika; Matematicka statistika;Financijska i poslovna matematika

Preduvjeti: Pozeljno znanje iz kolegija Numericka analiza 1 i 2, ili Nu-mericke metode financijske matematike, ili Pratikum iz numerickih metodau statistici

Opis: Funkcije matrica se danas nasiroko primijenjuju u znanosti i tehnici.Tema ukljucuje teoriju matrica, numericku analizu, teoriju aproksimacija irazvoj algoritama. Ova radnja bi obuhvatila teoriju matricnih funkcija i nu-mericke metode za njihovo racunanje. Takoder bi se dao uvid u osjetljivostovog problema baziranu na Frechetovoj derivaciji. Za numericke algoritmedala bi se analiza tocnosti, stabilnosti i slozenosti. Posebno bi se obradileneke vazne funkcije poput: matricne funkcije predznaka, matricni kvadratnikorijen, matricna eksponencijalna funkcija, matricni logaritam, i sl.

Literatura:N. J. Higham, Functions of Matrices: Theory and Computation, Philadel-phia, SIAM., 2008.G. H. Golub and C. F. van Loan, Matrix Computations, Third Edition, M.D. Johns Hopkins University Press, Baltimore, 1996.R. A. Horn and C. R. Johnson, Topics in Matrix Analysis, Cambridge Uni-versity Press, 1991.

12

Mentor: Nela Bosner

Multigrid metoda za numericko rjesavanje Poissonove jednadzbe

Podrucje: Numericka linearna algebra; Parcijalne diferencijalne jednadzbe

Prikladno za studij: Primijenjena matematika; Matematicka statistika;Financijska i poslovna matematika

Preduvjeti: Pozeljno znanje iz kolegija Numericka analiza 1 i 2 ili Numerickemetode financijske matematike, te Parcijalnih diferencijalnih jednadzbi 1 i 2

Opis: Poissonova jednadzba opisuje razne fizikalne procese i glasi

−∆u(x, t) = f(x, t) na Ω

u(x, t) = 0, na ∂Ω

Standardna metoda za dobivanje aproksimacija rjesenja parcijalne diferen-cijalne jednadzbe, kao sto je Poissonova, je metoda konacnih diferencija. Utoj metodi se iz danog podrucja Ω izabire skup tocaka koji cini mrezu. Usvakoj tocci mreze derivacija se u diferencijalnoj jednadzbi zamijenjuje sakvocijentom koji se priblizava pravoj derivaciji kada mreza postaje sve finija.Ovim postupkom kojeg nazivamo diskretizacija, dobiva se sustav linearnihjednadzbi kod kojeg matrica sustava ima specijalni oblik. Ako zelimo finijuaproksimaciju mreza mora biti gusca, sto rezultira vecom dimenzijom matricesustava i njenom losom uvjetovanoscu. Kako bi se premostio ovaj problem,za rjesavanje sustava primijenjuje se multigrid metoda koja diferencijalnujednadzbu diskretizira na mrezama razlicitih gustoca. Prelazak sa mreze namrezu na elegantan nacin smanjuje gresku aproksimacije rjesenja sustava.Pozeljna bi bila i izrada MATLAB programa koji implementira multigridmetodu za Poissonovu jednadzbu.

Literatura:A. Greenbaum, Iterative Methods for Solving Linear Systems, SIAM, 1997.W. L. Briggs, V. E. Henson, S. F. McCormick, A Multigrid Tutorial, SecondEdition, SIAM, 2000.

13

Mentor: Nela Bosner

Tocnost i stabilnost numerickih algoritama

Podrucje: Numericka analiza; Znanstveno racunanje

Prikladno za studij: Primijenjena matematika; Racunarstvo i matematika

Preduvjeti: Pozeljno znanje iz kolegija Numericka analiza 1 i 2

Opis: Ova radnja bi trebala dati opis ponasanja raznih numerickih algori-tama u aritmetici konacne preciznosti. Tema obuhvaca algoritamske izvode,teoriju perturbacije i analizu gresaka zaokruzivanja. Teorija perturbacije imacentralnu ulogu jer otkriva osjetljivost problema koji se rjesava i daje ogradegresaka. U naslovu teme tocnost se odnosi na apsolutnu ili relativnu greskuaproksimacije y velicine y = f(x) koju zelimo izracunati, i to zelimo izrazitiza neke vazne algoritme. Dobivena aproksimacija je najcesce dobivena prim-jenom algoritma u aritmetici konacne preciznosti. S druge strane, mozemose pitati za koje ulazne parametre smo zaista egzaktno rjesili problem, tj. zakoje ∆x je y = f(x+∆x)? Vrijednost od |∆x| (ili |∆x|/|x|) naziva se povrat-nom greskom. Proces racunanja ograde na povratnu gresku nam je zanimljivjer greske zaokruzivanja interpretira kao perturbaciju ulaznih podataka, agresku u rezultatu mozemo dobiti iz teorije perturbacija. Za mnoge algoritmemozemo dobiti tek slabiji izraz za gresku y +∆y = f(x+∆x), sto u principuznaci da se izracunati y malo razlikuje od izraza y + ∆y, koji se dobiva izulaznih podataka x + ∆x, pri cemu se oni malo razlikuju od pravih ulaznihpodataka x. Takve algoritme nazivamo numericki stabilnim algoritmima, iova vrsta stabilnosti se odnosi na probleme u kojima su greske zaokruzivanjadominantni oblik greske. U radnji bi se razradila analiza povratnih gresaka istabilnosti, te teorija perturbacije za nekoliko vaznih algoritama iz numerickematematike.

Literatura:N. J. Higham, Accuracy and Stability of Numerical Algorithms, Second Edi-tion, Philadelphia, SIAM., 2002.G. H. Golub and C. F. van Loan, Matrix Computations, Third Edition, M.D. Johns Hopkins University Press, Baltimore, 1996.

14

Mentor: Tina Bosner

Algoritmi ubacivanja cvorova splajnova

Podrucje: Numericka matematika

Prikladno za studij: Primjenjena matematika; Matematicka statistika;Racunarstvo i matematika

Preduvjeti: Numericka matematika, a pozeljni su i Numericka analiza 1 i2 ili Racunalna grafika

Opis: Polinomni splajnovi imaju veliku primjenu, ponajvise u kompjuter-skoj grafici i pri numerickom rjesavanju diferencijalnih jednadzbi s rubnimuvjetima. Zato je i bitno imati stabilne algoritme za racunanje njihovih vri-jednosti. Ideja ovog diplomskog rada je da se definiraju B-splajnovi, dajuneka njihova svojstva, te izvedu nekoliko algoritama baziranih na ubacivanjucvorova i to koristeci polarne forme.

Literatura:1. C. de Boor: B(asic)-Spline Basics,ftp://ftp.cs.wisc.edu/Approx/bsplbasic.ps

2. L. Ramshaw:Blossoms are polar forms, CAGD 6, 323–358 (1989)3. H. P. Seidel: A new multiaffine approach to B-splines, CAGD 6, 23–32(1989)4. Knot Insertion and Deletion Algorithms for B-Spline Curves and Surfaces,R. N. Goldman, T. Lyche, eds., Geometric Design Publications, SIAM (1993)

15

Mentor: Tina Bosner

Globalno konvergentne modifikacije Newtonove metode

Podrucje: Numericka matematika

Prikladno za studij: Primjenjena matematika; Matematicka statistika; Fi-nancijska i poslovna matematika

Preduvjeti: Numericka matematika, a pozeljni su i Numericka analiza 1 i 2

Opis: U primjeni se dosta cesto pojavljuje potreba za rjesavanjem bezu-vjtenih minimizacijiskih problema ili rjesavanjem sistema nelinearnih jed-nadzbi. Za oba problema koriste se skoro iste numericke metode, gdje je jednaod najpopulatnijih Newtonova metoda. Poznat je kao jedan od glavnih ne-dostataka Newtonove metode nepostojanje globalne konvergencije, pa je ciljovog diplomskog rada ponuditi nekoliko mogucih modifikacija Newtonovemetode kojima se taj problem rjesava.

Literatura:1. J. E. Dennis Jr., R. B. Schnabel: Numerical Methods for UnconstrainedOptimization and Nonlinear Equations, SIAM (1996), (Originally publishedby Prentice-Hall, Inc., Englewood Cliffs, N.J., 1983.)

16

Mentor: Tina Bosner

Osvjetljavanja i sjencanje u racunalnoj grafici

Podrucje: Racunarstvo i numericka matematika

Prikladno za studij: Racunarstvo i matematika; Primjenjena matematika

Preduvjeti: Racunalna grafika

Opis: Za stvaranje realne 3D slike nekog geometrijskog modela pomocuracunala, vrlo je bitno osvjetljavanje i sjencanje. Oni odreduju boju plohemodela, a uz definiranje izvora i vrste svjetlosti, te svojstava materijala mode-la, mogu ukljucivati i preslikavanje uzoraka, crtanje sjena, transparenstnostmaterijala, itd. Cilj ovog diplomskog rada je upoznavanje sa matematickimmodelima za rjesavanje gore navedenih problema i pisanje racunalnog pro-grama koji bi to ilustrirao.

Literatura:1. J. D. Foley, A. van Dam, S. K. Feiner, J. F. Hughes: Computer Graphics:Principles and Practice, Addison–Wesley (2005)

17

Mentor: Tina Bosner

Cebisevljevi sustavi i splajnovi

Podrucje: Numericka matematika

Prikladno za studij: Primjenjena matematika; Matematicka statistika

Preduvjeti: Numericka matematika, a pozeljni su i Numericka analiza 1 i 2

Opis: U primjeni postoji potreba i za drugim vrstama splajnova osim poli-nomnih. U svrhu generalizacije prostora polinoma, definiraju se Cebisevljevipotprostori. Cilj ovog diplomskog rada je istrazivanja svojstava Cebisevljevihsustava i potprostora, te definiranja splajnova, kao i predstavljanje nekolikokonkretnih primjera.

Literatura:1. L. L. Schumaker: Spline Functions: Basic Theory, New York, John Wiley& Sons (1981)

18

Mentor: Zvonko Cerin

Beskonacno-dimenzionalna topologija

Podrucje: Topologija

Prikladno za studij: Teorijska matematika

Preduvjeti: Pozeljno predznanje kolegija Metricki prostori i Uvod u topologiju

Opis: R. D. Anderson je u proslom stoljecu zapoceo s izgradnjom teorijekoja ima mnostvo vaznih i lijepih rezultata. Prvi je otkrio da beskonacno-dimenzionalni prostori poput Hilbertove kocke Q posjeduju iznenedujuce jed-nostavniju strukturu od konacno-dimenzionalnih kocki. Na primjer, Q je ho-mogen prostor. Dokazao je i homeomorfnost Hilbertovog prostora kvadratnosumabilnih nizova realnih brojeva s prebrojivim beskonacnom produktompravaca. Poslije je T. A. Chapman promatrao mnogostrukosti modeliranena Q i pokazao da su to zapravo produkti poliedara s Q.

Literatura:1. C. Bessaga, A. PeÃlczynski,Selected topics in infinite-dimensional topology,PWN, Warszawa 1975.2. T. A. Chapman,Lectures on Hilbert cube manifolds, CBMS 28, Providence1975.3. J. van Mill,Infinite-dimensional Topology, Prerequisites and Introduction,North-Holland, Amsterdam 1989.

19

Mentor: Zvonko Cerin

Fibonaccijevi brojevi

Podrucje: Teorija brojeva

Prikladno za studij: Teorijska matematika

Preduvjeti: Pozeljno predznanje kolegija Elementarna teorija brojeva iliDiskretna Matematika

Opis: Jos u srednjem vijeku je Fibonacci uveo brojeve koji cine slijed 0,1,1,2,3,5,8,13,... koji se gradi tako da je svaki suma prethodna dva. Ti brojeviimaju mnoga lijepa svojstva i predmet su istrazivanja mnogih znanstvenikaa pojavljuju se u raznim dijelovima matematike i znanosti.

Literatura:1. R. A. Dunlap, The golden ratio and Fibonacci numbers, World Scientific,1997.2. Alfred S. Posamentier, Ingmar Lehmann, The fabulous Fibonacci num-bers, Prometheus Books, 2007.3. Nicolai N. Vorobiev, Fibonacci numbers, Birkhuser, 2002.

20

Mentor: Zvonko Cerin

Geometrija trokuta racunalom

Podrucje: Geometrija

Prikladno za studij: Teorijska matematika

Preduvjeti: Pozeljno predznanje kolegija Elementarna Matematika

Opis: Trokute su proucavali vec i stari Grci a danas kada mozemo koris-titi pomoc racunala istrazivanja trokuta dozivljava novi procvat. On se na-jbolje vidi na Web stranicama casopisa Forum Geometricorum. Veliku pomocpruzaju i novi programi kao Cabri ili Sketchpad za dinamicku geometriju.

Literatura:1. Clark Kimberling, Triangle centers and center triangles, Utilitas Mathe-matica, 1998.2. Abraham A. Ungar, Hyperbolic Triangle Centers: The Special RelativisticApproach, Springer 2010.

21

Mentor: Zvonko Cerin

Teorija oblika

Podrucje: Topologija

Prikladno za studij: Teorijska matematika

Preduvjeti: Pozeljno predznanje kolegija Metricki prostori i Uvod u topologiju

Opis: K. Borsuk je u proslom stoljecu prosirio teoriju homotopije definiravsiteoriju oblika za kompaktne metricke prostore i zapoceo s izgradnjom teorijekoja ima mnostvo vaznih i lijepih rezultata. Uveo je klase pokretljivih isnazno pokretljivih kompakata koji imaju izvjesnu analogiju s apsolutnimokolinskim retraktima. Kasnije je T. Chapman povezao teoriju oblika sbeskonacno-dimenzionalnom topologijom.

Literatura:1. K. Borsuk,Theory of Shape, PWN, Warszawa 1975.2. S. Mardesic, J. Segal,Shape Theory - An inverse limit approach, North-Holland, Amsterdam 1982.

22

Mentor: Tomislav Doslic

Catalanovi brojevi i njihovi rastavi

Podrucje: Kombinatorika.

Prikladno za studij: Svi studiji.

Preduvjeti: Nema

Opis: Catalanovi brojevi Cn javljaju se pri prebrojavanju stotina kombi-natornih struktura indeksiranih cjelobrojnim nenegativnim parametrom n.Tipican primjer su Dyckovi putovi na 2n koraka. Enumeracije se moguprofiniti uvodeci dodatni parametar k, sto rezultira prikazom Cn u oblikuzbroja po k koeficijenata Cn,k. U slucaju Dyckovih putova razlozenih pobroju vrhunaca, koeficijenti su Narayanini brojevi. Cilj rada bi bilo nalazenjekoeficijenata Cn,k za neke rastave toga tipa.

Literatura:D. Veljan, Kombinatorna i diskretna matematika

23

Mentor: Tomislav Doslic

Dominacijski polinomi lancastih grafova

Podrucje: Kombinatorika.

Prikladno za studij: Svi studiji.

Preduvjeti: Nema

Opis: Skup vrhova D grafa G je dominirajuci skup u grafu G ako svaki vrhod G koji nije u D ima barem jednog susjeda u D. Dominacijski polinomgrafa G je polinom ciji koeficijent uz xk je broj dominirajucih skupova u Gkardinalnosti k. U radu bi trebalo odrediti dominacijske polinome za razneklase lancastih grafova.

Literatura:D. Veljan, Kombinatorna i diskretna matematika

24

Mentor: Tomislav Doslic

Igra sparivanja na konacnim podgrafovima pravilnih resetki

Podrucje: Teorija igara. Kombinatorika.

Prikladno za studij: Svi studiji.

Preduvjeti: Nema

Opis: Promatraju se konacni podgrafovi pravilne resetke (“lattice animals”)na kojima dva igraca naizmjence biraju bridove tako da svi odabrani bridovicine sparivanje. Gubi igrac koji prvi ne moze dodati brid u sparivanje. Ciljrada bi bio odrediti koji je igrac pobjednik u ovisnosti o simetriji zadanoggrafa.

Literatura:D. Veljan, Kombinatorna i diskretna matematika

25

Mentor: Tomislav Doslic

Logaritamsko ponasanje nizova zadanih linearnim rekurzijama

Podrucje: Kombinatorika.

Prikladno za studij: Svi studiji.

Preduvjeti: Nema

Opis: Niz s pozitivnim clanovima je log-konveksan ako je kvadrat svakognjegovog clana manji ili jednak od umnoska susjednih mu clanova. Ako jenejednakost obrnuta, niz je log-konkavan. U radu bi se trebalo proucavatilogaritamsko ponasanje nizova zadanih kratkim linearnim rekurzijama s kon-stantnim koeficijentima.

Literatura:D. Veljan, Kombinatorna i diskretna matematika

26

Mentor: Alan Filipin

Linearne forme u logaritmima i posljednji Fermatov teorem

Podrucje: Teorija brojeva.

Prikladno za studij: Svi studiji.

Preduvjeti: Polozen kolegij Teorija brojeva ili Elementarna teorija brojeva.

Opis: U ovom diplmoskom radu obradit ce se primjena Bakerove teorije lin-earnih formi u logaritmima na rjesavanje posljednjeg Fermatovog teorema uposebnom slucaju. Takoder ce se dati i povijesni prikaz problema.

Literatura:H. Cohen, Number Theory. Volume I: Tools and Diophantine Equations,Springer-Verlag, Berlin, 2007.H. Cohen, Number Theory. Volume II: Analytic and Modern Tools, Springer-Verlag, Berlin, 2007.A. Baker, G. Wustholz, Logarithmic Forms and Diophantine Geometry, Cam-bridge University Press, Cambridge, 2008.

27

Mentor: Alan Filipin

Linearne forme u logaritmima i binarno rekurzivni nizovi

Podrucje: Teorija brojeva.

Prikladno za studij: Svi studiji.

Preduvjeti: Polozen kolegij Teorija brojeva ili Elementarna teorija brojeva.

Opis: U ovom diplomskom radu obradit ce se primjena Bakerove teorije lin-earnih formi u logaritmima na trazenje presjeka binarno rekurzivnih nizovate na jos neke slicne probleme.

Literatura:H. Cohen, Number Theory. Volume I: Tools and Diophantine Equations,Springer-Verlag, Berlin, 2007.H. Cohen, Number Theory. Volume II: Analytic and Modern Tools, Springer-Verlag, Berlin, 2007.A. Baker, G. Wustholz, Logarithmic Forms and Diophantine Geometry, Cam-bridge University Press, Cambridge, 2008.

28

Mentor: Alan Filipin

Metode rjesavanja Pellove jednadzbe

Podrucje: Teorija brojeva.

Prikladno za studij: Svi studiji.

Preduvjeti: Polozen kolegij Teorija brojeva ili Elementarna teorija brojeva.

Opis: U ovom diplomskom radu obradit ce se osnovni rezultati o Diofantskojjednadzbi oblika x2 − dy2 = 1 te njenim poopcenjima. Naglasak ce biti napovijesnom prikazu raznih metoda koristenih u njenom rjesavanju.

Literatura:M.J. Jacobson, H.C. Williams, Solving the Pell Equation, Springer, 2009.E.J. Barbeau, Pell’s Equation, Springer-Verlag, 2003.T. Nagell, Introduction to Number Theory, Chelsea, 1981.

29

Mentor: Zrinka Franusic

Pellova jednadzba u kriptografiji javnog kljuca

Podrucje: Teorija brojeva, Kriptografija

Prikladno za studij: Svi nastavnicki studiji, Primjenjena matematika,Teorijska matematika, Racunarstvo i matematika

Preduvjeti: Polozen jedan od kolegija: Teorija brojeva, Elementarna teorijabrojeva, Kriptografija

Opis: Kriptosustavi javnog kljuca baziraju se na tzv. jednosmjernim funkci-jama koje se racunaju lako no kojima se inverz tesko racuna bez poznavanjaskrivenog podatka (tzv. trapdoor). Rezultati iz razlicitih podrucja matem-atike pokusavaju se implementirati u kreiranje i razvoj kritosustava. Mnogisu zasnovani na rezultatima iz algebarske teorije brojeva. U radu ce se opisatidva kriptosustava koja se baziraju na svojstvima Pellovih jednadzbi.

Literatura:E. J. Barbeau, Pell’s Equation, Springer, 2003.A. Dujella, M. Maretic: Kriptografija, Element, Zagreb, 2007.M. J. Jacobson, Jr., H. C. Williams, Solving the Pell Equation, Springer,2009.

30

Mentor: Boris Guljas

Nuklearni operatori

Podrucje: Funkcionalna analiza, Teorija operatora

Prikladno za studij: Teorijska matematika, Primijenjena matematika,Matematicka statistika, Financijska i poslovna matematika

Preduvjeti: Pozeljno predznanje iz kolegija Normirani prostori, Operatorina normiranim prostorima, Metricki prostori

Opis: Nuklearni operatori ili operatori s tragom su podskup skupa kom-paktnih operatora na Hilbertovom prostoru X. Svaki kompaktan operatorA : H → H ima prikaz oblika

Ax =∞∑

n=1

λn(x|un)en,∀x ∈ H,

gdje su (un)n i (en)n ortogonalni nizovi vektora, ∀n ∈ N, λn ≥ 0 i λn → 0.Operator je nuklearan ako vrijedi

∑∞n=1 λn < ∞

U bilo kojoj ortonormiranoj bazi moguce je definirati (konacan) trag op-eratora kao trag pripadne (beskonacne) matrice i on je neovisan o izborubaze. Na skupu svih nuklearnih operatora definira se norma tako da je onzatvarac u toj normi skupa svih operatora konacnog ranga.

Cilj rada je prouciti svojstva navedenih operatora, struktura koje onitvore i obraditi neke njihove primjene.

Literatura:Kurepa Svetozar,Funkcionalna analiza- Elementi teorije operatora, Skolskaknjiga, 1981,Krein I. C. & M. C, Introduction to the Theory of Linear Nonselfadjoint Op-erators, American Mathematical Society, 1969,Simon B., Trace ideals and their applications, Second Edition, Amer. Math.Soc., 2005,Dunford N. & Schwartz J. T., Linear operators (Part II) Spectral theory,Self Adjoint Operators in Hilbert Space, John Wiley & sons, 1963.

31

Mentor: Boris Guljas

Spektralni teorem za ogranicene normalne operatore

Podrucje: Funkcionalna analiza, Teorija operatora

Prikladno za studij: Teorijska matematika, Primijenjena matematika,Matematicka statistika, Financijska i poslovna matematika

Preduvjeti: Pozeljno predznanje iz kolegija Normirani prostori, Operatorina normiranim prostorima, Metricki prostori

Opis: Spektralni teoremi predstavljaju poopcenja rezultata iz konacno di-menzionalnih vektorskih prostora koji se odnose na dijagonalizaciju odgo-varajucih klasa operatora u ortonormiranim bazama. U sucaju beskonacnodimenzionalnih Hilbertovih prostora radi se o egzistenciji tzv. dekompozicijejedinice ili spektralne funkcije za operator A, tj. familije ortogonalnig pro-jektora Eλ; λ ∈ K, gdje je K = R u slucaju hermitskih operatora i K = Cu slucaju normalnih operatora. Tada je moguc prikaz operatora u obliku

A =

KλdEλ.

Cilj rada je dokazati spektralni teorem za ogranicene normalne operatore iopisati neke njegove primjene. Literatura:Kurepa Svetozar,Funkcionalna analiza- Elementi teorije operatora, Skolskaknjiga, 1981,Krein I. C. & M. C, Introduction to the Theory of Linear Nonselfadjoint Op-erators, American Mathematical Society, 1969,Kato T., Perturbation theory for linear operators, Springer-Verlag, 1966Dunford N. & Schwartz J. T., Linear operators (Part II) Spectral theory,Self Adjoint Operators in Hilbert Space, John Wiley & sons, 1963,Rudin Walter, Functional analysisn, McGraw-Hill Book Company, 1973.

32

Mentor: Boris Guljas

Zatvoreni operatori

Podrucje: Funkcionalna analiza, Teorija operatora

Prikladno za studij: Teorijska matematika, Primijenjena matematika,Matematicka statistika, Financijska i poslovna matematika

Preduvjeti: Pozeljno predznanje iz kolegija Normirani prostori, Operatorina normiranim prostorima, Metricki prostori

Opis: Linearan operator A : D(A) → Y , D(A) ⊆ X, je zatvoren operatorako je njegov graf Γ(A) = (x,Ax)|x ∈ X ⊆ X × Y zatvoren potprostoru X × Y , gdje su X,Y Banachovi prostori. Zatvorni operatori predstavl-jaju prirodnu generalizaciju ogranicenih linearnih operatora na beskonacno-dimenzionalnim Banachovim prostorima. Zbog teorema o zatvorenom grafu,ako je operator A neogranicen onda je nuzno D(A) 6= X.

Cilj rada je prouciti koje teoreme iz teorije ogranicenih linearnih opera-tora je moguce prosiriti na zatvorene operatore.

Literatura:Kurepa Svetozar,Funkcionalna analiza- Elementi teorije operatora, Skolskaknjiga, 1981,Krein I. C. & M. C, Introduction to the Theory of Linear Nonselfadjoint Op-erators, American Mathematical Society, 1969,Kato T., Perturbation theory for linear operators, Springer-Verlag, 1966Dunford N. & Schwartz J. T., Linear operators (Part II) Spectral theory,Self Adjoint Operators in Hilbert Space, John Wiley & sons, 1963.

33

Mentor: Marcela Hanzer

Lokalna polja i prsten adela

Podrucje: Algebarska teorija brojeva

Prikladno za studij: svi studiji

Preduvjeti: Polozeni kolegij Algebarske strukture; pozeljno je da je polozeni kolegij Algebra

Opis: Upotpunjenja polja Q, i opcenitije, upotpunjenja konacnih prosrenjapolja Q obzirom na nearhimedsku metriku (tzv. p-adski brojevi) su od ve-likog interesa ne samo za algebarsku teoriju brojeva, vec i za teoriju reprezen-tacija, automorfnih formi i mnoga druga podrucja suvremene matematike.U klasicnoj teoriji brojeva, polje algebarskih brojeva (konacno algebarskoprosrenje polja Q) se ulaze u produkt svojih arhimedskih upotpunjenja, tj.u Euklidov prostor. Meutim, jos od radova Chevalleya i Weila, postalo jejasno da je za mnostvo primjena mnogo prirodnije gledati sva upotpunjenjaodjednom, i na takvom objektu promatrati neku prirodnu topologiju. Takosu formirani prsten adela i ideli. esto se informacije o Q (odnosno njegovimkonacnim prosrenjima) iscitavaju iz informacija dobijenih iz adelicke slike.Cilj diplomskog rada bi bilo davanje osnovnih strukturnih cinjenica i teo-rema o p–adskim poljima (prsteni s diskretnom valuacijiom, Dedekindovedomene), a s druge strane uocavanje da su takva p–adska polja, zajedno sR iC jedina nediskretna lokalno kompaktna polja, sto omogucava primjenuklasicne harmonijske analize. Takoer, trebala bi se dati definicija adela i idelai prouciti njihova osnovna svojstva.

Literatura:Lang, Algebraic number theory, Springer 1994.Weil, Basic number theory, Springer 1995.Cassels, Frohlich, Algebraic number theory, Academic Press Inc, 1986.Serre, A course in Arithmetic, Springer 1973.

34

Mentor: Marcela Hanzer

Od kongruencijskih brojeva do eliptickih krivulja

Podrucje: Algebra, teorija brojeva, kompleksna analiza

Prikladno za studij: Teorijska, Primjenjena matematika

Preduvjeti: polozen kolegij Algebarske strukture; pozeljno je da polozen ikolegij Algebra

Opis: U radu bi se klasicni problem odreivanja je li neki prirodni broj nkongruencijski ili ne, povezao s teorijom eliptickih krivulja. Definirale bise elipticke krivulje, dvostruko periodicke funkcije, Weierstrassova forma, tepromatralo zbrajanje na eliptickoj krivulji. Proucavale bi se tocke konacnogreda, te na koncu tocke nad konacnim poljima i time dala veza s originalnimproblem kongruencijskih brojeva.

Literatura:Koblitz, Introduction to elliptic curves and modular forms, Springer, 1984.

35

Mentor: Marcela Hanzer

Teorija reprezentacija konacnih grupa; Artinov teorem

Podrucje: Teorija reprezentacija

Prikladno za studij: svi studiji

Preduvjeti: polozen kolegij Algebarske strukture

Opis: Reprezentacije konacnih grupa su vrlo znacajne za primjene u fiziciili kvantnoj kemiji, a u matematici su, zajedno s klasicnom harmonijskomanalizom, ishodisna tocka u razvoju teorije reprezentacija i drugih klasagrupa, npr. algebarskih. U radu bi se trebao dati osvrt na osnove teorijereprezentacija konacnih grupa, teoriju karaktera i osnovne koncepte (sume,tenzorski produkti, induciranje) uz analizu nekoliko primjera konkretnih grupa.U radu bi se trebali dokazati Artinov i Brauerov teorem, koji imaju znacajnuulogu u primjeni teorije reprezentacija, npr. u proucavanju L-funkcija.

Literatura:Serre, Linear representations of finite groups, Springer 1977.Curtis, Reiner, Representation theory of finite groups and associative alge-bras, Wiley, 1962.

36

Mentor: Marcela Hanzer

Uvod u teoriju valuacija

Podrucje: Algebra

Prikladno za studij: Teorijska, Primjenjena matematika

Preduvjeti: polozen kolegij Algebarske strukture; pozeljno je da polozen ikolegij Algebra

Opis: U radu bi se trebao uvod u teoriju valuacija, pocevs od definicija,valuacijskih grupa, rezidualnih polja, upotpunjenja i slicno. Nakon toga bise proucavala prosrenja polja s valuacijom i grupe grananja. U ovisnosti oafinitetu diplomanta, uvela bi se i Dedekindova polja.

Literatura:McCarthy, Algebraic extensions of fields, Dover, 1991.Weil, Basic number theory, Springer 1995.

37

Mentor: Vjeran Hari

Ispitivanje brzine i tocnosti Jacobijevih metoda za simetricnepozitivno definitne matrice malog reda

Podrucje: Linearna algebra, teorija matrica

Prikladno za studij: Svi studiji

Preduvjeti: Polozen kolegij Vektorski prostori

Opis: Rad bi sadrzavao teorijski i eksperimentalni dio. U teorijskom di-jelu opisala bi se Jacobijeva dvostrana i jednostrana metoda za simetricnepozitivno definitne matrice. Naveli bi se osnovni rezultati o globalnoj iasimptotickoj konvergenciji kao i o visokoj relativnoj tocnosti tih metoda.U eksperimentalnom dijelu bi se pokusala naci optimalna metoda za dijago-nalizaciju simetricnih pozitivno definitnih matrica malog reda, npr. prvo doreda 16, zatim do reda 32, pa do reda 64 i onda do reda 128. Najme, takveoptimalne metode za metrice malog reda se koriste u tzv. blok Jacobijevimmetodama za metrice velikog reda. Programiralo bi se u Fortranu i koristilebi se BLAS rutine.

Literatura:Demmel J.W., Veselic K., Jacobi’s method is more accurate than QR. SIAMJ. Mat. Anal. Appl. 13, 1204–1245 (1992)

Hari Vjeran, Convergence to Diagonal Form of Block Jacobi-type Methods.Submitted for publ. in Num. Mathematik.

38

Mentor: Vjeran Hari

Jacobijevi operatori i primjene

Podrucje: Linearna algebra, teorija matrica

Prikladno za studij: Svi studiji

Preduvjeti: Polozen kolegij Vektorski prostori

Opis: Rad bi bio baziran na dolje spomenutim clancima. Jacobijevi anihila-tori i operatori su alat za dokazivanje globalne konvergencije dijagonalizaci-jskih metoda. U clancima se oni modificiraju kako bi posluzili da dokazivanjekonvergencije blok Jacobijevih metoda. Blok metode su generalizacije pos-tojecih (standardnih) metoda, a dizajnirane su tako da se poveca njihovaefikasnost tj. brzina. Clanci se mogu naci na mojoj web stranici.

Literatura:Hari Vjeran, On Block Jacobi Annihilators. Proceedings of ALGORITMY2009. Slovak University of Technology in Bratislava, Publishing House ofSTU, 2009. 429-439.

Hari Vjeran, Convergence to Diagonal Form of Block Jacobi-type Methods.Submitted for publ. in Num. Mathematik.

39

Mentor: Vjeran Hari

Koristenje aritmetike varijabilne tocnosti kao alata za ispitivanjevisoke relativne tocnosti dijagonalizacijskih metoda

Podrucje: Linearna algebra, teorija matrica

Prikladno za studij: Svi studiji

Preduvjeti: Polozen kolegij Vektorski prostori

Opis: U Matlabu je implementirana aritmetika varijabilne tocnosti vpa (vari-able precision arithmetic) , koja je mnogo sporija od uobicajene aritmetike,ali moze raditi sa bilo kojom tocnoscu racunanja, npr. sa 80 ili 200 decimal-nih znamenka. Cilj rada je prouciti taj alat i primijeniti ga na ispitivanjutocnosti nekih standardnih i nekih novih metoda metoda za racunanje vlasti-tih i singularnih vrijednosti matrica.

Literatura:Demmel J.W., Veselic K., Jacobi’s method is more accurate than QR. SIAMJ. Mat. Anal. Appl. 13, 1204–1245 (1992)

W.R. Wilcox, MATLAB Symbolic Mathematics Tutorial, Clarkson Univer-sity, Potsdam, NY, USA

Cleve Moler, Numerical Computing with MATLAB(ebook, www.mathworks.com/moler/chapters.html)

40

Mentor: Vjeran Hari

Novi perturbacijski rezultati za Hermitske matrice

Podrucje: Linearna algebra, teorija matrica

Prikladno za studij: Svi studiji

Preduvjeti: Polozen kolegij Vektorski prostori

Opis: Rad bi bio baziran na novom clanku o ostrim perturbacijskim ocje-nama za Hermitske matrice. Neka su

A = 3D

[H1 E∗

E H2

]= i A = 3D

[H1 00 H2 =

]

hermitske matrice cije su svojstvene vrijednosti λ1 ≥ . . . ≥ λk i λ1 ≥ . . . ≥ λk,respektivno. Oznacimo s ‖E‖ spektralnu normu matrice E i s η minimalnuudaljenost izmedu spektara matrica H1 i H2. Pokazujemo da vrijedi

|λi − λi| ≤ 2‖E‖2

η +√

η2 + 4‖E‖2,

sto je bolja ocjena od svih postojecih rezultata. Slicne ocjene dobivamo zasingularne vrijednosti matrica pod utjecajem perturbacija blokova. Tvrdnjebi se provjerile pomocu Matlaba.

Literatura:C.-K. Li and R.-C. Li, A note on eigenvalues of perturbed Hermitian matri-ces. Linear Algebra and its Applications, 395 (2005) 183-190

B. N. Parlett, The Symmetric Eigenvalue Problem. SIAM, Philadelphia,1998 (This SIAM edition is an unabridged, corrected reproduction of thework published by Prentice-Hall, Inc., Englewood Clifs, NJ, 1980.)

41

Mentor: Dijana Ilisevic

Hahn-Banachov teorem

Podrucje: Funkcionalna analiza

Prikladno za studij: Teorijska matematika; Primijenjena matematika;Matematicka statistika

Preduvjeti: Kolegiji ”Normirani prostori” i ”Operatori na normiranim pros-torima”

Opis: Hahn-Banachov teorem predstavlja jedan od temelja funkcionalneanalize. Njegova klasicna verzija se odnosi na prosirenje linearnih funkcionala.Zadatak ovog diplomskog rada je predstaviti nekoliko formulacija Hahn-Banachovog teorema i pristupa njegovom dokazu.

Literatura:S. K. Berberian, Lectures in functional analysis and operator theory, Springer-Verlag, New York-Heidelberg, 1974.S. Kurepa, Funkcionalna analiza, Skolska knjiga, Zagreb, 1990.

42

Mentor: Dijana Ilisevic

Jordanovi homomorfizmi i derivacije

Podrucje: Teorija prstena

Prikladno za studij: Teorijska matematika, Matematika - smjer nastavnicki,Matematika i informatika - smjer nastavnicki

Preduvjeti: Kolegiji ”Algebra 1 i 2” ili ”Algebarske strukture”.

Opis: Aditivno preslikavanje f s prstena R u prsten R′ se naziva homo-morfizam ako je f(ab) = f(a)f(b) za sve a, b ∈ R, antihomomorfizam akoje f(ab) = f(b)f(a) za sve a, b ∈ R, a Jordanov homomorfizam ako jef(a2) = f(a)2 za sve a ∈ R. Aditivno preslikavanje f : R → R se nazivaderivacija ako je f(ab) = f(a)b+af(b) za sve a, b ∈ R, a Jordanova derivacijaako je f(a2) = f(a)2 za sve a ∈ R. Ocigledno je svaki (anti)homomorfizamujedno i Jordanov homomorfizam, a svaka derivacija ujedno i Jordanovaderivacija. Obrati ovih tvrdnji su u zadnjih pedesetak godina bili pred-metom proucavanja mnogih matematicara i opcenito ne vrijede. Zadatakovog diplomskog rada je opisati strukturu Jordanovih homomorfizama i Jor-danovih derivacija u nekim posebnim slucajevima.

Literatura:P. Ara, M. Mathieu, Local multipliers of C*-algebras, Springer-Verlag, Lon-don, 2003.M. Bresar, Jordan mappings of semiprime rings, J. Algebra 127 (1989), 218–228.I. N. Herstein, Topics in ring theory, Univ. of Chicago, Chicago, 1969.T. W. Palmer, Banach algebras and the general theory of ∗-algebras, Cam-bridge University Press, Cambridge, 1994.

43

Mentor: Dijana Ilisevic

Konvergencija niza operatora

Podrucje: Teorija operatora

Prikladno za studij: Teorijska matematika; Primijenjena matematika;Matematicka statistika

Preduvjeti: Kolegiji ”Normirani prostori” i ”Operatori na normiranim pros-torima”

Opis: Neka su X i Y normirani prostori nad istim poljem. Niz (An) opera-tora iz L(X, Y ) konvergira operatoru A0 ∈ L(X, Y ):

(a) uniformno ako ‖An − A0‖ → 0,

(b) jako ako |Anx− A0x| → 0 za svaki x ∈ X,

(c) slabo ako y∗(Anx) → y∗(A0x) za svaki x ∈ X i svaki y∗ ∈ Y ∗.

Zadatak ovog diplomskog rada je prouciti uniformnu, jaku i slabu konver-genciju niza operatora.

Literatura:T. Kato, Perturbation theory for linear operators, Springer-Verlag, Berlin-Heidelberg-New York, 1966.,S. Kurepa, Funkcionalna analiza, Skolska knjiga, Zagreb, 1990.

44

Mentor: Dijana Ilisevic

Nekomutativno prosirenje Banach-Stoneovog teorema

Podrucje: Teorija operatora

Prikladno za studij: Teorijska matematika; Primijenjena matematika;Matematicka statistika

Preduvjeti: Kolegiji ”Normirani prostori” i ”Operatori na normiranim pros-torima”; poznavanje C*-algebri

Opis: Kadison je 1951. poopcio klasicni Banach-Stoneov teorem o izometri-jama sa C(X) na C(Y ) (neprekidne funkcije na kompaktu X odnosno Y ) nanekomutativan slucaj C*-algebri. Dalje je taj teorem poopcen na JB*-algebre(Wright and Youngson, 1978.) i JB*-trojke (Kaup, 1983.), dakle na neasoci-jativne strukture koje ukljucuju i C*-algebre. Zadatak ovog diplomskog radaje prikazati jedinstven pristup karakterizacijama izometrija na navedenimstrukturama.

Literatura:T. Dang, Y. Friedman, B. Russo, Affine geometric proofs of the Banach Stonetheorems of Kadison and Kaup, Rocky Mountain J. Math. 20 (1990), 409–428.R. J. Fleming, J. E. Jamison, Isometries on Banach spaces: function spaces,Chapman & Hall/CRC, Boca Raton, 2003.

45

Mentor: Mladen Jurak

Teoremi ulaganja Soboljevljevih prostora i primjene

Podrucje: Funkcionalna analiza, Parcijalne diferencijalne jednadzbe

Prikladno za studij: Primijenjena matematika, Teorijska matematika

Preduvjeti: Parcijalne diferencijalne jednadzbe, Integral i mjera

Opis: Cilj radnje je dokazati teoreme ulaganja Soboljevljevih prostora u Lp

prostore i demonstrirati primjene tih teorema u teoriji egzistencije rjesenjaparcijalnih diferencijalnih jednadzbi. Potrebno je dokazati teoreme o kom-paktnosti ulaganja te iskoristiti tu kompaktnost u primjeni Schauderovogteorema o fiksnoj tocki na nelinearne elipticke rubne zadace.

Literatura:1. Robert A. Adams, John J. F. Fournier: Sobolev Space, Elsevier, 2003.2. Lawrence C. Evans: Partial Differential Equations, AMS, 2010.

46

Mentor: Matija Kazalicki

Elipticke krivulje i Mordellov teorem

Podrucje: Aritmeticka geometrija

Prikladno za studij: Teorijska matematika

Preduvjeti:

Opis: Cilj ovog diplomskog je definirati osnovne pojmove vezane uz eliptickekrivulje i dokazati Mordellov teorem o konacnoj generiranosti grupe racional-nih tocaka.

Literatura:J.H. Silverman, J. Tate Rational points of elliptic curves, UndergraduateTexts in Mathematics, Springer-Verlag, New York, 1992.

47

Mentor: Matija Kazalicki

Modularne forme i prikaz prirodnog broja kao sume kvadrata

Podrucje: Teorija brojeva i kompleksna analiza

Prikladno za studij: Teorijska matematika

Preduvjeti:

Opis: Lagrange je dokazao da se svaki prirodan broj moze prikazati kao sumacetiri kvadrata. Cilj ovog diplomskog je koristeci modularne forme odreditibroj razlicitih prikaza.

Literatura:F. Diamond, J. Shurman A first course in modular forms, Graduate Textsin Mathematics, 228, Springer-Verlag, New York, 2005.

48

Mentor: Matija Kazalicki

Problem broja klasa

Podrucje: Algebarska teorija brojeva i modularne funkcije

Prikladno za studij: Teorijska matematika

Preduvjeti:

Opis: Problem broja klasa je slavan problem koji je postavio Gauss. Trebaodrediti sva kvadratno imaginarna polja s brojem klasa 1. Problem je rijesioHeegner (1952), ali njegov dokaz nije bio prihvacen sve do 1969 (nazalostHeegner to nije dozivio). Cilj ovog diplomskog je izloziti Heegnerov dokazkoji koristi modularne funkcije i teoriju kompleksnog mnozenja.

Literatura:D.A. Cox, Primes of the form x2 + ny2, A Wiley-Interscience Publication.John Wiley & Sons, Inc., New York, 1989.

49

Mentor: Matija Kazalicki

Spernerova lema i primjene

Podrucje: Kombinatorika

Prikladno za studij: Svi studiji.

Preduvjeti: Polozen kolegij Diskretna matematika.

Opis: U ovom diplomskom obradit ce se dvije primjene Spernerove leme:Monskyjev teorem (kvadrat se ne moze podijeliti na neparan broj trokutajednake povrsine) i problem odredivanja stanarine (rental harmony theo-rem).

Literatura:P. Monsky, On Dividing a Square into Triangles, The American Mathemat-ical Monthly 77 (2), 1970.F.E. Su, Rental Harmony: Sperner’s Lemma in Fair Division, Amer. Math.Monthly 106 (10), 1999.

50

Mentor: Vedran Krcadinac

Kleinova kvadrika

Podrucje: Projektivna geometrija.

Prikladno za studij: Svi studiji.

Preduvjeti: Polozen kolegij Projektivna geometrija.

Opis: Kleinova kvadrika je nedegenerirana hiperbolicka kvadrika u 5-dimen-zionalnom projektivnom prostoru. U ovom diplomskom radu uvest ce sePluckerove koordinate, uspostaviti izomorfizam izmedu Kleinove kvadrike i3-dimenzionalnog projektivnog prostora i dokazati jos neka svojstva Kleinovekvadrike.

Literatura:1. A. Beutelspacher, U. Rosenbaum, Projective geometry: From foundationsto applications, Cambridge University Press, 1998.

51

Mentor: Vedran Krcadinac

Osnovni teorem algebre

Podrucje: Algebra, analiza.

Prikladno za studij: Svi studiji.

Preduvjeti:

Opis: Nakon kratkog povijesnog uvoda cilj je dati nekoliko dokaza osnovnogteorema algebre. Obradit ce se dokazi koji se oslanjaju na apstraktnu alge-bru, kompleksnu analizu i topologiju.

Literatura:1. J.J. O’Connor, E.F. Robertson, The fundamental theorem of algebra, 1996.http://www-history.mcs.st-andrews.ac.uk/HistTopics/Fund theorem of algebra.html

2. B. Fine, G. Rosenberger, The fundamental theorem of algebra, Springer-Verlag, 1997.

52

Mentor: Vedran Krcadinac

Reprezentacijski teoremi za projektivne i afine prostore

Podrucje: Projektivna geometrija.

Prikladno za studij: Svi studiji.

Preduvjeti: Polozen kolegij Projektivna geometrija.

Opis: Cilj ovog diplomskog rada je dokazati da se svaki projektivni prostordimenzije vece od 2 moze konstruirati od vektorskog prostora nad tijelom.Osim toga dokazat ce se reprezentacijski teorem za kolineacije takvih projek-tivnih prostora.

Literatura:1. A. Beutelspacher, U. Rosenbaum, Projective geometry: From foundationsto applications, Cambridge University Press, 1998.

53

Mentor: Miljenko Marusic

Diferencijske sheme na Shishkinovoj mrezi

Podrucje: numericka matematika

Prikladno za studij: Primijenjena matematika, Racunarstvo i matematika

Opis: U diplomskom radu treba prikazati i usporediti nekoliko diferencijskihshema koje se primjenjuju za numericko rjesavanje singularno perturbiranogrubnog problema za ODJ. Singularno perturbirani problem je rubni problemza diferencijalnu jednadzbu oblika εy′′ + by′ + cy = f , gdje je ε jako malirealni broj. Jer su klasicne metode neprikladne za ovaj problem, jedan odpristupa za dobivanje dobre aproksimacije primjena klasicnih diferencijskihshema na prilagodenoj mrezi. Jedna od takvih mreza je Shishkinova mreza.

Literatura:J. J. H.Miller, E.O’Riordan, G. I. Shishkin, Fitted Numerical Meth-ods for Singular Perturbation Problems, World Scientific, Singapore, 1996.

54

Mentor: Miljenko Marusic

Eksponencijalne Runha-Kuttine metode

Podrucje: numericka matematika

Prikladno za studij: Primijenjena matematika, Racunarstvo i matematika

Opis: Tema rada je primjena klase metoda za rjesavanje krutih sustavadiferencijalnih jednadzbi. Za razliku od klasicnih Runge-Kuttinih metoda,ovdje se trazi da metoda bude egzaktna na test primjeru y′ = −λy gdje jeλ veliki pozitivni realni broj. Treba prikazati teorijsku podlogu metoda teimplementirati nekoliko metoda i testirati ih na konkretnim problemima.

Literatura:M. Hochbruck, A. Ostermann, Exponential integrators, Acta numerica (2010)209–286.

55

Mentor: Miljenko Marusic

Eksponencijalno prilagodene diferencijske sheme

Podrucje: numericka matematika

Prikladno za studij: Primijenjena matematika, Racunarstvo i matematika

Opis: U diplomskom radu treba prikazati i usporediti nekoliko diferencijskihshema koje se primjenjuju za numericko rjesavanje singularno perturbiranogrubnog problema za ODJ. Singularno perturbirani problem je rubni problemza diferencijalnu jednadzbu oblika εy′′ + by′ + cy = f , gdje je ε jako mali re-alni broj. Konvergentne diferencijske sheme (na uniformnoj mrezi) mogu sedobiti prikladnim izborom funkcija baze. U ovom slucaju se radi o upotrebieksponencijalne funkcije.

Literatura:J. J. H.Miller, E.O’Riordan, G. I. Shishkin, Fitted Numerical Meth-ods for Singular Perturbation Problems, World Scientific, Singapore, 1996.

56

Mentor: Miljenko Marusic

Matematicki modeli rasta tumora

Podrucje: primijenjena matematika

Prikladno za studij: Primijenjena matematika, Racunarstvo i matematika

Opis: Cilj diplomskog rada je prikazati nekoliko modela tumora i usporeditiih na eksperimentalnim podacima. Izbor modela obavio bi se u dogovoru smentorom.

Literatura:T.Roose, S. J. Chapman, P.K.Maini, Mathematical Models of Avascu-lar Tumor Growth, SIAM Review, 49 (2007) 179–208

57

Mentor: Eduard Marusic-Paloka

Idealni nestlacivi fluid.

Podrucje: Primijenjena matematika

Prikladno za studij: svima

Preduvjeti: Matematicka analiza 3 i 4 ili Dir 2 i Primijenjena matematickaanaliza

Opis: Osnovni pojmovi. Eulerove jednadzbe. Potencijalni bezvrtlozni tok..Teorem Kutta-Zukovskog. D’alambertov paradox.

Literatura:C.Malchioro, M.Pulvirenti, Mathematical theory of incompressible nonvis-cous fluids, Springer, 1994. A.J.Chorin, J.E.Marsden, A methematical intro-duction to fluid mechanics, Springer, 2000.

58

Mentor: Eduard Marusic-Paloka

Matematicko modeliranje puhackih instrumenata.

Podrucje: Primijenjena matematika

Prikladno za studij: svima

Preduvjeti: Matematicka analiza 1 i 2 ili Dir 1

Opis: Izvod jednostavnih matematickih modela za puhacke instrumente ianaliza dobivenih diferencijalnih jednadzbi.

Literatura:Literatura: N.H.Fletcher, T.D.Rossing, The physics of musical instruments,Springer, 1998.

59

Mentor: Eduard Marusic-Paloka

Primjeri egzaktnih rjesenja Navier-Stokesovih jednadzbi.

Podrucje: Primijenjena metametika

Prikladno za studij: svima

Preduvjeti: Matematicka analiza 3 ili Dir 2 i Primijenjene metematickaanaliza

Opis: Navier-Stokesov sustav opisuje gibanje viskoznog fluida i rijetko sekada moze analiticki rijesiti. Cilji ovog rada je dati pregled nekoliko klasicnihprimjera kod kojih nam je poznato egzaktno rjesenje.

Literatura:P.Drazin, N.Riley, The Navier-Stokes equations. A classification of flows andexact solutions, London mathematical society lecture notes series No 334,Cambridge university press, 2006.

60

Mentor: Ante Mimica

Poissonovi tockovni procesi

Podrucje: Slucajni procesi

Prikladno za studij: Svi studiji

Preduvjeti: Vjerojatnost, Mjera i integral, Slucajni procesi, Teorija vjero-jatnosti 1 i 2.

Opis: Poissonov tockovni proces predstavlja model za prebrojivo mnogoslucajno rasporedenih tocki u nekom prostoru. Ideja ovog diplomskog radaje uvesti pojam Poissonovog tockovnog procesa i prouciti neka njegova svo-jstva.

Literatura:J. F. C. Kingman, Poisson Processes, Oxford University Press, 1993S. Resnick, Adventures in Stochastic Processes, Birkhauser, Boston, 2002

61

Mentor: Goran Muic

Snopovi modula na afinim shemama

Podrucje: Algebarska geometrija; Algebra

Prikladno za studij: Teorijska matematika

Preduvjeti: Algebra

Opis: Sheme su prirodne generalizacije klasicnih projektivnih monogostrukosti.Uvedene su u matematiku sredinom 20. stoljeca i od tada su standardnijezik moderne algebarske geometrije. Diplomski rad bi trebao razviti teorijusnopova modula na afinim shemama.

Literatura:Shafarevich, Basic Algebraic Geometry II: Schemes and Complex Manifolds,Springer-Verlag, 1994.

62

Mentor: Filip Najman

Birch-Swinnerton–Dyerova slutnja

Podrucje: Teorija brojeva

Prikladno za studij: Svi studiji.

Preduvjeti: Polozen ili kolegij Algebarske krivulje ili Elipticke krivulje ukriptografiji

Opis: Birch-Swinnerton–Dyerova slutnja je jedan od otvorenih milenijskihproblema, te povezuje rang elipticke krivulje nad poljem algebarskih brojevasa redom nultocke njene L-funkcije u tocki 1. U ovom diplomskom radu uvestce se svi pojmovi nuzni za precizno iskazivanje slutnje, te ce se dati pregleddokazanih slucajeva ove slutnje.

Literatura:D. Hussemoller, Elliptic Curves, Springer, 2007.J. Silverman, The Arithmetic of Elliptic Curves, Springer, 2009.

63

Mentor: Filip Najman

Kummerova teorija

Podrucje: Algebarska teorija brojeva

Prikladno za studij: svi studiji.

Preduvjeti: Polozeni kolegiji Algebarska teorija brojeva 1 i Algebarska teorijabrojeva 2

Opis: Kummerova teorija opisuje prosirenja dobivena dodavanjem n-tih ko-rijena nekom polju algebarskih brojeva koje sadrzi n-te korijene iz jedinice. Uovom diplosmkom radu ce se iskazati i dokazati osnovni teorem Kummeroveteorije, te njegove primjene i generalizacije.

Literatura:H. Cohen, Number Theory, Volume I: Tools and Diophantine Equations,Springer, 2007.J. W. Cassels i A. Frohlich, Algebraic number theory, Springer, 1997.

64

Mentor: Filip Najman

Lokalno-globalni princip

Podrucje: Teorija brojeva

Prikladno za studij: Svi studiji.

Preduvjeti: Polozen kolegij Algebarske strukture

Opis: Ako polinmijalna jednadzba ima rjesenje u racionalnim brojevima,tada ima realno i p-adsko rjesenje za svaki prost p - globalno rjesenje dajelokana rjesenja svugdje. Lokalno-globalni ili Hasseov princip je pitanje zakakve polinomijalne jednadzbe vrijedi obrat ove tvrdnje. U ovom diplom-skom radu proucit ce se najpoznatiji rezultati o lokalno-globalno principu,te dokazati teorem Hasse-Minkowskog, koji kaze da lokalno-globalni principvrijedi za sve kvadratne forme.

Literatura:H. Cohen, Number Theory, Volume I: Tools and Diophantine Equations,Springer, 2007.J. P. Serre, A course in Arithmetic, Springer, 1973.

65

Mentor: Filip Najman

Riemann-Rochov teorem i primjene

Podrucje: Algebarska geometrija

Prikladno za studij: Teorijska matematika.

Preduvjeti: Polozen kolegij Uvod u algebarsku geometriju

Opis: Riemann-Rochov teorem za krivulje je jedan od osnovnih alata za radsa krivuljama i divizorima na krivuljama. U ovom diplomskom radu ce seiskazati i dokazati Riemann-Rochov teorem, te ce biti prikazane neke nje-gove primjene, kao sto su Riemann-Hurwitzova formula i Cliffordov teoremo specijalnim divizorima.

Literatura:I. R. Shafarvich, Basic algebraic geometry 1: Varieties in projective space,Springer, 1995.R. Hartshorne, Algebraic Geometry, Springer, 1997.

66

Mentor: Ivica Nakic

Diferencijalne jednadzbe s kasnjenjem

Podrucje: Diferencijalne jednadzbe

Prikladno za studij: Svi studiji

Preduvjeti: Obicne diferencijalne jednadzbe

Opis: Diferencijalne jednadzbe s kasnjenjem se cesto javljaju pri modeliranjuprocesa u biologiji, ekonomiji, mehanici itd.

U diplomskom radu student bi izlozio osnovne rezultate o diferencijalnimjednadzbama s kasnjenjem te bi prikazane rezultate primjenio na neke jed-nadzbe koje se javljaju u biologiji.

Literatura:H. Smith An introduction to delay differential equations with applications tothe life sciences Springer, 2010.

67

Mentor: Ivica Nakic

Interpolacijski teoremi tipa Nevanlinna-Pick

Podrucje: Kompleksna analiza, funkcijonalna analiza

Prikladno za studij: Teorijska matematika; Primjenjena matematika; Mate-maticka statistika

Preduvjeti: Kompleksna analiza, Normirani prostori

Opis: Problem koji je ishodiste teorije o Nevanlinna-Pick interpolacijamaje sljedeci: za zadane tocke a1, . . . , an u otvorenoj desnoj kompleksnoj polu-ravnini, te kompleksne tocke b1, . . . , bn, treba naci pravu racionalnu funkcijuG koja je holomorfna u zatvorenoj desnoj kompleksnoj poluravnini, te zakoju vrijedi:

• G(ai) = bi, i = 1, . . . , n,

• supw∈R |G(iw)| ≤ 1.

Ovaj problem i njegova poopcenja se javljaju u nizu matematickih i tehnickihpodrucja, a cilj diplomskog rada je dati rjesnje ovog i srodnih problemapomocu terema o podizanju.

Literatura:M. Rosenblum, J. Rovnyak, Hardy classes and operator theory, Oxford Uni-versity Press, 1985.,N. K. Nikolski, Operators, Functions, and Systems: An Easy Reading, Amer-ican Mathematical Society, 2009,B. Sz Nagy, C. Foias, H. Bercovici, L. Krchy, Harmonic Analysis of Opera-tors on Hilbert Space, Springer, 2010.

68

Mentor: Ivica Nakic

Pohlepna aproksimacija u Hilbertovim prostorima

Podrucje: Funkcionalna analiza

Prikladno za studij: Svi studiji

Preduvjeti: predznanje obuhvaceno kolegijima Normirani prostori i Opera-tori na normiranim prostorima

Opis: Pohlepna aproksimacija je posebna vrsta nelinearnih aproksimacija,kod kojih je baza zamijenjena vecim sustavom funkcija koji je obicno redun-dantan te ga zovemo rijecnikom. S jedne strane redundantnost omogucavavecu efikasnost s obzirom na brzinu aproksimacije, no s druge strane dovodido vrlo netriviljanih teoretskih i prakticnih problema.

Cilj diplomskog rada je dati prikaz osnovnih definicija i rezultata vezanihuz pohlepne algoritme za rijecnike te njihovu konvergenciju.

Literatura:V. Temlyakov Greedy approximation, Cambridge University Press, 2011.

69

Mentor: Ivica Nakic

Princip jedinstvenog produljenja i njegove primjene u teorijiupravljanja

Podrucje: Parcijalne diferencijalne jednadzbe

Prikladno za studij: Teorijska matematika; Primjenjena matematika; Mate-maticka statistika

Preduvjeti: Parcijalne diferencijalne jednadzbe, Normirani prostori

Opis: Princip jedinstvenog produljenja igra fundamentalnu ulogu u teorijiupravljanja parcijalnih diferencijalnih jednadzbi pomocu kojeg se mogu pro-ucavati razlicite vrste upravljivosti.

U diplomskom radu student bi izlozio osnovne rezultate vezane uz ovutematiku, s naglaskom na pitanja upravljivosti pomocu vanjskog djelovanjasamo na (mali) dio podrucja na kojem je zadana parcijalna diferencijalnajednadzba.

Literatura:L. Rosier, A survey of controllability and stabilization results for partialdifferential equations, Journal europeen des systemes automatises, vol. 41,no3-4, str. 365.-411., (2007),S. Micu, E. Zuazua, An Introduction to the Controllability of Partial Dif-ferential Equations, in Quelques questions de theorie du controle, CollectionTravaux en Cours, Editions Hermann, str. 69.-157. (2005),C. Rojas-Molina, I. Veselic, Scale-free unique continuation estimates and ap-plications to random Schrodinger operators, arXiv:1210.5623 (2012)

70

Mentor: Ivica Nakic

Vizualizacija kompleksnih funkcija

Podrucje: Kompleksna analiza

Prikladno za studij: Svi studiji

Preduvjeti: Kompleksna analiza

Opis: Grafovi kompleksnih funkcija su podskupovi skupa C2 koji je cetvero-dimenzionalan prostor, te ih ne mozemo jednostavno nacrtati. No uz pomocboja mozemo ih vizualizirati na nacin da se najvaznija svojstva funkcija ipakmogu iscitati.

Cilj diplomskog rada je izloziti osnovene nacine prikazivanja kompleksnihfunkcija, s naglaskom na holomorfne funkcije. Ovisno o interesu studentanaglasak moze biti na matematickom ili racunalnom aspektu problema.

Literatura:E. Wegert, Visual Complex Functions - An Introduction with Phase Por-traits, Birkhauser, 2012.

71

Mentor: Goranka Nogo

Analiza zadataka s Medunarodnih informatickih olimpijada

Podrucje: Metodika nastave informatike

Prikladno za studij: Diplomski sveucilisni studij Matematika i informatika;smjer: nastavnicki

Preduvjeti: Potrebno je predznanje obuhvaceno kolegijima Metodika nas-tave informatike 1 i Metodika nastave informatike 2

Opis: U radu je potrebno analizirati zadatke koji su se pojavljivali zad-njih 10-ak godina na Medunarodnim informatickim olimpijadama. Od stu-denta/ice se ocekuje da prouci sluzbena rjesenja (ili ponudi vlastito) te daklasificira zadatke prema kriteriju metode rjesavanja.

Literatura:http://ioinformatics.org/index.shtml

72

Mentor: Goranka Nogo

Strukture za implementaciju disjunktnih skupova

Podrucje: Oblikovanje i analiza algoritama

Prikladno za studij: Racunarstvo i matematika

Opis: U radu ce biti promatran sljedeci problem: kako implementirati dvadisjunktna skupa da bi operacije unije i trazenja (Union-Find problem) bilesto efikasnije. Rijec je o problemu koji ima primjenu u mnogim podrucjimaracunarstva i matematike (teorija grafova). Od studenta se ocekuje da proucirazlicite strukture za implementaciju, napravi implementaciju te analizira do-bivene rezultate.

Literatura:T.H.Cormen, C.E.Leiserson, R.L.Rivest, C. Stein, Introduction to Algorithms,2nd, MIT Press, 2001.T.Roughgarden, Algorithms: Design and Analysis, Part 2,https://class.coursera.org/algo2-2012-001/lectureS.Luke, Essentials of Metaheuristics,http://cs.gmu.edu/ sean/book/metaheuristics/Essentials.pdf

73

Mentor: Igor Pazanin

Integralne jednadzbe i primjene

Podrucje: Matematicka analiza

Prikladno za studij: Nastavnicki studiji

Opis: U ovom radu bavili bi se klasifikacijom i osnovnim metodama rjesavanjaintegralnih jednadzbi. Posebna paznja posvetila bi se jednadzbama Fredhol-movog i Volterrinog tipa te njihovim primjenama.

Literatura:M.Rahman, Integral Equations and their Applications, WIT Press, 2007.R.P.Kanwal, Linear Integral Equations: Theory & Technique, Birkhauser,1997. H.Hochstadt, Integral Equations, J. Wiley & Sons, 1994.

74

Mentor: Igor Pazanin

Modeliranje obicnim diferencijalnim jednadzbama

Podrucje: Matematicko modeliranje

Prikladno za studij: Nastavnicki studiji

Opis: Diferencijalnim jednadzbama se najjednostavnije izrazavaju i modeli-raju mnogi prirodni zakoni te razni procesi u razlicitim podrucjima znanostii tehnike. Ovaj rad zamisljen je kao pregled veceg broja matematickih mod-ela opisanih obicnim diferencijalnim jednadzbama. Posebna paznja posvetilabi se izvodu i analizi modela znacajnih u populacijskoj dinamici, kemijskojkinetici te newtonovoj mehanici.

Literatura:J.R.Chasnov, Mathematical Biology, Lecture Notes, The Hong Kong Univer-sity of Science and Technology, 2009.J.R.Brannan, W.E.Boyce, Differential Equations: An Introduction to Mod-ern Methods & Applications, J. Wiley & Sons, 2007.M.Braun, Differential Equations and Their Applications, Springer-Verlag,1986.

75

Mentor: Igor Pazanin

Stokesov sustav

Podrucje: Parcijalne diferencijalne jednadzbe

Prikladno za studij: Diplomski studij Primijenjena matematika

Opis: Stokesov sustav predstavlja linearizaciju Navier-Stokesovih jednadzbii dobro opisuje tok newtonovskog fluida za male Reynoldsove brojeve. Uovom radu razmatrale bi se stacionarne Stokesove jednadzbe u ogranicenompodrucju. Nakon izvoda jednadzbi iz temeljnih zakona odrzanja, uveli bi seodgovarajuci funkcijski prostori te izlozila njihova osnovna svojstva. Glavnidio rada bio bi posvecen varijacijskoj formulaciji polaznog problema i dokazuegzistencije i jedinstvenosti rjesenja.

Literatura:R.Temam, Navier-Stokes equations, Vol I, North-Holland, 1977.G.P.Galdi, An Introduction to the Mathematical Theory of the Navier-StokesEquations, Vol I, Springer, 1997.I.Aganovic, Uvod u rubne zadace mehanike kontinuuma, Element, 2003.

76

Mentor: Igor Pazanin

Tok mikropolarnog fluida

Podrucje: Parcijalne diferencijalne jednadzbe

Prikladno za studij: Diplomski studij Primijenjena matematika

Opis: Model mikropolarnog fluida osnovno je poopcenje klasicnog Navier-Stokesovog modela koji uzima u obzir i mikrostrukturu samog fluida te jekao takav iznimno vazan sa stanovista primjena. Polazeci od temeljnih za-kona odrzanja, u ovom radu izveli bi osnovne jednadzbe koje opisuju tokmikropolarnog fluida te diskutirali pripadne rubne uvjete. Takoder, kakobi ilustrirali efekte mikrostrukture na tok fluida, bavili bi se i primjerimajednostavnih tokova za koje je moguce odrediti neka specijalna stacionarnarjesenja.

Literatura:G.Lukaszewicz, Micropolar Fluids: Theory and Applications, Birkhauser,1999.G.P.Galdi, An Introduction to the Mathematical Theory of the Navier-StokesEquations, Vol I, Springer, 1997.I.Aganovic, Uvod u rubne zadace mehanike kontinuuma, Element, 2003.

77

Mentor: Pavle Pandzic

Derivirane kategorije

Podrucje: algebra

Prikladno za studij: za sve

Preduvjeti: nema

Opis: Derivirane kategorije uveo je clan Grothendieckove grupe Verdier1970-tih. Rijec je o prirodnom okviru za proucavanje homoloske algebre,posebno pogodnom za rad sa izvedenim funktorima i njihovim generalizaci-jama. Derivirane kategorije imaju vazne primjene u suvremenoj algebri, ge-ometriji, teoriji reprezentacija i teorijskoj fizici.

Literatura:S.Gelfand, Y.Manin, Methods of homological algebra, Springer, 1996.D.Milicic, Lectures on Derived Categories, http://www.math.utah.edu/ mili-cic/Eprints/dercat.pdf

78

Mentor: Pavle Pandzic

Reprezentacije kompaktnih Liejevih grupa

Podrucje: algebra, analiza, geometrija

Prikladno za studij: za sve

Preduvjeti: nema

Opis: Ovo je jedan od mogucih uvoda u teoriju reprezentacija, gdje sepocinje od analize funkcija na kompaktnoj Liejevoj grupi i gradi nekomu-tativni analogon Fourierove analize. U primjeru kad je grupa kruznica,dobivaju se standardni Fourierovi redovi, a u slozenijim primjerima um-jesto osnovnih harmonika eint u igru ulaze matricni koeficijenti ireducibilnihreprezentacija grupe.

Literatura:A.W.Knapp, Representation theory of semisimple groups, an overview basedon examples, Princeton University Press, 1986.S.Kurepa, Konacnodimenzionalni vektorski prostori i primjene, Tehnicka knji-ga, Zagreb, 1967.T. Brocker, T.tom Dieck, Representations of compact Lie groups, Springer,1985.

79

Mentor: Pavle Pandzic

Reprezentacije poluprostih Liejevih algebri

Podrucje: algebra

Prikladno za studij: za sve

Preduvjeti: nema

Opis: Ovo je uvod u teoriju reprezentacija sa cisto algebarske strane. Polazise od pojma Liejeve algebre, proucava se njihova struktura i reprezentacije.Naglasak je stavljen na konkretne primjere matricnih algebri.

Literatura:W. Fulton, J.Harris, Representation theory. A first course., Springer, 1991.R.Goodman, N.Wallach, Representations and invariants of the classical groups,Cambridge University Press, 1998.J. Humphries, Introduction to Lie algebras and representation theory, Springer,1971.

80

Mentor: Pavle Pandzic

Reprezentacije simetricnih grupa

Podrucje: algebra, kombinatorika

Prikladno za studij: za sve

Preduvjeti: nema

Opis: U ovoj se temi iz teorije reprezentacija javljaju i mnogi pojmovi izkombinatorike, kao sto su particije, Youngovi dijagrami i simetricne funckije.Tako se proucavanjem reprezentacija dolazi i do vrlo konkretnih kombina-tornih primjena.

Literatura:W. Fulton, J.Harris, Representation theory. A first course., Springer, 1991.I.G.Macdonald, Symmetric functions and Hall polynomials, Oxford Mathe-matical Monographs, 1980.

81

Mentor: Ozren Perse

Poincare-Birkhoff-Wittov teorem

Podrucje: Algebra

Prikladno za studij: Teorijska matematika

Preduvjeti: Dobro poznavanje gradiva kolegija ”Vektorski prostori” i ”Al-gebra”

Opis: Univerzalna omotacka algebra je vazan alat u proucavanju reprezentacijaLiejeve algebre. U ovom radu planira se obraditi fundamentalni PBW teoremo bazi te omotacke algebre.

Literatura:J. E. Humphreys, Introduction to Lie Algebras and Representation Theory,Graduate Texts in Mathematics, Springer-Verlag, New York-Berlin, 1972.

82

Mentor: Ozren Perse

Poluproste Liejeve algebre

Podrucje: Algebra

Prikladno za studij: Teorijska matematika

Preduvjeti: Dobro poznavanje gradiva kolegija ”Vektorski prostori” i ”Al-gebra”

Opis: U ovom radu planiraju se obraditi neke osnovne teme iz strukturneteorije poluprostih Liejevih algebri i njihovih reprezentacija, kao sto su Car-tanova podalgebra, korijenska dekompozicija, moduli najvece tezine i sl.

Literatura:J. E. Humphreys, Introduction to Lie Algebras and Representation Theory,Graduate Texts in Mathematics, Springer-Verlag, New York-Berlin, 1972.

83

Mentor: Boris Podobnik

Financijske mreze

Podrucje: Financije

Prikladno za studij: Svi studiji.

Preduvjeti: Polozen kolegij Ekonometrija.

Opis: Mreze su prirodno okruzje za razumijevanje kompleksnih ekonomskihfenomena. U teoriji mreza prirodno se opisuju tehnoloska difuzija, efektisusjeda, financijske krize, sirenje zaraze i globalizacija. U diplomskom cemodati osvrt na modele mreza u opisivanju financijskih trzista.

Literatura:Financial Networks, D. M. Gale and S. Kariv, American Ec. Review, 2007 .Financial Contagion, Allen & Gale (JPE, 2000)

84

Mentor: Mirko Polonijo

George Polya - doprinos matematickoj edukaciji

Podrucje: matematicka edukacija

Prikladno za studij: nastavnicki diplomski studiji

Preduvjeti: nema

Opis: George Polya (1887-1985) je bio znacajni matematicar ali i izuzetnimetodicar matematike. Svojim knjigama izdanima u visokim tirazama iprevodenima na mnoge jezike, znacajno je utjecao na pristup matematickojedukaciji. Taj pristup je “popularan” i danas traje, pa je svrha rada da seprikazu i ocjene Polya-ovi doprinosi poucavanju matematike.

Literatura:G. Polya, How to Solve It: A New Aspect of Mathematical Method (Prince-ton Science Library)G. Polya, Mathematics and Plausible Reasoning, Volume 1: Induction andAnalogy in MathematicsG. Polya, Mathematics and Plausible Reasoning: Volume II Patterns of Plau-sible InferenceG. Polya, Mathematical Discovery on Understanding, Learning, and Teach-ing Problem Solving, Volume IG. Polya,Mathematical Discovery on Understanding, Learning, and TeachingProblem Solving, Volume IIG. Polya,Matematicko otkrice, HMD, Zagreb, 2003.

85

Mentor: Mirko Polonijo

Udzbenik “Uvod u matematiku” Svetozara Kurepe

Podrucje: matematicka edukacija

Prikladno za studij: nastavnicki diplomski studiji

Preduvjeti: nema

Opis: Svetozar Kurepa (1929-2010) odigrao je veliku i trajnu ulogu u hrvatskojmatematici. Osim vaznih znanstvenih matematickih doprinosa, S. Kurepa jeautor mnogih matematickih udzbenika za srednju skolu i fakultete. Njegov jeudzbenik “Uvod u matematiku” (1970.) zamisljen kao knjiga koja je trebalapopuniti prazninu u matematickom obrazovanju izmedu srednje skole i fakul-teta, pa je ona time danas svjedocanstvo jednoga vremena. Svrha rada jedetaljno prikazati i ocijeniti (u tadasnjem i danasnjem kontekstu) spomenutodjelo.

Literatura:Kurepa, S. (1970). Uvod u matematiku, Zagreb; Tehnicka knjiga

86

Mentor: Mirko Primc

Cliffordove algebre i klasicne grupe

Podrucje: Algebra i teorija grupa

Prikladno za studij: Teorijska matematika; Primjenjena matematika

Preduvjeti: Vektorski prostori

Opis: Cilj rada bio bi konstrukcija Cliffordovih algebri te, ovisno o sklonos-tima i predznanju studenta, neke njihove primjene u teoriji reprezentacijagrupa SO(n) i Spin(n) u matematici i fizici.

Literatura:M. Postnikov, Lie Groups and Lie Algebras, Lectures in Geometry V, MirPublishers, Moscow, 1986.

87

Mentor: Mirko Primc

Multilinearna algebra

Podrucje: Algebra

Prikladno za studij: Teorijska matematika; Primjenjena matematika

Preduvjeti: Vektorski prostori

Opis: Cilj rada bio bi konstrukcija tenzorske algebre i vanjske algebre, teosnovni rezultati o strukturi vanjske algebre.

Literatura:S. Mac Lane, G. Birkhoff, Algebra, third edition, AMS Chelsea Publishing,American Mathematical Society, Providence, Rhode Island, 1999.

88

Mentor: Mirko Primc

Proste Liejeve algebre i njihove reprezentacije

Podrucje: Algebra

Prikladno za studij: Teorijska matematika; Primjenjena matematika

Preduvjeti: Vektorski prostori

Opis: Cilj rada bio bi opis strukture prostih kompleksnih Liejevih algebri injihovih konacno dimenzionalnih reprezentacija. Ovisno o sklonostima stu-denta biralo bi se gradivo s naglaskom na strukturu algebri ili na svojstvareprezentacija.

Literatura:J. E. Humphreys, Introduction to Lie Algebras and Representation Theory,Graduate Texts in Mathematics 9, Springer-Verlag, New York, Heidelberg,Berlin, 1972.

89

Mentor: Mirko Primc

Reprezentacije konacnih i kompaktnih grupa

Podrucje: Algebra, topologija i analiza

Prikladno za studij: Teorijska matematika; Primjenjena matematika

Preduvjeti: Vekorski prostori, Operatori na normiranim prostorima

Opis: Jedan od osnovnih rezultata analize i teorije grupa je Peter-Weylovteorem o aproksimaciji neprekidne funkcije na kompaktnoj grupi matricnimelemenatima ireducibilnih reprezentacija grupe. U sustini je to poopcenjeklasicnih rezultata poput razvoja periodicke funkcije u Fourierov red ili aproksi-macije funkcije na sferi kuglinim funkcijama. Ovisno o sklonostima i predz-nanju studenta odabralo bi se gradivo koje bi ukljucivalo Peter-Weylov teo-rem ili samo neke dijelove te teorije.

Literatura:Barry Simon, Representations of Finite and Compact Groups, GraduateStudies in Mathematics 10, AMS, Providence R.I., 1996.

90

Mentor: Rajna Rajic

Geometrija kubicnih polinoma

Podrucje: Matematicka analiza

Prikladno za studij: Svi studiji

Preduvjeti: Nema preduvjeta.

Opis: Prema Rolleovom teoremu, bilo koji segment ciji su krajevi medusobnorazlicite realne nultocke polinoma p : R → R sadrzi barem jednu stacionarnutocku polinoma p. U radu bi se najprije dokazali neki kompleksni analogoniovog teorema za polinome proizvoljnog stupnja. Posebna paznja posvetilabi se zatim polinomima treceg stupnja, gdje bi se prikazali razni rezultati ogeometrijskoj vezi nultocaka polinoma treceg stupnja i njegovih stacionarnihtocaka.

Literatura:A. Aziz, A new proof of Laguerre’s theorem about the zeros of polynomials,Bull. Austral. Math. Soc. 33 (1986), 131-138.C. Frayer, M. Kwon, C. Schafhauser, J. A. Swenson, The geometry of cubicpolynomials, http://www.uwplatt.edu/ swensonj/gocp/GOCPv11-js.pdf

D. Kalman, An elementary proof of Marden’s theorem, Amer. Math. Monthly115 (2008), 330-337.V. V. Prasolov, Polynomials, 2nd edition, Moscow Center for ContinuousMath. Education, Springer-Verlag, Berlin, Heidelberg, 2004.E. B. Saff, J. B. Twomey, A note on the location of critical points of polyno-mials, Proc. Amer. Math. Soc. 27 (2) (1971), 303-308.

91

Mentor: Rajna Rajic

Polarna forma operatora

Podrucje: Teorija operatora

Prikladno za studij: Svi studiji

Preduvjeti: Pozeljno predznanje iz kolegija Normirani prostori i Operatorina normiranim prostorima.

Opis: Operator T mozemo prikazati u polarnoj formi T = U(T ∗T )1/2, gdjeje U parcijalna izometrija. U ovom radu proucavala bi se izvjesna svojstvaoperatora T (kao sto su npr. pozitivnost, samoadjungiranost, normalnost,kvazinormalnost, 2-nilpotentnost) koja se prenose na parcijalnu izometrijuU iz njegove polarne forme. U terminima polarne forme opisali bi se nuznii dovoljni uvjeti uz koje operator T komutira s operatorima S i S∗. Takoderbi se detaljno proucile normalne i kvazinormalne parcijalne izometrije.

Literatura:T. Furuta, Invitation to Linear Operators, Taylor & Francis, London, 2001.P. R. Halmos, A Hilbert Space Problem Book, Van Nostrand, Princeton, 1967.

92

Mentor: Rajna Rajic

Pozitivna preslikavanja na prostoru matrica

Podrucje: Linearna algebra

Prikladno za studij: Svi studiji

Preduvjeti: Nema preduvjeta.

Opis: Linearno preslikavanje ϕ : Mn(C) → Mk(C) je pozitivno ako je ϕ(A)pozitivno semidefinitna matrica za svaku pozitivno semidefinitnu matricuA ∈ Mn(C). U ovom diplomskom radu dao bi se prikaz osnovnih rezultata opozitivnim preslikavanjima, unutar kojih vaznu klasu cine potpuno pozitivnapreslikavanja. Poseban naglasak bio bi na ulozi ovih preslikavanja u dokazi-vanju raznih matricnih nejednakosti.

Literatura:R. Bhatia, Positive definite matrices, Princeton University Press, Princetonand Oxford, 2007.F. Zhang, Matrix Theory: Basic Results and Techniques, 2nd edition, Springer-Verlag, New York, 2011.

93

Mentor: Nikola Sarapa

Centralni granicni problem

Podrucje: Teorija vjerojatnosti

Prikladno za studij: nenastavnicki studiji

Preduvjeti: Poznavanje sadrzaja obuhvacenih kolegijima Teorija vjerojat-nosti 1 i 2

Opis: Obraduje se teorija beskonacno djeljivih distribucija, koja se koristiza dokazivanje opceg centralnog granicnog teorema za infinitezimalne sis-teme slucajnih varijabli, iz kojeg kao korolari slijede poznati klasicni centralnigranicni teoremi,

Literatura:N.Sarapa, Teorija vjerojatnosti, Skolska knjiga, Zagreb, 2002.

94

Mentor: Nikola Sarapa

Donskerov teorem u prostoru C

Podrucje: Teorija vjerojatnosti

Prikladno za studij: nenastavnicki studiji

Preduvjeti: Poznavanje sadrzaja obuhvacenih kolegijima Teorija vjerojat-nosti 1 i 2

Opis: Promatraju se vjerojatnosne mjere na metrickim prostorima, speci-jalno na prostoru C neprekidnih funkcija na segmentu [0,1] s uniformnommetrikom. Dokazuje se Donskerov teorem o konvergenciji po distribuciji prik-ladno definiranih slucajnih elemenata u prostoru C prema Winerovoj mjeri.

Literatura:P.Billingsley, Convergence of probability measures, J.Wiley, New York, 1968.

95

Mentor: Nikola Sarapa

Martingali

Podrucje: Teorija vjerojatnosti

Prikladno za studij: nenastavnicki studiji

Preduvjeti: Poznavanje sadrzaja obuhvacenih kolegijima Teorija vjerojat-nosti 1 i 2

Opis: Obraduju se osnovni pojmovi potrebni za uvodenje pojma martingalai submartingala, te se dokazuju osnovni teoremi o konvergenciji i dekompozi-ciji submartingala.

Literatura:N.Sarapa, Teorija vjerojatnosti, Skolska knjiga, Zagreb, 2002.

96

Mentor: Nikola Sarapa

Zakoni velikih brojeva za jednako distribuirane slucajne elementeu Banachovim prostorima

Podrucje: Teorija vjerojatnosti

Prikladno za studij: nenastavnicki studiji

Preduvjeti: Poznavanje sadrzaja obuhvacenih kolegijima Teorija vjerojat-nosti 1 i 2

Opis: Promatraju se slucajni elementi u Hilbertovim i Banachovim pros-torima. Dokazuju se generalizacije nekih klasicnih zakona velikih brojevaza separabilne Banachove prostore i Banachove prostore sa Schauderovombazom.

Literatura:N.Sarapa, Teorija vjerojatnosti, Skolska knjiga, Zagreb, 2002.

97

Mentor: Dragutin Svrtan

Elementi prostorne hiperbolicke geometrije

Podrucje: Geometrija, topologija.

Prikladno za studij: Svi studiji.

Preduvjeti: Polozen kolegij Diferencijalna geometrija I,II.

Opis: Obraditi sustavno neke osnovne rezultate iz prostorne hiperbolickegeometrije prema knjigama navedenim u literaturi.

Literatura:W. Fenchel, Elementary Geometry in Hyperbolic Space, de Gruyter Studiesin Mathematics 11, Berlin, New York 1989.J. Milnor, Hyperbolic geometry-the first 150 years,Bull.Amer.Math.Soc.6(1982),9-24.

98

Mentor: Dragutin Svrtan

Polinomi u teoriji grafova

Podrucje: Geometrija, topologija.

Prikladno za studij: Svi studiji.

Preduvjeti: Polozen kolegij KIDM i KOMBINATORIKA.

Opis: Obraditi sustavno neke osnovne rezultate o vaznim polinomima uteoriji grafova kao sto su Tutteov polinom , polinomi sparivanja i srodnipolinomi. Obraditi i neke primjene prema knjigama navedenim u literaturi.

Literatura:M.Aigner,A Course in Enumeration,2007 ,GTM 238,Springer Verlag ,BerlinHeidelberg New York.J.A.Bondy and U.S.R.Murty,Graph Theory With Applications,1976, Univer-sity of Waterloo, OntarioMiklos Bona, A Walk Through Combinatorics, An Introduction To Enumer-ation And Graph Theory, 2006D.Veljan,Kombinatorna i diskretna matematika, Zagreb, Algoritam, 2001

99

Mentor: Dragutin Svrtan

Teorija Sabitova

Podrucje: Diskretna matematika, Geometrija.

Prikladno za studij: Svi studiji.

Preduvjeti: Polozen kolegij KIDM i KOMBINATORIKA.

Opis: Problem koji je ishodiste teorije Sabitova je sljedeci: za zadani poliedars trokutastim stranama, treba naci jednadzbu volumena u terminima duljinabridova . Ovisno o preferenciji studenta, naglasak diplomskog rada moze bitistavljen na dokaz Teorema Sabitova ili na razradu primjera (npr. za oktae-dre).Ili cak na nova nedavna poopcenja .

Literatura:I. Pak, Lectures on Discrete and Polyhedral Geometry,http://www.math.ucla.edu/ pak/book.htm,A.A. Gaifullin, Generalization of Sabitov’s theorem to polyhedra of arbitrarydimension, arXiv:1210.5408v1.

100

Mentor: Dragutin Svrtan

Zakrivljenost u Riemannovoj geometriji

Podrucje: Geometrija, topologija.

Prikladno za studij: Svi studiji.

Preduvjeti: Polozen kolegij Diferencijalna geometrija I,II.

Opis: Obraditi sustavno neke osnovne vazne formule za Riemannov tenzorzakrivljenosti u Riemannovoj geometriji prema knjigama navedenim u liter-aturi.

Literatura:M.M. PostnikovGeometry VI: Riemannian Geometry (Encyclopaedia of Math-ematical Sciences) (v. 6) [Hardcover],Springer, Apr 20, 2001 - Mathematics- 503 pagesM. Berger, A Panoramic View of Riemannian Geometry,Springer, 2003 -Mathematics - 824 pages

101

Mentor: Juraj Siftar

Karakterizacije parabole

Podrucje: Geometrija.

Prikladno za studij: Nastavnicki smjerovi, Teorijska matematika.

Opis: Izlozit ce se niz svojstava koja u potpunosti karakteriziraju parabolu,odnosno pruzaju nuzne i dovoljne uvjete na neku funkciju da bi njezin grafbila parabola. Ti uvjeti vecinom su povezani sa svojstvima povrsina odredenihlikova i svojstvima tangenti na graf funkcije, a obuhvacaju i poznato zr-calno svojstvo parabole. Neka od tih svojstava proucavao je jos Arhimed,no uglavnom su poznata kao nuzni, a rjede kao dovoljni uvjeti za paraboluodnosno kvadratnu funkciju.

Literatura:M.B. Richmond and T.A. Richmond, How to recognize a Parabola, Amer.Math. Monthly 116 (10)(2009), 910922.A. Benyi, P. Szeptycki and F. Van Vleck, Archimedean Properties andParabolas, Amer. Math. Monthly 107(10) (2000), 945949.J. Gallego-Diaz, M. Goldberg and D.C.B. Marsh, Problem E1659, Amer.Math. Monthly 71(1964), 1136-1137.

102

Mentor: Juraj Siftar

Malfattijev problem

Podrucje: Geometrija.

Prikladno za studij: Nastavnicki smjerovi, Teorijska matematika.

Opis: Izvorni problem G.F. Malfattija (1803.) odnosi se na izrezivanje trivaljka jednake visine iz uspravne trostrane prizme tako da ukupni volumenvaljaka bude maksimalan. Malfatti je problem sveo na pronalazenje tri krugaupisana u trokut tako da zbroj njihovih povrsina bude maksimalan, no nje-gova slutnja da rjesenje cine tri kruga od kojih svaki dodiruje dvije stranicetrokuta i ostala dva kruga pokazala se pogresnom. Takav problem razmatranje inace jos ranije u Japanu. U 20. stoljecu Malfattijeva slutnja opovrgnuta jekroz nekoliko radova u kojima je pokazano da za svaki trokut, kao i za jos zaneke likove, pohlepni algoritam daje vecu povrsinu tri upisana kruga od Mal-fattijeve konfiguracije. U radu ce se prikazati glavni rezultati kroz povijestrjesavanja Malfattijeva problema i, posebno, konstrukcije spomenute konfig-uracije.

Literatura:R.M. Andreatta, A. Bezdek and J. Boronski, The problem of Malfatti: twocenturies of debate, Math. Intelligencer 33(1) (2010), 72-76.H. Lob and H.W. Richmond, The solution of Malfattis problem for a trian-gle, Proc. London Math. Soc. 30 (1930), 287304.M. Goldberg, On the original Malfatti problem, Math. Mag. 40 (1967),241247.V. A. Zalgaller and G. A. Los, The solution of Malfattis problem, J. Math.Sciences, 72(4) (1994), 31633177.

103

Mentor: Juraj Siftar

Teorem o svjetioniku i njegove primjene u geometriji

Podrucje: Geometrija.

Prikladno za studij: Nastavnicki smjerovi, Teorijska matematika.

Opis: Slikovito nazvana Teorem o svjetioniku, tvrdnja govori da se dvije n-torke pravaca sa zajednickim sjecistima u tockama B i C, takve da susjednipravci u svakoj n-torci zatvaraju jednake kutove (tj. da je svaka n-torka ek-viangularna) medusobno sijeku u n2 tocaka koje su vrhovi n pravilnih polig-ona. Nadalje, kruznice opisane svakom od tih poligona prolaze tockama B iC. U opseznom clanku R. K. Guya dokazuje se niz tvrdnji povezanih s nave-denim teoremom, a medu njima su i glasoviti Morleyev teorem o sjecistimatrisektrisa u trokutu te Malfattijev problem konstrukcije tri kruznice od ko-jih svaka dira dvije stranice zadanog trokuta i ostale dvije kruznice. Uz tose analiziraju neke slozene konfiguracije generirane spomenutim teoremima.U radu ce se izloziti dio ovih rezultata.

Literatura:R. K. Guy: The Lighthouse Theorem, Morley & Malfatti A Budget of Para-doxes, Amer. Math. Monthly 114 (2) (1964), 97-141.

H.S.M. Coxeter, S.L. Greitzer, Geometry Revisited, Math. Associationof America, Washington D.C., 1967.

104

Mentor: Boris Sirola

Algebarske mnogostrukosti

Podrucje: Algebarska geometrija, Algebra

Prikladno za studij: Svi smjerovi

Preduvjeti: Poznavanje materije iz preddiplomskih kolegija Algrebarskestrukture.

Opis: Neka je A = C[x1, . . . , xn], prsten polinoma u n varijabli, s koeficijen-tima iz polja kompleksnih brojeva C. (Namjesto C moze se uzeti bilo kojealgebarski zatvoreno polje.) Ako je f = f(x1, . . . , xn) ∈ A neki polinom,definiramo njegov skup nultocaka V (f) = P ∈ Cn | f(P ) = 0. Opcenitije,ako je F = fi | i ∈ I bilo koja familija polinoma fi ∈ A, mozemo defini-rati skup V (F) =

⋂I V (fi); tj., V (F) je skup zajednickih nultocaka svih

polinoma fi. Takvi se skupovi zovu (afine) algebarske mnogostrukosti. Isti,i njihove generalizacije/analogoni, predmet su proucavanja u jednoj od na-jvaznijih matematickih discplina, Algebarskoj geometriji.

Cilj diplomskog rada je na uvodnom, i sasvim elementarnom, nivou uvestipojam algebarske mnogostrukosti. Kao glavne dijelove rada, promatralo bise afine algebarske mnogostrukosti i projektivne mnogostrukosti.

Literatura:K. Ueno, Algebraic Geometry 1; From algebraic Varieties to Schemes, Trans-lations of Mathematical Monographs, Vol. 185, Amer. Math. Soc., 1999.

105

Mentor: Boris Sirola

Dirichletov teorem o prim brojevima u aritmetickim nizovima

Podrucje: Teorija brojeva

Prikladno za studij: Svi studiji.

Preduvjeti: Polozen kolegij Teorija brojeva, ili Elementarna teorija brojeva.Pozeljno znanje osnova Kompleksne analize.

Opis: Dirichletov teorem je jedan od prvih velikih teorema u analitickojteoriji brojeva. On govori da ako su a i b dva relativno prosta prirodnabroja, onda u skupu svih brojeva oblika ax+b, kada x prolazi skupom svihprirodnih brojeva, ima beskonacno mnogo prim brojeva. U predlozenomradu najprije bi se, kao motivacija, napravili neki posebni slucajevi Dirichle-tovog teorema. Nakon toga bi se detaljno procili tzv. Dirichletovi karakteri,a zatim bi se uvele i tzv. Dirichletove L-funkcije. U zadnjem dijelu radanapravio bi se ili potpun dokaz Dirichletovog teorema, ili dokaz “do na nekepreskocene korake”; ovisno o volji kandidata.

Literatura:A. Fine and G. Rosenberger, Number theory; An introduction via the distri-bution of primes, Birkhauser, Boston 2007.

106

Mentor: Boris Sirola

Poluproste Liejeve algebre i Liejeve grupe

Podrucje: Liejeva teorija, Teorija reprezentacija

Prikladno za studij: Teorijska matematika, Primijenjena matematika.

Preduvjeti: Poznavanje materije iz preddiplomskih kolegija Vektorski pros-tori i Algrebarske strukture.

Opis: Vektorski prostor n× n kompleksnih matrica traga nula, uz tzv. ko-mutatorsko mnozenje [A,B] := AB − BA, oznacava se sa sl(nC). To jejedan od glavnih primjera u klasi (kompleksnih) poluprostih Liejevih alge-bri. S druge strane, grupa SL(n,C) je jedan od glavnih primjera u klasi(kompleksnih) poluprostih Liejevih grupa. Pokazuje se da, po “analogiji” sparom (sl(n,C), SL(n,C)), ima i jos nekih drugih vrlo zanimljivih parova(g, G); ovdje je G Liejeva grupa i g je “odgovarajuca” Liejeva algebra.

Teorija Liejevih grupa i Liejevih algebri, kao i teorija reprezentacija tihobjekata, igraju vrlo vazne uloge u mnogim drugim maatematickim disci-plinama (npr. algebarska geometrija, diferencijalna geometrija, teorija bro-jeva, teorija reprezentacija,...) Cilj diplomskog rada je razumijeti osnove oLiejevim algebrama i Liejevim grupama, sa posebnim naglaskom na primjerepoluprostih algebri i grupa.

Literatura:A. W. Knapp, Lie Groups Beyond an Introduction, Progress in Math., vol.140, Birkhauser, Boston, 2005.

107

Mentor: Boris Sirola

Povezanost prim brojeva s Fermatovim, Mersenneovim iFibonaccijevim brojevima

Podrucje: Elementarna teorija brojeva

Prikladno za studij: Svi studiji.

Preduvjeti: Osnovno znanje elementarne teorije brojeva

Opis: Prim brojevi bazicni su ‘blokovi’ u multiplikativnoj teoriji brojeva.Opcenito razumijevanje i posebno razdioba prim brojeva medu svim prirod-nim brojevima jedan je od temeljnih problema matematike. Cilj predlozenograda bio bi prouciti tri specijalne vrste brojeva; tzv. Fermatove brojeve,Mersenneove brojeve i Fibonaccijeve brojeve. Poseban naglasak bio bi narazumijevanju prim djelitelja tih brojeva.

Literatura:A. Fine and G. Rosenberger, Number theory; An introduction via the distri-bution of primes, Birkhauser, Boston 2007.

108

Mentor: Sonja Stimac

Dinamika Henonovih preslikavanja

Podrucje: Dinamicki sustavi

Preduvjeti: Nelinearni dinamicki sustavi

Opis: Cilj ove teme bio bi prosiriti i produbiti znanja stecena na kolegiju Ne-linearni dinamicki sustavi. Kolegij se bavi jednodimenzionalnom dinamikom,a diplomski rad bi se bavio dvodimenzionalnom dinamikom. Posebna paznjabila bi posvecena proucavanju dinamike Henonovih preslikavanja. Henonovapreslikavanja Ha,b : R2 → R2 su dvoparametarska familija preslikavanja rav-nine dana sa Ha,b(x, y) = (a−by−x2, x), a, b ∈ R. Njena dinamika posjedujemnoga svojstva koja se pojavljuju u visedimenzionalnoj dinamici kao sto suhiperbolicki skupovi, homoklinicke tocke, bifurkacije, potkove, cudni atrak-tori i jos puno vise. Henonova familija preslikavanja je takoder vazna temaistrazivanja, jer postoje mnogi parametri za koje se dinamika slabo razumije.Zato je ova diplomska tema ujedno i dobar pocetak buduceg istrazivanja udinamickim sustavima.

Literatura:R. L. Devaney, An Introduction to Chaotic Dynamical Systems, The Ben-jamin/Cummings Publishing Co., 1986.

109

Mentor: Sonja Stimac

Dinamika unimodalnih funkcija

Podrucje: Dinamicki sustavi

Opis: Dinamicki sustavi su zanimljivo i vazno podrucje matematika. Ovatema je namjenjena studentima koji nisu slusali kolegij Nelinearni dinamickisustavi, a zele se upoznati s osnovama tog podrucja. Unimodalne funkcijesu funkcije f : I → R, gdje je I ⊂ R segment, koje imaju jednu tocku ek-strema. Mada se na prvi pogled cine jednostavne, njihova dinamika je veomazanimljiva i bogata. Posebna paznja bila bi posvecena dinamici satorske ikvadratne familije funkcija.

Literatura:R. L. Devaney, An Introduction to Chaotic Dynamical Systems, The Ben-jamin/Cummings Publishing Co., 1986.

110

Mentor: Marko Tadic

p-adski brojevi i kvadratne forme nad Q

Podrucje: Algebarska teorija brojeva

Prikladno za studij: Teorijska matematika

Preduvjeti: Polozeni kolegiji Algebra 1, 2 i Algebarska teorija brojeva 1, 2

Opis: U teoriji kvadratnih formi nad nekim poljem (ili prstenom), izmedjuostaloga, proucavaju se pitanja predstavljivosti elemenata polja pomocu danekvadratne forme, te pitanja ekvivalencija kvadratnih formi (i klasifikacije is-tih). Vazno mjesto zauzimaju forme nad poljem racionalnih i cijelih brojeva.Teorija kvadratnih formi je bitno jednostavnija nad popunjenjima polja raci-nalnih brojeva, nego nad samim Q. Primjer su forme nad R (to je arhimedskopopunjenje od Q), gdje su pitanja predstavljivosti i klasifikacije vrlo jednos-tavna.

Cilj radnje je uvesti ostala popunjenja od Q. To su polja p-adskih brojeva(sto su ne-arhimedska popunjenja od Q), istraziti njihova osnovna svojstva,izloziti osnovne rezultate teorije kvadratnih formi nad ovim popunjenjima,te primjeniti te rezultate na forme nad Q.

Literatura:J.-P. Serre: A Course in Arithmetic, Springer Verlag, New York, 1996.

J.W.S. Cassels: Rational Quadratic Forms, Dover, 2008

111

Mentor: Marko Tadic

Klasifikacija lokalnih polja

Podrucje: Algebarska teorija brojeva

Prikladno za studij: Teorijska matematika

Preduvjeti: Polozeni kolegiji Algebra 1, 2 i Algebarska teorija brojeva 1, 2

Opis: Bez pojma realnih brojeva nemoguce je zamisliti veliki dio danasnjematematike. Polje realnih brojeva je upotpunjenje polja racionalnih brojevas obzirom na uobicajnu normu. Prirodno se namece pitanje: koja su ostalaupotpunjenja polja racinalnih brojeva, i da li ona mogu biti od koristi umatematici.

S druge strane, do drugih popunjenja od Q se dolazi prirodno kada segledaju Diofantske jednadzbe i pripadne kongruencijske jednadzbe. njihovaredukcija modulo prosti brojevi p (i njihove potencije). Ovo pokazuje njihovuvaznost za teoriju brojeva.

Sva ova popunjenja su lokalno komaktna i nediskretna. Stoga se postavljaprirodno pitanje klasifikacije svih ovakovih polja. Cilj radnje je izloziti nji-hovu klasifikaciju.

Literatura:A. Weil: Basic number theory, Springer-Verlag, New York 1995

J.-P. Serre: Local fields, Springer, Berlin 1980

112

Mentor: Marko Tadic

Modularne forme

Podrucje: Analiticka teorija brojeva, kompleksna analiza

Prikladno za studij: Teorijska matematika

Preduvjeti: Polozeni kolegiji Algebra 1, 2 i Algebarska teorija brojeva 1, 2

Opis: Modularne forme su od iznimne vaznosti u teoriji brojeva (dovoljno jeda podsjetimo na Shimura-Tanyaminu slutnju i njenu ulogu u rjesenju velikogFermatovog problema). Danas se intenzivno radi na njihovoj generalizaciji.

Cilj radnje je izloziti osnovne rezultate klasicne teorije modularnih formiza punu modularnu grupu SL(2,Z).

Literatura:J.-P. Serre: A Course in Arithmetic, Springer Verlag, New York, 1996.

A. Robert, Elliptic curves, Lecture Notes in Math. 326, Springer-Verlag,New York 1973

113

Mentor: Marko Tadic

Reprezentacije konacnih grupa

Podrucje: Algebra

Prikladno za studij: Teorijska matematika

Preduvjeti: Algebra 1, 2, Odabrana poglavlja teorije reprezentacija

Opis: U radnji bi se napravile osnove teorije reprezentacija konacnih grupa,posebno teorija induciranih reprezentacija i rezultata vezanih uz njih. Posebnabi se pozornost obratila teoriji reprezentacija nekih specijalnih konacnih grupa.

Literatura:J.-P. Serre, Linear Representations of Finite Groups (Graduate Texts inMathematics) (v. 42) Springer Verlag, Berlin, 1977

114

Mentor: Josip Tambaca

Matematicko modeliranje tehnoloskog procesa sterilizacije

Podrucje: Matematicko modeliranje, PDJ, numerika

Prikladno za studij: Primijenjena matematika

Opis: Zadatak je numericki rjesavati jednadzbu difuzije te analizirati uvjeteprocesa da bi se postigo da tijelo bude na zadanom minimalnoj temperaturizadano vrijeme

Literatura:I. Aganovic, Uvod u rubne zadace mehanike kontinuuma, Element, Zagreb,2003. M. Jurak, Praktikum primijenjene matematike II. Metoda konacnihelemenata, skripta F. Hecht, FreeFEM++ dokumentacija.

115

Mentor: Josip Tambaca

Varijacijske nejednakosti

Podrucje: Funkcionalna analiza

Prikladno za studij: Primijenjena matematika, Teorijska matematika,Matematicka statistika

Opis: Varijacijske nejednakosti od velikog su interesa kod problema mehanikekontinuuma s uvjetima. U okviru ove teme zadatak je dati osnovne teorijskerezultate vezane za egzistenciju, jedinstvenost, te aproksimaciju rjesenja var-ijacijskih nejednakosti.

Literatura:D. Kinderlehrer and G. Stampacchia, An Introduction to Variational In-equalities and Their Applications. Academic Press, New York (1980). R.Glowinski, Numerical Methods for Nonlinear Variational Problems. SpringerVerlag, New York (1984).

116

Mentor: Zvonimir Tutek

Bifurkacije i primjene

Podrucje: Analiza, Primijenjena matematika

Prikladno za studij: Analiza, Primijenjena matematika

Preduvjeti: Normirani prostori, Parcijalne diferencijalne jednadzbe

Opis: Osnovni rezultati o bifurkacijama, teorijska i numericko rjesavanjekonkretnih problema

Literatura:V.K. Le, K. Schmitt, Global bifurcation in variational inequalities, Springer,1997

117

Mentor: Zvonimir Tutek

Egzistencija rjesenja rubnih problema za PDJ

Podrucje: Analiza, Primijenjena matematika

Prikladno za studij: Analiza, Primijenjena matematika

Preduvjeti: Normirani prostori, Parcijalne diferencijalne jednadzbe, Nelin-earna analiza i primjene

Opis: Egzistencija slabih rjesenja primjenom teorije monotonih operatora teprimjenom varijacijskih metoda

Literatura:P. Drabek, J. Milota, Methods of nonlinear analysis, Birkhauser, 2007

118

Mentor: Zvonimir Tutek

Optimizacija oblika

Podrucje: Analiza, Primijenjena matematika

Prikladno za studij: Analiza, Primijenjena matematika

Preduvjeti: Normirani prostori, Parcijalne diferencijalne jednadzbe, Teorijaelasticnosti

Opis: Osnove teorije optimizacije oblika tijela, primjene u teoriji elasticnosti

Literatura:J. Haslinger, R.A.E. Makinen, Introduction to shape optimization SIAM,2003

119

Mentor: Zvonimir Tutek

Teoremi o fiksnoj tocki i primjene

Podrucje: Analiza, Primijenjena matematika

Prikladno za studij: Analiza, Primijenjena matematika

Preduvjeti: Normirani prostori, Parcijalne diferencijalne jednadzbe

Opis: Banachov, Browderov i Schaeferov teorem o fiksnoj tocki, primjenana diferencijalne jednadzbe i integralne jednadzbe, numericka simulacija naprimjerima

Literatura:M.A. Mc Kibben, Discovering evolution equations with applications, CRCPress, 2011

120

Mentor: Marko Vrdoljak

Kvadraticno programiranje i linearna zadaca komplementarnosti

Podrucje: Matematicka analiza

Prikladno za studij: Svi studiji

Opis: Cilj rada je predstaviti nuzne uvjete optimalnosti zadace kvadraticnogprogramiranja. Oni spadaju u siru klasu linearnih zadaca komplementarnosti,s bogatom matematickom teorijom i pripadnim numerickim algoritmima zarjesenje.

Literatura:R.W. Cottle, J.S. Pang, R.E. Stone: The linear complementarity problem,SIAM, 2009.

121

Mentor: Marko Vrdoljak

Sekvencijalno kvadraticno programiranje

Podrucje: Matematicka analiza

Prikladno za studij: Svi studiji

Opis: Od svoje popularizacije u kasnim 70-tima sekvencijalno kvadraticnoprogramiranje (SQP) je prepoznato kao vrlo uspjesna metoda za rjesavanjenelinearnih zadaca optimizacije. Kao i kod vecine metoda optimizacije,SQP cine brojni specificni algoritmi. Potpomognuti cvrstim teorijskim inumerickim rezultatima, algoritmi SQP-a koriste se za rjesavanje mnogihzadaca s vaznim primjenama.

Literatura:R. Fletcher: The Sequential Quadratic Programming Method, in Nonlinearoptimization. Lectures C.I.M.E. Summer School 2007 (Bomze, Demyanov,et al), Springer, 2010.N. Andreasson, A. Evgrafov, M. Patriksson: An introduction to continuousoptimization. Foundations and fundamental algorithms, StudentlitteraturAB, 2007.

122

Mentor: Marko Vrdoljak

Subdiferencijal svojstvene vrijednosti simetricne matrice

Podrucje: Matematicka analiza

Prikladno za studij: Diplomski studiji: Teorijska matematika, Primijen-jena matematika, Matematicka statistika, Financijska i poslovna matematika

Opis: Zadace optimizacije koje ukljucuju svojstvene vrijednosti simetricnematrice pojavljuju se u mnogim primjenama, od strukturne optimizacije doteorije grafova. Ako s λm(A) oznacimo m-tu po velicini svojstvenu vrijed-nost simetricne matrice A (brojeci kratnost), tada je λm opcenito neglatka, aliLipschitzova funkcija matrice. U ovom radu, cilj je izracunati Clarkeov sub-diferencijal i Michel-Penotov subdiferencijal te pokazati da se podudaraju.

Literatura:J.-B. Hiriart-Urruty, A.S. Lewis: The Clarke and Michel-Penot subdifferen-tials of the eigenvalues of a symmetric matrix, Comput. Optim. Appl. 13(1999) 13-23.

123

Mentor: Marko Vrdoljak

Varijacijski racun i neglatka analiza

Podrucje: Matematicka analiza

Prikladno za studij: Diplomski studiji: Teorijska matematika, Primijen-jena matematika, Matematicka statistika, Financijska i poslovna matematika

Opis: U varijacijskom racunu neglatke funkcije se javljaju kroz dva efekta:neglatka rjesenja i zadace s neglatkom podintegralnom (Lagrangeovom) funkci-jom. U prvom slucaju rjesenje trazimo u prostorima apsolutno neprekinutihodnosno Lipschitzovih funkcija, dok u slucaju neglatke Lagrangeove funkcijeizvod nuznih uvjeta optimalnosti zahtijeva koristenje neglatke analize.

Literatura:F. Clarke: Functional analysis, calculus of variations and optimal control,Springer 2013

124

Mentor: Marko Vrdoljak

Suvoditelj: Martin Lazar, Sveuciliste u Dubrovniku

Fourierova pretvorba na S ′

Podrucje: funkcionalna analiza

Prikladno za studij: Primijenjena matematika, Teorijska matematika

Opis: Fourierova pretvorba funkcije zadana je formulom

f(ξ) =

Rd

e−2πix·ξf(x)dx .

Pokazuje se da formula ima smisla samo za integrabilne, L1 funkcije. Medutim,u praksi se javlja potreba njene primjene na mnogo siru klasu funkcija,odnosno poopcenih funkcija ili distribucija, kao sto je Diracova mjera. Uradu bi se opisao nacin na koji se Fourierova pretvorba definira na prostorutemperiranih distribucija S ′ (dual Schwartzovog prostora brzoopadajucihfunkcija), dao prikaz njenih svojstava i dopustenih operacija, kao i nekihprimjena u teoriji parcijalnih diferencijalnih jednadzbi.

Literatura:Elliot H. Lieb, Michael Loss: Analysis, American Mathematical Society, 1996.Christopher D. Sogge: Fourier Integrals in Classical Analysis, CambridgeUniversity Press, 2008.Xavier Saint-Raymond: Elementary introduction to the theory of pseudodif-ferential operators, CRC Press, 1991.

125

Mentor: Marko Vrdoljak

Suvoditelj: Martin Lazar, Sveuciliste u Dubrovniku

H-mjere

Podrucje: matematicka analiza, parcijalne diferencijalne jednadzbe

Prikladno za studij: Primijenjena matematika, Teorijska matematika

Opis: H-mjere su vrsta Radonovih mjera koje opisuju limes integrabilnihkvadraticnih izraza. U sebi sadrze dualnu varijablu (frekvenciju) i na tajnacin cuvaju podatak o smjeru sirenja oscilacija. Svoju primjenu su nasleu teorijama homogenizacije, brzinskog usrednjenja, te u poopcenju teorijekompenzirane kompaktnosti s diferencijalnih jednadzbi s konstatnim koefici-jentima na varijabilne koeficijente.

Cilj je opisati H-mjere, dati pregled njihovih osnovnih svojstava, te nekihprimjena u teoriji parcijalnih diferencijalnih jednadzbi.

Literatura:Luc Tartar: H-measures, a new approach for studying homogenisation, oscil-lations and concentration effects in partial differential equations, Proceedingsof the Royal Society of Edinburgh 115A (1990) 193–230.Patrick Gerard: Microlocal defect measures, Communications in Partial Dif-ferential Equations 16 (1991) 1761–1794.Gilles A. Francfort: An introduction to H-measures and their applications uVariational problems in materials science, pp. 85–110, Progress in NonlinearDifferential Equations and their Applications 68, Birkhauser, 2006.

126

Mentor: Marko Vrdoljak

Suvoditelj: Martin Lazar, Sveuciliste u Dubrovniku

Matematicko modeliranje u fizickoj oceanografiji

Podrucje: matematicko modeliranje, parcijalne diferencijalne jednadzbe

Prikladno za studij: Primijenjena matematika

Opis: Prirodne pojave, odnosno fizikalni zakoni cesto su opisani (par-cijalnim) diferencijalnim jednadzbama. Stoga se i u fizickoj oceanografijiproucavanje vodenog bazena ili toka svodi na postavljanje i rjesavanje mate-matickog modela zasnovanog na sustavu parcijalnih diferencijalnih jednadzbi.

Polazeci od Navier-Stokesovog sustava izradio bi se linearni nedifuzivnimodel koji opisuje cirkulaciju u okrajnjim bazenima kao sto je Jadran. Kori-stenjem Fourierovog razvoja rjesenja bi se izracunala eksplicitno, te bi se za-tim koristenjem programskog paketa Matlab (ili slicnog) prikazala graficki.Takoder bi se diskutirala i prikazala njihova ovisnost o parametrima cirku-lacije, kao sto su trenje i dimenzija bazena.

Literatura:Benoit Cushman-Roisin, Jean-Marie Beckers: Introduction to GeophysicalFluid Dynamics, Academic Press, 2009.Mirko Orlic, Martin Lazar: Cyclonic versus anticyclonic circulation in lakesand inland seas, J. Phys. Oceanogr. 39, (2009) 2247–2263.

127

Mentor: Marko Vrdoljak

Suvoditelj: Martin Lazar, Sveuciliste u Dubrovniku

Slabe konvergencije u Banachovim prostorima

Podrucje: funkcionalna analiza, parcijalne diferencijalne jednadzbe

Prikladno za studij: Primijenjena matematika, Teorijska matematika

Opis: U teoriji parcijalnih diferencijalnih jednadzbi niz proucavanih funkcija(rjesenja promatranih zadaca) cesto ne konvergira jako u odgovarajucemfunkcijskom prostoru. Medutim omedenost tog niza u istom prostoru ipakomogucuje prijelaz na slabi ili slabo ∗ limes. Cilj je dati prikaz slabihtopologija u Banachovim prostorima, njihova svojstava, kao i nekih prim-jena u teoriji parcijalnih diferencijalnih jednadzbi.

Literatura:Haım Brezis: Analyse fonctionnelle, Masson, 1983.Lawrence C. Evans: Weak convergence methods for partial differential equa-tions, American Mathematical Society, 1990.

128

Mentor: Mladen Vukovic

Van Benthem–Rosenov teorem

Podrucje: Matematicka logika i racunarstvo

Prikladno za studij: Teorijska matematika, Racunarstvo i matematika

Preduvjeti: Pozeljno predznanje obuhvaceno kolegijem Matematicka logika

Opis: Van Benthemov teorem karakterizacije uspostavlja vezu izmedu modalnelogike i logike prvog reda. U dokazu se koriste saturirani modeli i ultra-produkti. E. Rosen je dokazao da teorem karakterizacije vrijedi kada seogranicimo samo na konacne modele. Posto se za konacne modele ne mogukoristiti standardne tehnike teorije modela, razvijen je pojam bisimulacijskihigara, te su iskrosteni Hanfov teorem i Gaifmanov teorem o lokalnosti.

Literatura:P. Blackburn, M. de Rijke, Y. Venema, Modal Logic, Cambridge Uni-versity Press, 2001.

A. Dawar, M. Otto, Modal characterisation theorems over special classesof frames, Annals of Pure and Applied Logic 161(2009), 1–42

V. Goranko, M. Otto, Model theory of modal logic, in: F. Wolter et al.(eds.), Handbook of Modal Logic, Elsevier, 2006, 255–325

M. Otto, Elementary proof of the van Benthem–Rosen characterisationtheorem, Technical Report 2342, Department of Mathematics, TechnischeUniversitat Darmstadt, 2004.

E. Rosen, Modal logic over finite structures, Journal of Logic, Languageand Information 6(1997) 427–439

J. van Benthem, Modal Logic and Classical Logic, Bibliopolis, Napoli,1983.

M. Vukovic, Matematicka logika, Element, 2009.

129