Coordinate isoterme

Questa tesi si propone di verificare l'esistenza di coordinate isoterme su una superficie. Le coordinate isoterme danno localmente una mappa conforme da una varietà riemanniana bidimensionale al piano Euclideo. Se la superficie è orientabile, allora si può dare un atlante di carte isoterme, cioè le cui coordinate associate siano isoterme. Queste coordinate esistono a patto che vengano soddisfatte certe condizioni. Il risultato nelle classi di Holder è dovuto a Korn e Lichtensten. Chern ha notevolmente semplificato la loro dimostrazione.

Applications of elliptic functions to solve differential equations

In questa tesi si mostrano alcune applicazioni degli integrali ellittici nella meccanica Hamiltoniana, allo scopo di risolvere i sistemi integrabili. Vengono descritte le funzioni ellittiche, in particolare la funzione ellittica di Weierstrass, ed elenchiamo i tipi di integrali ellittici costruendoli dalle funzioni di Weierstrass. Dopo aver considerato le basi della meccanica Hamiltoniana ed il teorema di Arnold Liouville, studiamo un esempio preso dal libro di Moser-Integrable Hamiltonian Systems and Spectral Theory, dove si prendono in considerazione i sistemi integrabili lungo la geodetica di un'ellissoide, e il sistema di Von Neumann. In particolare vediamo che nel caso n=2 abbiamo un integrale ellittico.

Luoghi geometrici e curve celebri

Scopo di questo elaborato è affrontare lo studio di luoghi geometrici piani partendo dagli esempi più semplici che gli studenti incontrano nel loro percorso scolastico, per poi passare a studiare alcune curve celebri che sono definite come luoghi geometrici. Le curve nell'elaborato vengono disegnate con l'ausilio di Geogebra, con il quale sono state preparate delle animazioni da mostrare agli studenti. Di alcuni luoghi si forniscono dapprima le equazioni parametriche e successivamente, attraverso il teorema di eliminazione e il software Singular, viene ricavata l'equazione cartesiana.

Lambda_c detection using a weighted Bayesian PID approach

Lo scopo della tesi è di stimare le prestazioni del rivelatore ALICE nella rivelazione del barione Lambda_c nelle collisioni PbPb usando un approccio innovativo per l'identificazione delle particelle. L'idea principale del nuovo approccio è di sostituire l'usuale selezione della particella, basata su tagli applicati ai segnali del rivelatore, con una selezione che usi le probabilità derivate dal teorema di Bayes (per questo è chiamato "pesato Bayesiano"). Per stabilire quale metodo è il più efficiente , viene presentato un confronto con altri approcci standard utilizzati in ALICE. Per fare ciò è stato implementato un software di simulazione Monte Carlo "fast", settato con le abbondanze di particelle che ci si aspetta nel nuovo regime energetico di LHC e con le prestazioni osservate del rivelatore. E' stata quindi ricavata una stima realistica della produzione di Lambda_c, combinando i risultati noti da esperimenti precedenti e ciò è stato usato per stimare la significatività secondo la statistica al RUN2 e RUN3 dell'LHC. Verranno descritti la fisica di ALICE, tra cui modello standard, cromodinamica quantistica e quark gluon plasma. Poi si passerà ad analizzare alcuni risultati sperimentali recenti (RHIC e LHC). Verrà descritto il funzionamento di ALICE e delle sue componenti e infine si passerà all'analisi dei risultati ottenuti. Questi ultimi hanno mostrato che il metodo risulta avere una efficienza superiore a quella degli usuali approcci in ALICE e che, conseguentemente, per quantificare ancora meglio le prestazioni del nuovo metodo si dovrebbe eseguire una simulazione "full", così da verificare i risultati ottenuti in uno scenario totalmente realistico.

Classificazione delle curve ellittiche viste come curve algebriche piane

