Philosophiae Doctor - PhD / Numerical approximations of multiscale problems of important applications in ecology are investigated. One of the class of models considered in this work are singularly perturbed (slow-fast) predator-prey systems which are characterized by the presence of a very small positive parameter representing the separation of time-scales between the fast and slow dynamics. Solution of such problems involve multiple scale phenomenon characterized by repeated switching of slow and fast motions, referred to as relaxationoscillations, which are typically challenging to approximate numerically. Granted with a priori knowledge, various time-stepping methods are developed within the framework of partitioning the full problem into fast and slow components, and then numerically treating each component differently according to their time-scales. Nonlinearities that arise as a result of the application of the implicit parts of such schemes are treated by using iterative algorithms, which are known for their superlinear convergence, such as the Jacobian-Free Newton-Krylov (JFNK) and the Anderson’s Acceleration (AA) fixed point methods.

Magister Scientiae - MSc / Many chemical and physical problems are mathematically described by partial differential equations (PDEs). These PDEs are often highly nonlinear and therefore have no closed form solutions. Thus, it is necessary to recourse to numerical approaches to determine suitable approximations to the solution of such equations. For solutions possessing sharp spatial transitions (such as boundary or interior layers), standard numerical methods have shown limitations as they fail to capture large gradients. The method of lines (MOL) is one of the numerical methods used to solve PDEs. It proceeds by the discretization of all but one dimension leading to systems of ordinary di erential equations. In the case of time-dependent PDEs, the MOL consists of discretizing the spatial derivatives only leaving the time variable continuous. The process results in a system to which a numerical method for initial value problems can be applied. In this project we consider various types of singularly perturbed time-dependent PDEs. For each type, using the MOL, the spatial dimensions will be discretized in many different ways following fitted numerical approaches. Each discretisation will be analysed for stability and convergence. Extensive experiments will be conducted to confirm the analyses.

