Spelling suggestions: "subject:"free boundary problem"" "subject:"tree boundary problem""
21 |
Level set methods for higher order evolution laws / Levelset-Verfahren für Evolutionsgleichungen höherer OrdnungStöcker, Christina 12 March 2008 (has links) (PDF)
A numerical treatment of non-linear higher-order geometric evolution equations with the level set and the finite element method is presented. The isotropic, weak anisotropic and strong anisotropic situation is discussed. Most of the equations considered in this work arise from the field of thin film growth. A short introduction to the subject is given. Four different models are discussed: mean curvature flow, surface diffusion, a kinetic model, which combines the effects of mean curvature flow and surface diffusion and includes a further kinetic component, and an adatom model, which incorporates in addition free adatoms. As an introduction to the numerical schemes, first the isotropic and weak anisotropic situation is considered. Then strong anisotropies (non-convex anisotropies) are used to simulate the phenomena of faceting and coarsening. The experimentally observed effect of corner and edge roundings is reached in the simulation through the regularization of the strong anisotropy with a higher-order curvature term. The curvature regularization leads to an increase by two in the order of the equations, which results in highly non-linear equations of up to 6th order. For the numerical solution, the equations are transformed into systems of second order equations, which are solved with a Schur complement approach. The adatom model constitutes a diffusion equation on a moving surface. An operator splitting approach is used for the numerical solution. In difference to other works, which restrict to the isotropic situation, also the anisotropic situation is discussed and solved numerically. Furthermore, a treatment of geometric evolution equations on implicitly given curved surfaces with the level set method is given. In particular, the numerical solution of surface diffusion on curved surfaces is presented. The equations are discretized in space by standard linear finite elements. For the time discretization a semi-implicit discretization scheme is employed. The derivation of the numerical schemes is presented in detail, and numerous computational results are given for the 2D and 3D situation. To keep computational costs low, the finite element grid is adaptively refined near the moving curves and surfaces resp. A redistancing algorithm based on a local Hopf-Lax formula is used. The algorithm has been extended by the authors to the 3D case. A detailed description of the algorithm in 3D is presented in this work. / In der Arbeit geht es um die numerische Behandlung nicht-linearer geometrischer Evolutionsgleichungen höherer Ordnung mit Levelset- und Finite-Elemente-Verfahren. Der isotrope, schwach anisotrope und stark anisotrope Fall wird diskutiert. Die meisten in dieser Arbeit betrachteten Gleichungen entstammen dem Gebiet des Dünnschicht-Wachstums. Eine kurze Einführung in dieses Gebiet wird gegeben. Es werden vier verschiedene Modelle diskutiert: mittlerer Krümmungsfluss, Oberflächendiffusion, ein kinetisches Modell, welches die Effekte des mittleren Krümmungsflusses und der Oberflächendiffusion kombiniert und zusätzlich eine kinetische Komponente beinhaltet, und ein Adatom-Modell, welches außerdem freie Adatome berücksichtigt. Als Einführung in die numerischen Schemata, wird zuerst der isotrope und schwach anisotrope Fall betrachtet. Anschließend werden starke Anisotropien (nicht-konvexe Anisotropien) benutzt, um Facettierungs- und Vergröberungsphänomene zu simulieren. Der in Experimenten beobachtete Effekt der Ecken- und Kanten-Abrundung wird in der Simulation durch die Regularisierung der starken Anisotropie durch einen Krümmungsterm höherer Ordnung erreicht. Die Krümmungsregularisierung führt zu einer Erhöhung der Ordnung der Gleichung um zwei, was hochgradig nicht-lineare Gleichungen von bis zu sechster Ordnung ergibt. Für die numerische Lösung werden die Gleichungen auf Systeme zweiter Ordnungsgleichungen transformiert, welche mit einem Schurkomplement-Ansatz gelöst werden. Das Adatom-Modell bildet eine Diffusionsgleichung auf einer bewegten Fläche. Zur numerischen Lösung wird ein Operatorsplitting-Ansatz verwendet. Im Unterschied zu anderen Arbeiten, die sich auf den isotropen Fall beschränken, wird auch der anisotrope Fall diskutiert und numerisch gelöst. Außerdem werden geometrische Evolutionsgleichungen auf implizit gegebenen gekrümmten Flächen mit Levelset-Verfahren behandelt. Insbesondere wird die numerische Lösung von Oberflächendiffusion auf gekrümmten Flächen dargestellt. Die Gleichungen werden im Ort mit linearen Standard-Finiten-Elementen diskretisiert. Als Zeitdiskretisierung wird ein semi-implizites Diskretisierungsschema verwendet. Die Herleitung der numerischen Schemata wird detailliert dargestellt, und zahlreiche numerische Ergebnisse für den 2D und 3D Fall sind gegeben. Um den Rechenaufwand gering zu halten, wird das Finite-Elemente-Gitter adaptiv an den bewegten Kurven bzw. den bewegten Flächen verfeinert. Es wird ein Redistancing-Algorithmus basierend auf einer lokalen Hopf-Lax Formel benutzt. Der Algorithmus wurde von den Autoren auf den 3D Fall erweitert. In dieser Arbeit wird der Algorithmus für den 3D Fall detailliert beschrieben.
|
22 |
Etudes mathématiques et numériques des problèmes paraboliques avec des conditions aux limites / Mathematical and numerical studies of parabolic problems with boundary conditionsKarimou Gazibo, Mohamed 06 December 2013 (has links)
Cette thèse est centrée autour de l’étude théorique et de l’analyse numérique des équations paraboliques non linéaires avec divers conditions aux limites. La première partie est consacrée aux équations paraboliques dégénérées mêlant des phénomènes non-linéaires de diffusion et de transport. Nous définissons des notions de solutions entropiques adaptées pour chacune des conditions aux limites (flux nul, Robin, Dirichlet). La difficulté principale dans l’étude de ces problèmes est due au manque de régularité du flux pariétal pour traiter les termes de bords. Ceci pose un problème pour la preuve d’unicité. Pour y remédier, nous tirons profit du fait que ces résultats de régularités sur le bord sont plus faciles à obtenir pour le problème stationnaire et particulièrement en dimension un d’espace. Ainsi par la méthode de comparaison "fort-faible" nous arrivons à déduire l’unicité avec le choix d’une fonction test non symétrique et en utilisant la théorie des semi-groupes non linéaires.L’existence de solution se démontre en deux étapes, combinant la méthode de régularisation parabolique et les approximations de Galerkin. Nous développons ensuite une approche directe en construisant des solutions approchées par un schéma de volumes finis implicite en temps. Dans les deux cas, on combine les estimations dans les espaces fonctionnels bien choisis avec des arguments de compacité faible ou forte et diverses astuces permettant de passer à la limite dans des termes non linéaires. Notamment, nous introduisons une nouvelle notion de solution appelée solution processus intégrale dont l’objectif, dans le cadre de notre étude, est de pallier à la difficulté de prouver la convergence vers une solution entropique d’un schéma volumes finis pour le problème de flux nul au bord.La deuxième partie de cette thèse traite d’un problème à frontière libre décrivant la propagation d’un front de combustion et l’évolution de la température dans un milieu hétérogène. Il s’agit d’un système d’équations couplées constitué de l’équation de la chaleur bidimensionnelle et d’une équation de type Hamilton-Jacobi. L’objectif de cette partie est de construire un schéma numérique pour ce problème en combinant des discrétisations du type éléments finis avec les différences finies. Ceci nous permet notamment de vérifier la convergence de la solution numérique vers une solution onde pour un temps long. Dans un premier temps, nous nous intéressons à l’étude d’un problème unidimensionnel. Très vite,nous nous heurtons à un problème de stabilité du schéma. Cela est dû au problème de prise en compte de la condition de Neumann au bord. Par une technique de changement d’inconnue et d’approximation nous remédions à ce problème. Ensuite, nous adaptons cette technique pour la résolution du problème bidimensionnel. A l’aide d’un changement de variables, nous obtenons un domaine fixe facile pour la discrétisation. La monotonie du schéma obtenu est prouvée sous une hypothèse supplémentaire de propagation monotone qui exige que la frontière libre se déplace dans les directions d’un cône prescrit à l’avance. / This thesis focuses on the theoretical study and numerical analysis of parabolic equations with boundary conditions.The first part is devoted to degenerate parabolic equation which combines features of a hyperbolic conser-vation law with those of a porous medium equation. We define suitable notions of entropy solutions foreach of the boundary conditions (zero-flux, Robin, Dirichlet). The main difficulty in these studies residesin the formulation of the adequate notion of entropy solution and in the proof of uniqueness. There isa technical difficulty due to the lack of regularity required to treat the boundaries terms. We take ad-vantage of the fact that boundary regularity results are easier to obtain for the stationary problem, inparticular in one space dimension. Thus, using strong-weak uniqueness approach we get the uniquenesswith the choice of a non-symmetric test function and using the nonlinear semigroup theory. The exis-tence of solution is proved in two steps, combining the method of parabolic regularization and Galerkinapproximations. Next, we develop a direct approach to construct approximate solutions by an implicitfinite volume scheme. In both cases, the estimates in the appropriately chosen functional spaces are com-bined with arguments of weak or strong compactness and various tricks to pass to the limit in nonlinearterms. In the appendix, we propose a result of existence of strong trace of a solution for the degenerateparabolic problem. In another appendix of independent interest, we introduce a new concept of solutioncalled integral process solution. We exploit it to overcome the difficulty of proving the convergence ofour finite volume scheme to an entropy solution for the zero-flux boundary problem.The second part of this thesis deals with a free boundary problem describing the propagation of a com-bustion front and the evolution of the temperature in a heterogeneous medium. So we have a coupledproblem consisting of the heat equation of bidimensional space and a Hamilton-Jacobi equation. The ob-jective is to construct a numerical scheme and to verify that the numerical solution converges to a wavesolution for a long time. Recall that an existence of wave solution for this problem was already proven inan analytical framework. At first, we focus on the study of a one-dimensional problem. Here, we face aproblem of stability of the scheme. This is due to a difficulty of taking into account the Neumann boun-dary condition. Through a technique of change of unknown, we can propose a monotone scheme. Wealso adapt this technique for solving two-dimensional problem. Using a change of variables, we obtaina fixed domain where the discretization becomes easy. The monotony of the scheme is proved under anadditional assumption of monotone propagation that requires the free boundary moves in the directionsof a cone given beforehand.
|
23 |
Level set methods for higher order evolution lawsStöcker, Christina 20 February 2008 (has links)
A numerical treatment of non-linear higher-order geometric evolution equations with the level set and the finite element method is presented. The isotropic, weak anisotropic and strong anisotropic situation is discussed. Most of the equations considered in this work arise from the field of thin film growth. A short introduction to the subject is given. Four different models are discussed: mean curvature flow, surface diffusion, a kinetic model, which combines the effects of mean curvature flow and surface diffusion and includes a further kinetic component, and an adatom model, which incorporates in addition free adatoms. As an introduction to the numerical schemes, first the isotropic and weak anisotropic situation is considered. Then strong anisotropies (non-convex anisotropies) are used to simulate the phenomena of faceting and coarsening. The experimentally observed effect of corner and edge roundings is reached in the simulation through the regularization of the strong anisotropy with a higher-order curvature term. The curvature regularization leads to an increase by two in the order of the equations, which results in highly non-linear equations of up to 6th order. For the numerical solution, the equations are transformed into systems of second order equations, which are solved with a Schur complement approach. The adatom model constitutes a diffusion equation on a moving surface. An operator splitting approach is used for the numerical solution. In difference to other works, which restrict to the isotropic situation, also the anisotropic situation is discussed and solved numerically. Furthermore, a treatment of geometric evolution equations on implicitly given curved surfaces with the level set method is given. In particular, the numerical solution of surface diffusion on curved surfaces is presented. The equations are discretized in space by standard linear finite elements. For the time discretization a semi-implicit discretization scheme is employed. The derivation of the numerical schemes is presented in detail, and numerous computational results are given for the 2D and 3D situation. To keep computational costs low, the finite element grid is adaptively refined near the moving curves and surfaces resp. A redistancing algorithm based on a local Hopf-Lax formula is used. The algorithm has been extended by the authors to the 3D case. A detailed description of the algorithm in 3D is presented in this work. / In der Arbeit geht es um die numerische Behandlung nicht-linearer geometrischer Evolutionsgleichungen höherer Ordnung mit Levelset- und Finite-Elemente-Verfahren. Der isotrope, schwach anisotrope und stark anisotrope Fall wird diskutiert. Die meisten in dieser Arbeit betrachteten Gleichungen entstammen dem Gebiet des Dünnschicht-Wachstums. Eine kurze Einführung in dieses Gebiet wird gegeben. Es werden vier verschiedene Modelle diskutiert: mittlerer Krümmungsfluss, Oberflächendiffusion, ein kinetisches Modell, welches die Effekte des mittleren Krümmungsflusses und der Oberflächendiffusion kombiniert und zusätzlich eine kinetische Komponente beinhaltet, und ein Adatom-Modell, welches außerdem freie Adatome berücksichtigt. Als Einführung in die numerischen Schemata, wird zuerst der isotrope und schwach anisotrope Fall betrachtet. Anschließend werden starke Anisotropien (nicht-konvexe Anisotropien) benutzt, um Facettierungs- und Vergröberungsphänomene zu simulieren. Der in Experimenten beobachtete Effekt der Ecken- und Kanten-Abrundung wird in der Simulation durch die Regularisierung der starken Anisotropie durch einen Krümmungsterm höherer Ordnung erreicht. Die Krümmungsregularisierung führt zu einer Erhöhung der Ordnung der Gleichung um zwei, was hochgradig nicht-lineare Gleichungen von bis zu sechster Ordnung ergibt. Für die numerische Lösung werden die Gleichungen auf Systeme zweiter Ordnungsgleichungen transformiert, welche mit einem Schurkomplement-Ansatz gelöst werden. Das Adatom-Modell bildet eine Diffusionsgleichung auf einer bewegten Fläche. Zur numerischen Lösung wird ein Operatorsplitting-Ansatz verwendet. Im Unterschied zu anderen Arbeiten, die sich auf den isotropen Fall beschränken, wird auch der anisotrope Fall diskutiert und numerisch gelöst. Außerdem werden geometrische Evolutionsgleichungen auf implizit gegebenen gekrümmten Flächen mit Levelset-Verfahren behandelt. Insbesondere wird die numerische Lösung von Oberflächendiffusion auf gekrümmten Flächen dargestellt. Die Gleichungen werden im Ort mit linearen Standard-Finiten-Elementen diskretisiert. Als Zeitdiskretisierung wird ein semi-implizites Diskretisierungsschema verwendet. Die Herleitung der numerischen Schemata wird detailliert dargestellt, und zahlreiche numerische Ergebnisse für den 2D und 3D Fall sind gegeben. Um den Rechenaufwand gering zu halten, wird das Finite-Elemente-Gitter adaptiv an den bewegten Kurven bzw. den bewegten Flächen verfeinert. Es wird ein Redistancing-Algorithmus basierend auf einer lokalen Hopf-Lax Formel benutzt. Der Algorithmus wurde von den Autoren auf den 3D Fall erweitert. In dieser Arbeit wird der Algorithmus für den 3D Fall detailliert beschrieben.
|
Page generated in 0.0854 seconds