Preconditioning strategies for the numerical solution of convection-diffusion partial differential equations

Il trattamento numerico dell'equazione di convezione-diffusione con le relative condizioni al bordo, comporta la risoluzione di sistemi lineari algebrici di grandi dimensioni in cui la matrice dei coefficienti è non simmetrica. Risolutori iterativi basati sul sottospazio di Krylov sono ampiamente utilizzati per questi sistemi lineari la cui risoluzione risulta particolarmente impegnativa nel caso di convezione dominante. In questa tesi vengono analizzate alcune strategie di precondizionamento, atte ad accelerare la convergenza di questi metodi iterativi. Vengono confrontati sperimentalmente precondizionatori molto noti come ILU e iterazioni di tipo inner-outer flessibile. Nel caso in cui i coefficienti del termine di convezione siano a variabili separabili, proponiamo una nuova strategia di precondizionamento basata sull'approssimazione, mediante equazione matriciale, dell'operatore differenziale di convezione-diffusione. L'azione di questo nuovo precondizionatore sfrutta in modo opportuno recenti risolutori efficienti per equazioni matriciali lineari. Vengono riportati numerosi esperimenti numerici per studiare la dipendenza della performance dei diversi risolutori dalla scelta del termine di convezione, e dai parametri di discretizzazione.

Lipschitz regularity for weak solutions of parabolic p-Laplacian type equations in certain subriemannian structures

The main aim of the thesis is to prove the local Lipschitz regularity of the weak solutions to a class of parabolic PDEs modeled on the parabolic p-Laplacian. This result is well known in the Euclidean case and recently has been extended in the Heisenberg group, while higher regularity results are not known in subriemannian parabolic setting. In this thesis we will consider vector fields more general than those in the Heisenberg setting, introducing some technical difficulties. To obtain our main result we will use a Moser-like iteration. Due to the non linearity of the equation, we replace the usual parabolic cylinders with new ones, whose dimension also depends on the L^p norm of the solution. In addition, we deeply simplify the iterative procedure, using the standard Sobolev inequality, instead of the parabolic one.

Analysis and partial solutions of security problems in automotive environments

Questo scritto mira a fare una panoramica dei problemi legati alla sicurezza della comunicazione tra componenti interne dei veicoli e delle soluzioni oggigiorno disponibili. Partendo con una descrizione generale del circuito interno dell’auto analizzeremo i suoi punti di accesso e discuteremo i danni prodotti dalla sua manomissione illecita. In seguito vedremo se ´è possibile prevenire tali attacchi dando un’occhiata alle soluzioni disponibili e soffermandoci in particolare sui moduli crittografici e le loro applicazioni. Infine presenteremo l’implementazione pratica di un protocollo di autenticazione tra ECUs e una dimostrazione matematica della sua sicurezza.

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.

Determination of local density of states in amorphous oxide semiconductors with Kelvin Probe Force Microscopy

Amorphous semiconductors are important materials as they can be deposited by physical deposition techniques on large areas and even on plastic substrates. Therefore, they are crucial for transistors in large active matrices for imaging and transparent wearable electronics. The most widely applied candidate for amorphous thin film transistors production is Indium Gallium Zinc Oxide (IGZO). It is attracting much interest because of its optical transparency, facile processing by sputtering deposition and notable improved charge carrier mobility with respect to hydrogenated amorphous silicon a-Si:H. Degradation of the device and long-term performance issues have been observed if IGZO thin film transistors are subjected to electrical stress, leading to a modification of IGZO channel properties and subthreshold slope. Therefore, it is of great interest to have a reliable and precise method to study the conduction band tail, and the density of states in amorphous semiconductors. The aim of this thesis is to develop a local technique using Kelvin Probe Force Microscopy to study the evolution of IGZO DOS properties. The work is divided into three main parts. First, solutions to the non-linear Poisson-Boltzmann equation of a metal-insulator-semiconductor junction describing the charge accumulation and its relation to DOS properties are elaborated. Second macroscopic techniques such as capacitance voltage (CV) measurements and photocurrent spectroscopy are applied to obtain a non-local estimate of band-tail DOS properties in thin film transistor samples. The third part of my my thesis is dedicated to the KPFM measurements. By fitting the data to the developed numerical model, important parameters describing the amorphous conduction band tail are obtained. The results are in excellent agreement with the macroscopic characterizations. KPFM result is comparable also with non-local optoelectronic characterizations, such as photocurrent spectroscopy.

Local and nonlocal integro-differential reaction-diffusion models for protein dynamics in Alzheimer's disease

In this work, integro-differential reaction-diffusion models are presented for the description of the temporal and spatial evolution of the concentrations of Abeta and tau proteins involved in Alzheimer's disease. Initially, a local model is analysed: this is obtained by coupling with an interaction term two heterodimer models, modified by adding diffusion and Holling functional terms of the second type. We then move on to the presentation of three nonlocal models, which differ according to the type of the growth (exponential, logistic or Gompertzian) considered for healthy proteins. In these models integral terms are introduced to consider the interaction between proteins that are located at different spatial points possibly far apart. For each of the models introduced, the determination of equilibrium points with their stability and a study of the clearance inequalities are carried out. In addition, since the integrals introduced imply a spatial nonlocality in the models exhibited, some general features of nonlocal models are presented. Afterwards, with the aim of developing simulations, it is decided to transfer the nonlocal models to a brain graph called connectome. Therefore, after setting out the construction of such a graph, we move on to the description of Laplacian and convolution operations on a graph. Taking advantage of all these elements, we finally move on to the translation of the continuous models described above into discrete models on the connectome. To conclude, the results of some simulations concerning the discrete models just derived are presented.

Jarrow-Yildirim model for inflation: theory and applications

This thesis deals with inflation theory, focussing on the model of Jarrow & Yildirim, which is nowadays used when pricing inflation derivatives. After recalling main results about short and forward interest rate models, the dynamics of the main components of the market are derived. Then the most important inflation-indexed derivatives are explained (zero coupon swap, year-on-year, cap and floor), and their pricing proceeding is shown step by step. Calibration is explained and performed with a common method and an heuristic and non standard one. The model is enriched with credit risk, too, which allows to take into account the possibility of bankrupt of the counterparty of a contract. In this context, the general method of pricing is derived, with the introduction of defaultable zero-coupon bonds, and the Monte Carlo method is treated in detailed and used to price a concrete example of contract. Appendixes: A: martingale measures, Girsanov's theorem and the change of numeraire. B: some aspects of the theory of Stochastic Differential Equations; in particular, the solution for linear EDSs, and the Feynman-Kac Theorem, which shows the connection between EDSs and Partial Differential Equations. C: some useful results about normal distribution.

Regularity of solutions of the p-Laplace equation in the Heisenberg group

tbd

Dispersive wave solutions of the klein-gordon equation in cosmology

L'equazione di Klein-Gordon descrive una ampia varietà di fenomeni fisici come la propagazione delle onde in Meccanica dei Continui ed il comportamento delle particelle spinless in Meccanica Quantistica Relativistica. Recentemente, la forma dissipativa di questa equazione si è rivelata essere una legge di evoluzione fondamentale in alcuni modelli cosmologici, in particolare nell'ambito dei cosiddetti modelli di k-inflazione in presenza di campi tachionici. L'obiettivo di questo lavoro consiste nell'analizzare gli effetti del parametro dissipativo sulla dispersione nelle soluzioni dell'equazione d'onda. Saranno inoltre studiati alcuni tipici problemi al contorno di particolare interesse cosmologico per mezzo di grafici corrispondenti alle soluzioni fondamentali (Funzioni di Green).