Nel presente lavoro è affrontato lo studio delle curve ellittiche viste come curve algebriche piane, più precisamente come cubiche lisce nel piano proiettivo complesso. Dopo aver introdotto nella prima parte le nozioni di Superfici compatte e orientabili e curve algebriche, tramite il teorema di classificazione delle Superfici compatte, se ne fornisce una preliminare classificazione basata sul genere della superficie e della curva, rispettivamente. Da qui, segue la definizione di curve ellittiche e uno studio più dettagliato delle loro pricipali proprietà, quali la possibilità di definirle tramite un'equazione affine nota come equazione di Weierstrass e la loro struttura intrinseca di gruppo abeliano. Si fornisce quindi un'ulteriore classificazione delle cubiche lisce, totalmente differente da quella precedente, che si basa invece sul modulo della cubica, invariante per trasformazioni proiettive. Infine, si considera un aspetto computazionale delle curve ellittiche, ovvero la loro applicazione nel campo della Crittografia. Grazie alla struttura che esse assumono sui campi finiti, sotto opportune ipotesi, i crittosistemi a chiave pubblica basati sul problema del logaritmo discreto definiti sulle curve ellittiche, a parità di sicurezza rispetto ai crittosistemi classici, permettono l'utilizzo di chiavi più corte, e quindi meno costose computazionalmente. Si forniscono quindi le definizioni di problema del logaritmo discreto classico e sulle curve ellittiche, ed alcuni esempi di algoritmi crittografici classici definiti su quest'ultime.

La teoria classica dei campi

In questa tesi verrà analizzata la dinamica dei sistemi conservativi a infiniti gradi di libertà, descritti dai campi. Verrà utilizzato l'approccio della meccanica lagrangiana, in cui, partendo da un principio, il principio di minima azione, si arriverà alla scrittura delle equazioni del moto, dette equazioni di Eulero-Lagrange, governate da una funzione, detta Lagrangiana. Successivamente si descriverà il formalismo hamiltoniano, in cui le equazioni di Eulero-Lagrange verranno riscritte in nuove coordinate, e interverrà una nuova funzione, detta Hamiltoniana. Verrà inoltre affrontato un altro argomento, in cui si vedranno quantità del sistema che si conservano nel tempo. Questa legge di conservazione, descritta dal Teorema di Noether, è dovuta a simmetrie della Lagrangiana, ovvero a trasformazioni continue delle coordinate del sistema che lasciano la Lagrangiana invariata. Ad ogni simmetria della Lagrangiana corrisponde una quantità conservata. Infine, per concludere, verrà applicato il metodo lagrangiano al sistema descritto dal campo elettromagnetico, e da qui si vedrà che le equazioni di Eulero-Lagrange diventeranno le note equazioni di Maxwell.

Il problema isoperimetrico nel piano

Questa tesi tratta del problema isoperimetrico nel piano, ossia di trovare, se esiste, il dominio che, a parità di perimetro (inteso come lunghezza del bordo), massimizza l'area. Intuitivamente la risposta pare piuttosto semplice: il cerchio è il dominio che ha area massima, ma la dimostrazione è tutt'altro che banale. Inizialmente verranno presentate le proprietà isoperimetriche dei poligoni regolari: tra tutti i poligoni con un numero fissato di lati n e perimetro fissato p, il poligono regolare di n lati e di perimetro p è l'unico che massimizza l'area. Nel seguito si generalizza questo fatto a un qualunque dominio limitato del piano il cui bordo è una curva chiusa, semplice e assolutamente continua. Infatti, nelle ipotesi appena dette, vale che l’area è minore o uguale di una certa costante moltiplicata per il quadrato della lunghezza del bordo, e si ha l'uguaglianza se e solo se il bordo è una circonferenza. Infine, nell'ultimo capitolo, viene data la dimostrazione, sorprendentemente semplice, della disuguaglianza isoperimetrica dovuta a Hélein per un aperto lipschitziano, facente uso del solo Teorema di Stokes applicato ad un particolare campo vettoriale ispirato alla teoria delle calibrazioni.

Anelli noetheriani e anelli artiniani