[EN] This thesis addresses the treatment of perturbed problems with splitting methods. After motivating these problems in Chapter 1, we give a thorough introduction in Chapter 2, which includes the objectives, several basic techniques and already existing methods. In Chapter 3, we consider the numerical integration of non-autonomous separable parabolic equations using high order splitting methods with complex coefficients (methods with real coefficients of order greater than two necessarily have negative coefficients). We propose to consider a class of methods that allows us to evaluate all time dependent operators at real values of the time, leading to schemes which are stable and simple to implement. If the system can be considered as the perturbation of an exactly solvable problem and the flow of the dominant part is advanced using real coefficients, it is possible to build highly efficient methods for these problems. We show the performance of this class of methods for several numerical examples and present some new improved schemes. In Chapter 4, we propose splitting methods for the computation of the exponential of perturbed matrices which can be written as the sum A = D+epsilon*B of a sparse and efficiently exponentiable matrix D with sparse exponential exp(D) and a dense matrix epsilon*B which is of small norm in comparison with D. The predominant algorithm is based on scaling the large matrix A by a small number 2^(-s) , which is then exponentiated by efficient Padé or Taylor methods and finally squared in order to obtain an approximation for the full exponential. In this setting, the main portion of the computational cost arises from dense-matrix multiplications and we present a modified squaring which takes advantage of the smallness of the perturbation matrix B in order to reduce the number of squarings necessary. Theoretical results on local error and error propagation for splitting methods are complemented with numerical experiments and show a clear improvement over existing methods when medium precision is sought. In Chapter 5, we consider the numerical integration of the perturbed Hill's equation. Parametric resonances can appear and this property is of great interest in many different physical applications. Usually, the Hill's equations originate from a Hamiltonian function and the fundamental matrix solution is a symplectic matrix. This is a very important property to be preserved by the numerical integrators. In this chapter we present new sixth-and eighth-order symplectic exponential integrators that are tailored to the Hill's equation. The methods are based on an efficient symplectic approximation to the exponential of high dimensional coupled autonomous harmonic oscillators and yield accurate results for oscillatory problems at a low computational cost. Several numerical examples illustrate the performance of the new methods. Conclusions and pointers to further research are detailed in Chapter 6. / [ES] Esta tesis aborda el tratamiento de problemas perturbados con métodos de escisión (splitting). Tras motivar el origen de este tipo de problemas en el capítulo 1, introducimos los objetivos, varias técnicas básicas y métodos existentes en capítulo 2. En el capítulo 3 consideramos la integración numérica de ecuaciones no autónomas separables y parabólicas usando métodos de splitting de orden mayor que dos usando coeficientes complejos (métodos con coeficientes reales de orden mayor de dos necesariamente tienen coeficientes negativos). Proponemos una clase de métodos que permite evaluar todos los operadores con dependencia temporal en valores reales del tiempo lo cual genera esquemas estables y fáciles de implementar. Si el sistema se puede considerar como una perturbación de un problema resoluble de forma exacta y si el flujo de la parte dominante se avanza usando coeficientes reales, es posible construir métodos altamente eficientes para este tipo de problemas. Demostramos la eficiencia de estos métodos en varios ejemplos numéricos. En el capítulo 4 proponemos métodos de splitting para el cálculo de la exponencial de matrices perturbadas que se pueden escribir como suma A = D + epsilon*B de una matriz dispersa y eficientemente exponenciable con exponencial dispersa exp(D) y una matriz densa epsilon*B de noma pequeña. El algoritmo predominante se basa en escalar la matriz grande con un número pequeño 2^(-s) para poder exponenciar el resultado con métodos eficientes de Padé o Taylor y finalmente obtener la aproximación a la exponencial elevando al cuadrado repetidamente. En este contexto, el coste computacional proviene de las multiplicaciones de matrices densas y presentamos una cuadratura modificada aprovechando la estructura perturbada para reducir el número de productos. Resultados teóricos sobre errores locales y propagación de error para métodos de splitting son complementados con experimentos numéricos y muestran una clara mejora sobre métodos existentes a precisión media. En el capítulo 5, consideramos la integración numérica de la ecuación de Hill perturbada. Resonancias paramétricas pueden aparecer y esta propiedad es de gran interés en muchas aplicaciones físicas. Habitualmente, las ecuaciones de Hill provienen de una función hamiltoniana y la solución fundamental es una matriz simpléctica, una propiedad muy importante que preservar con los integradores numéricos. Presentamos nuevos integradores simplécticos exponenciales de orden seis y ocho tallados a la ecuación de Hills. Estos métodos se basan en una aproximación simpléctica eficiente a la exponencial de osciladores armónicos acoplados de dimensión alta y dan lugar a resultados precisos para problemas oscilatorios a un coste computacional bajo y varios ejemplos numéricos ilustran su rendimiento. Conclusiones e indicadores para futuros estudios se detallan en el capítulo 6. / [CAT] La present tesi està enfocada al tractament de problemes perturbats utilitzant, entre altres, mètodes d'escisió (splitting). Comencem motivant l'oritge d'aquest tipus de problems al capítol 1, i a continuació introduïm el objectius, diferents tècniques bàsiques i alguns mètodes existents al capítol 2. Al capítol 3, consideram la integració numèrica d'equacions no autònomes separables i parabòliques utilitzant mètodes d'splitting d'ordre major que dos utilitzant coeficients complexos (mètodes amb coeficients reials d'ordre major que dos necesariament tenen coeficients negatius). Proposem una clase de mètodes que permeten evaluar tots els operadors amb dependència temporal explícita amb valors reials del temps. Esta forma de procedir genera esquemes estables i fàcils d'implementar. Si el sistema es pot considerar com una perturbació d'un problema exactament resoluble, i la part dominant s'avança utilitzant coeficients reials, es posible construir mètodes altament eficients per aquest tipus de problemes Demostrem la eficiència d'estos mètodes per a diferents exemples numèrics. Al capítol 4, proposem mètodes d'splitting per al càcul de la exponencial de matrius pertorbades que es poden escriure com suma A = D + epsilon*B (una matriu que es pot exponenciar fàcilment i eficientemente, com es el cas d'algunes matrius disperses exp(D), i una matriu densa epsilon*B de norma menuda). L'algorisme predominant es basa en escalar la matriu gran amb un nombre menut 2^(-s) per a poder exponenciar el resultat amb mètodes eficients de Padé o Taylor i finalment obtindre la aproximació a la exponencial elevant al quadrat repetidament. En este context, el cost computacional prové de les multiplicacions de matrius denses i presentem una quadratura modificada aprofitant la estructura de matriu pertorbada per reduir el nombre de productes. Resultats teòrics sobre errors locals i propagació d'error per a mètodes d'splitting son analitzats i corroborats amb experiments numèrics, mostrant una clara millora respecte a mètodes existens quan es busca una precisió moderada. Al capítol 5, considerem la integració numèrica de l'ecuació de Hill pertorbada. En este tipus d'equacions poden apareixer resonàncies paramètriques i esta propietat es de gran interés en moltes aplicacions físiques. Habitualment, les equacions de Hill provenen d'una función hamiltoniana i la solució fonamental es una matriu simplèctica, siguent esta una propietat molt important a preservar pels integradors numèrics. Presentams nous integradors simplèctics exponencials d'orden sis i huit construits especialmente per resoldre l'ecuació de Hill. Estos mètodes es basen en una aproxmiació simplèctica eficient a la exponencial d'osciladors harmònics acoplats de dimensió alta i donen lloc a resultats precisos per a problemas oscilatoris a un cost computacional baix. La eficiencia dels mètodes s'il.lustra en diferents exemples numèrics. Conclusions i indicadors per a futurs estudis es detallen al capítol 6. / Seydaoglu, M. (2016). Splitting methods for autonomous and non-autonomous perturbed equations [Tesis doctoral no publicada]. Universitat Politècnica de València. https://doi.org/10.4995/Thesis/10251/71358 / TESIS

Philosophiae Doctor - PhD / Singularly perturbed problems have been studied extensively over the past few years from different perspectives. The recent research has focussed on the problems whose solutions possess interior layers. These interior layers appear in the interior of the domain, location of which is difficult to determine a-priori and hence making it difficult to investigate these problems analytically. This explains the need for approximation methods to gain some insight into the behaviour of the solution of such problems. Keeping this in mind, in this thesis we would like to explore a special class of numerical methods, namely, fitted finite difference methods to determine reliable solutions. As far as the fitted finite difference methods are concerned, they are grouped into two categories: fitted mesh finite difference methods (FMFDMs) and the fitted operator finite difference methods (FOFDMs). The aim of this thesis is to focus on the former. To this end, we note that FMFDMs have extensively been used for singularly perturbed two-point boundary value problems (TPBVPs) whose solutions possess boundary layers. However, they are not fully explored for problems whose solutions have interior layers. Hence, in this thesis, we intend firstly to design robust FMFDMs for singularly perturbed TPBVPs whose solutions possess interior layers and to improve accuracy of these approximation methods via methods like Richardson extrapolation. Then we extend these two ideas to solve such singularly perturbed TPBVPs with variable diffusion coefficients. The overall approach is further extended to parabolic singularly perturbed problems having constant as well as variable diffusion coefficients. / 2023-08-31

Magister Scientiae - MSc / Efficient numerical approaches for parameter dependent problems have been an inter- esting subject to numerical analysts and engineers over the past decades. This is due to the prominent role that these problems play in modeling many real life situations in applied sciences. Often, the choice and the e ciency of the approaches depend on the nature of the problem to solve. In this work, we consider the general linear first-order singularly perturbed Volterra integro-differential equations (SPVIDEs). These singularly perturbed problems (SPPs) are governed by integro-differential equations in which the derivative term is multiplied by a small parameter, known as "perturbation parameter". It is known that when this perturbation parameter approaches zero, the solution undergoes fast transitions across narrow regions of the domain (termed boundary or interior layer) thus affecting the convergence of the standard numerical methods. Therefore one often seeks for numerical approaches which preserve stability for all the values of the perturbation parameter, that is "numerical methods. This work seeks to investigate some "numerical methods that have been used to solve SPVIDEs. It also proposes alternative ones. The various numerical methods are composed of a fitted finite difference scheme used along with suitably chosen interpolating quadrature rules. For each method investigated or designed, we analyse its stability and convergence. Finally, numerical computations are carried out on some test examples to con rm the robustness and competitiveness of the proposed methods.

<p>U tezi se istražuje uniformna konvergencija Galerkinovog postupka konačnih elemenata na mrežama različitog tipa za dvoparametarske singularno&nbsp;perturbovane probleme.</p><p>Uvedene su slojno-adaptivne mreže za probleme konvekcije-reakcije-difuzije: &nbsp;Bahvalovljeva, Duran-&Scaron;i&scaron;kinova i Duranova za jednodimenzionalni i&nbsp;Duran-&Scaron;i&scaron;kinova i Duranova mreža za dvodimenzionalni problem. Za pomenute&nbsp;probleme na svim ovim mrežama analizirane su gre&scaron;ke interpolacije,&nbsp;diskretizacije i gre&scaron;ka u energetskoj normi i dokazana je uniformna konvergencija&nbsp;Galerkinovog postupka konačnih elemenata. Sva teorijska tvrđenja su&nbsp;potvrđena numeričkim eksperimentima.<br />&nbsp;</p> / <p>The thesis explores the uniform convergence for Galerkin nite element<br />method on various meshes for two parameter singularly perturbed problems.<br />Layer-adapted meshes are introduced for convection-reaction-diusion<br />problems: Bakhvalov, Duran-Shishkin and Duran meshes for a one dimensional<br />and Duran-Shishkin and Duran meshes for a two dimensional problem.<br />We analyze the errors of interpolation, discretization and error in the energy<br />norm and prove the parameter uniform convergence for Galerkin nite element<br />method on mentioned meshes. Numerical experiments support theoretical<br />ndings.<br />&nbsp;</p>