In questa tesi vengono studiati anelli commutativi unitari in cui ogni catena ascentente o ogni catena discendente di ideali diventa stazionaria dopo un numero finito di passi. Un anello commutativo unitario R in cui vale la condizione della catena ascendente, ossia ogni catena ascendente di ideali a_1 ⊆ a_2 ⊆ · · · ⊆ R diventa stazionaria dopo un numero finito di passi, o, equivalentemente, in cui ogni ideale è generato da un numero finito di elementi, si dice noetheriano. Questa classe di anelli deve il proprio nome alla matematica tedesca Emmy Noether che, nel 1921, studiando un famoso risultato di Lasker per ideali di anelli di polinomi, si accorse che esso valeva in tutti gli anelli in cui gli ideali sono finitamente generati. Questi anelli giocano un ruolo importante in geometria algebrica, in quanto le varietà algebriche sono luoghi di zeri di polinomi in più variabili a coefficienti in un campo K e le proprietà degli ideali dell’anello K[x_1, . . . , x_n] si riflettono nelle proprietà delle varietà algebriche di K^n. Inoltre, per questi anelli esistono procedure algoritmiche che sono possibili proprio grazie alla condizione della catena ascendente. Un anello commutativo unitario R in cui vale la condizione della catena discendente, ossia ogni ogni catena discendente di ideali . . . a_2 ⊆ a_1 ⊆ R diventa stazionaria dopo un numero finito di passi, si dice artiniano, dal nome del matematico austriaco Emil Artin che li introdusse e ne studiò le proprietà. Il Teorema di Akizuki afferma che un anello commutativo unitario R è artiniano se e solo se è noetheriano di dimensione zero, ossia ogni suo ideale primo è massimale.

Introduzione al Gruppo delle Trecce

L'obiettivo di questa tesi è fornire un'introduzione al gruppo delle trecce. In particolare, tale gruppo verrà presentato prima come gruppo astratto, poi tramite l'ausilio di trecce geometriche, mostrandone successivamente alcune proprietà algebriche. Viene infine trattato il legame tra il gruppo delle trecce e altri due gruppi, il mapping class group del disco bidimensionale puntato e il gruppo degli automorfismi treccia del gruppo libero. Nell'appendice si può trovare una breve introduzione al calcolo del gruppo fondamentale (teorema di Van Kampen).

Entanglement and Tolman paradox

Nella presente tesi è discusso il fenomeno dell’ entanglement quantistico, che si manifesta come correlazione nei risultati delle misure di sistemi aperti, in precedenza localmente interagenti, indipendentemente da quella che è la loro distanza spaziale. Il celebre teorema di Bell esclude la possibilità che l’ entanglement possa essere descritto mediante una teoria di variabili nascoste locale. Si indaga allora l’ipotesi che particelle che si muovono a velocità super-luminali (tachioni), non vietate dalla Relatività, possano intervenire nella spiegazione fisica dell’ entanglement. In particolare, si presenta un’ interpretazione alternativa del noto paradosso di Tolman che riguarda i tachioni, tramite la quale è possibile ricostruire la sovrapposizione quantistica di stati della coppia entangled EPR, come associata a loop di tachioni scambiati tra i due sistemi.

Elementary properties of Modular curves and Modular forms

Lo scopo di questa tesi è introdurre in breve le prime proprietà delle curve modulari e delle forme modulari, per poi mostrarne alcune applicazioni archetipiche. Per farlo, dopo aver richiamato alcune nozioni utili nel primo capitolo, sviluppiamo, nel secondo capitolo, la teoria di base delle curve modulari compatte come superfici di Riemann, calcolandone il genere nel caso dei sottogruppi principali di congruenza. Dunque, nel terzo capitolo, dopo un estesa trattazione dell'esempio delle forme modulari rispetto al gruppo modulare, viene calcolata la dimensione degli spazi delle forme intere e delle forme cuspidali rispetto a un sottogruppo di indice finito del gruppo modulare. Questo capitolo si conclude con tre esempi di applicazione della teoria esposta, tra i quali spiccano la dimostrazione del Grande Teorema di Picard e del Teorema dei quattro quadrati di Jacobi.

Studio delle copule: teoria ed applicazione ai derivati meteorologici.

Come si può evincere dal titolo, l'obbiettivo di questo elaborato è quello di studiare ed analizzare le copule, esponendo in un primo momento la loro teoria, e successivamente esaminando una particolare applicazione ai derivati meteorologici, nello specifico alla copertura dell'indice CAT. All'inizio del primo capitolo viene fornita la definizione di copula (nel caso bidimensionale) con le relative proprietà e viene enunciato il teorema di Sklar, spiegando la sua centralità nella teoria. In seguito vengono presentate le due famiglie di copule, ellittiche e Archimedee, spiegando in quale ambito vengono utilizzate per la modellizzazione delle dipendenze tra variabili aleatorie ed elencando gli esempi più importanti di ogni famiglia. Nel secondo capitolo viene analizzata l'applicazione delle copule nel prezzaggio di una copertura dell'indice CAT. Inizialmente viene presentato il funzionamento della copertura, ovvero come si costruisce l'indice e come viene calcolato il risarcimento. Infine si passa al calcolo del prezzo del derivato, mostrando come utilizzando le copule per includere nella modellizzazione le dipendenze tra le varie stazioni meteorologiche permetta di ottenere delle stime migliori rispetto a quelle calcolate considerando le stazioni indipendenti tra loro.

A structural theorem for co-commutative Hopf algebras

Lo scopo di questa tesi è studiare alcune proprietà di base delle algebre di Hopf, strutture algebriche emerse intorno agli anni ’50 dalla topologica algebrica e dalla teoria dei gruppi algebrici, e mostrare un collegamento tra esse e le algebre di Lie. Il primo capitolo è un’introduzione basilare al concetto di prodotto tensoriale di spazi vettoriali, che verrà utilizzato nel secondo capitolo per definire le strutture di algebra, co-algebra e bi-algebra. Il terzo capitolo introduce le definizioni e alcune proprietà di base delle algebre di Hopf e di Lie, con particolare attenzione al legame tra le prime e l’algebra universale inviluppante di un’algebra di Lie. Questo legame sarà approfondito nel quarto capitolo, dedicato allo studio di una particolare classe di algebre di Hopf, quelle graduate e connesse, che terminerà con il teorema di Cartier-Quillen-Milnor-Moore, un teorema strutturale che fornisce condizioni sufficienti affinché un’algebra di Hopf sia isomorfa all’algebra universale inviluppante dei suoi elementi primitivi.

Principio del massimo per operatori lineari ellittici

All'interno della tesi viene analizzato il principio del massimo per l'operatore di Laplace e per operatori lineari ellittici differenziali. Attraverso l'utilizzo delle formule di media si dimostra il principio del massimo forte e debole per l'operatore di Laplace e si analizzano le sue applicazioni, quali la disuguaglianza di Harnack, il teorema di Liouville e il teorema fondamentale dell'algebra. Successivamente si vanno a dimostrare il principio del massimo debole e, tramite il lemma di Hopf, il principio del massimo forte, per operatori lineari ellittici differenziali. Infine si studia il caso dell'unicità delle soluzioni dei problemi di Dirichlet per operatori lineari ellittici differenziali, sfruttando il principio del massimo debole.

Costruzione del moto browniano

Il moto browniano è un argomento estremamente importante nella teoria della probabilità ed è alla base di molti modelli matematici che studiano fenomeni aleatori, in ambiti come la biologia, l'economia e la fisica. In questa tesi si affronta il problema dell'esistenza del moto browniano con un approccio differente rispetto a quello più tradizionale che utilizza il Teorema di estensione di Kolmogorov e il Teorema di continuità di Kolmogorov-Chentsov. Verranno presentate due costruzioni diverse. Con la prima, detta di Lévy-Ciesielski, si otterrà il moto browniano come limite di una successione di processi stocastici continui definiti ricorsivamente. Con la seconda, il moto browniano verrà costruito tramite la convergenza in legge di passeggiate aleatorie interpolate e riscalate, mediante il cosiddetto principio di invarianza di Donsker. Grazie a quest'ultima costruzione si potrà in particolare definire la misura di Wiener.