@phdthesis{Legatiuk, author = {Legatiuk, Anastasiia}, title = {Discrete potential and function theories on a rectangular lattice and their applications}, doi = {10.25643/bauhaus-universitaet.4865}, url = {http://nbn-resolving.de/urn:nbn:de:gbv:wim2-20221220-48654}, school = {Bauhaus-Universit{\"a}t Weimar}, abstract = {The growing complexity of modern engineering problems necessitates development of advanced numerical methods. In particular, methods working directly with discrete structures, and thus, representing exactly some important properties of the solution on a lattice and not just approximating the continuous properties, become more and more popular nowadays. Among others, discrete potential theory and discrete function theory provide a variety of methods, which are discrete counterparts of the classical continuous methods for solving boundary value problems. A lot of results related to the discrete potential and function theories have been presented in recent years. However, these results are related to the discrete theories constructed on square lattices, and, thus, limiting their practical applicability and potentially leading to higher computational costs while discretising realistic domains. This thesis presents an extension of the discrete potential theory and discrete function theory to rectangular lattices. As usual in the discrete theories, construction of discrete operators is strongly influenced by a definition of discrete geometric setting. For providing consistent constructions throughout the whole thesis, a detailed discussion on the discrete geometric setting is presented in the beginning. After that, the discrete fundamental solution of the discrete Laplace operator on a rectangular lattice, which is the core of the discrete potential theory, its numerical analysis, and practical calculations are presented. By using the discrete fundamental solution of the discrete Laplace operator on a rectangular lattice, the discrete potential theory is then constructed for interior and exterior settings. Several discrete interior and exterior boundary value problems are then solved. Moreover, discrete transmission problems are introduced and several numerical examples of these problems are discussed. Finally, a discrete fundamental solution of the discrete Cauchy-Riemann operator on a rectangular lattice is constructed, and basics of the discrete function theory on a rectangular lattice are provided. This work indicates that the discrete theories provide solution methods with very good numerical properties to tackle various boundary value problems, as well as transmission problems coupling interior and exterior problems. The results presented in this thesis provide a basis for further development of discrete theories on irregular lattices.}, subject = {Diskrete Funktionentheorie}, language = {en} } @article{LegatiukGuerlebeckHommel, author = {Legatiuk, Anastasiia and G{\"u}rlebeck, Klaus and Hommel, Angela}, title = {Estimates for the discrete fundamental solution of the discrete Laplace operator on a rectangular lattice}, series = {Mathematical Methods in the Applied Sciences}, volume = {2021}, journal = {Mathematical Methods in the Applied Sciences}, publisher = {Wiley}, address = {Chichester}, doi = {10.1002/mma.7747}, url = {http://nbn-resolving.de/urn:nbn:de:gbv:wim2-20220209-45829}, pages = {1 -- 23}, abstract = {This paper presents numerical analysis of the discrete fundamental solution of the discrete Laplace operator on a rectangular lattice. Additionally, to provide estimates in interior and exterior domains, two different regularisations of the discrete fundamental solution are considered. Estimates for the absolute difference and lp-estimates are constructed for both regularisations. Thus, this work extends the classical results in the discrete potential theory to the case of a rectangular lattice and serves as a basis for future convergence analysis of the method of discrete potentials on rectangular lattices.}, subject = {diskrete Fourier-Transformation}, language = {en} } @article{Legatiuk, author = {Legatiuk, Dmitrii}, title = {Mathematical Modelling by Help of Category Theory: Models and Relations between Them}, series = {mathematics}, volume = {2021}, journal = {mathematics}, number = {volume 9, issue 16, article 1946}, publisher = {MDPI}, address = {Basel}, doi = {10.3390/math9161946}, url = {http://nbn-resolving.de/urn:nbn:de:gbv:wim2-20210817-44844}, pages = {17}, abstract = {The growing complexity of modern practical problems puts high demand on mathematical modelling. Given that various models can be used for modelling one physical phenomenon, the role of model comparison and model choice is becoming particularly important. Methods for model comparison and model choice typically used in practical applications nowadays are computationbased, and thus time consuming and computationally costly. Therefore, it is necessary to develop other approaches to working abstractly, i.e., without computations, with mathematical models. An abstract description of mathematical models can be achieved by the help of abstract mathematics, implying formalisation of models and relations between them. In this paper, a category theory-based approach to mathematical modelling is proposed. In this way, mathematical models are formalised in the language of categories, relations between the models are formally defined and several practically relevant properties are introduced on the level of categories. Finally, an illustrative example is presented, underlying how the category-theory based approach can be used in practice. Further, all constructions presented in this paper are also discussed from a modelling point of view by making explicit the link to concrete modelling scenarios.}, subject = {Kategorientheorie}, language = {en} } @article{LegatiukWeiszPatrault, author = {Legatiuk, Dmitrii and Weisz-Patrault, Daniel}, title = {Coupling of Complex Function Theory and Finite Element Method for Crack Propagation Through Energetic Formulation: Conformal Mapping Approach and Reduction to a Riemann-Hilbert Problem}, series = {Computational Methods and Function Theory}, volume = {2021}, journal = {Computational Methods and Function Theory}, publisher = {Springer}, address = {Heidelberg}, doi = {10.1007/s40315-021-00403-7}, url = {http://nbn-resolving.de/urn:nbn:de:gbv:wim2-20210805-44763}, pages = {1 -- 23}, abstract = {In this paper we present a theoretical background for a coupled analytical-numerical approach to model a crack propagation process in two-dimensional bounded domains. The goal of the coupled analytical-numerical approach is to obtain the correct solution behaviour near the crack tip by help of the analytical solution constructed by using tools of complex function theory and couple it continuously with the finite element solution in the region far from the singularity. In this way, crack propagation could be modelled without using remeshing. Possible directions of crack growth can be calculated through the minimization of the total energy composed of the potential energy and the dissipated energy based on the energy release rate. Within this setting, an analytical solution of a mixed boundary value problem based on complex analysis and conformal mapping techniques is presented in a circular region containing an arbitrary crack path. More precisely, the linear elastic problem is transformed into a Riemann-Hilbert problem in the unit disk for holomorphic functions. Utilising advantages of the analytical solution in the region near the crack tip, the total energy could be evaluated within short computation times for various crack kink angles and lengths leading to a potentially efficient way of computing the minimization procedure. To this end, the paper presents a general strategy of the new coupled approach for crack propagation modelling. Additionally, we also discuss obstacles in the way of practical realisation of this strategy.}, subject = {Angewandte Mathematik}, language = {en} } @article{CerejeirasKaehlerLegatiuketal., author = {Cerejeiras, Paula and K{\"a}hler, Uwe and Legatiuk, Anastasiia and Legatiuk, Dmitrii}, title = {Discrete Hardy Spaces for Bounded Domains in Rn}, series = {Complex Analysis and Operator Theory}, volume = {2021}, journal = {Complex Analysis and Operator Theory}, number = {Volume 15, article 4}, publisher = {Springer}, address = {Heidelberg}, doi = {10.1007/s11785-020-01047-6}, url = {http://nbn-resolving.de/urn:nbn:de:gbv:wim2-20210804-44746}, pages = {1 -- 32}, abstract = {Discrete function theory in higher-dimensional setting has been in active development since many years. However, available results focus on studying discrete setting for such canonical domains as half-space, while the case of bounded domains generally remained unconsidered. Therefore, this paper presents the extension of the higher-dimensional function theory to the case of arbitrary bounded domains in Rn. On this way, discrete Stokes' formula, discrete Borel-Pompeiu formula, as well as discrete Hardy spaces for general bounded domains are constructed. Finally, several discrete Hilbert problems are considered.}, subject = {Dirac-Operator}, language = {en} } @misc{Hamzah, type = {Master Thesis}, author = {Hamzah, Abdulrazzak}, title = {L{\"o}sung von Randwertaufgaben der Bruchmechanik mit Hilfe einer approximationsbasierten Kopplung zwischen der Finite-Elemente-Methode und Methoden der komplexen Analysis}, doi = {10.25643/bauhaus-universitaet.4093}, url = {http://nbn-resolving.de/urn:nbn:de:gbv:wim2-20200211-40936}, school = {Bauhaus-Universit{\"a}t Weimar}, abstract = {Das Hauptziel der vorliegenden Arbeit war es, eine stetige Kopplung zwischen der ananlytischen und numerischen L{\"o}sung von Randwertaufgaben mit Singularit{\"a}ten zu realisieren. Durch die inter-polationsbasierte gekoppelte Methode kann eine globale C0 Stetigkeit erzielt werden. F{\"u}r diesen Zweck wird ein spezielle finite Element (Kopplungselement) verwendet, das die Stetigkeit der L{\"o}sung sowohl mit dem analytischen Element als auch mit den normalen CST Elementen gew{\"a}hrleistet. Die interpolationsbasierte gekoppelte Methode ist zwar f{\"u}r beliebige Knotenanzahl auf dem Interface ΓAD anwendbar, aber es konnte durch die Untersuchung von der Interpolationsmatrix und numerische Simulationen festgestellt werden, dass sie schlecht konditioniert ist. Um das Problem mit den numerischen Instabilit{\"a}ten zu bew{\"a}ltigen, wurde eine approximationsbasierte Kopplungsmethode entwickelt und untersucht. Die Stabilit{\"a}t dieser Methode wurde anschließend anhand der Untersuchung von der Gramschen Matrix des verwendeten Basissystems auf zwei Intervallen [-π,π] und [-2π,2π] beurteilt. Die Gramsche Matrix auf dem Intervall [-2π,2π] hat einen g{\"u}nstigeren Konditionszahl in der Abh{\"a}ngigkeit von der Anzahl der Kopplungsknoten auf dem Interface aufgewiesen. Um die dazu geh{\"o}rigen numerischen Instabilit{\"a}ten ausschließen zu k{\"o}nnen wird das Basissystem mit Hilfe vom Gram-Schmidtschen Orthogonalisierungsverfahren auf beiden Intervallen orthogonalisiert. Das orthogonale Basissystem l{\"a}sst sich auf dem Intervall [-2π,2π] mit expliziten Formeln schreiben. Die Methode des konsistentes Sampling, die h{\"a}ufig in der Nachrichtentechnik verwendet wird, wurde zur Realisierung von der approximationsbasierten Kopplung herangezogen. Eine Beschr{\"a}nkung dieser Methode ist es, dass die Anzahl der Sampling-Basisfunktionen muss gleich der Anzahl der Wiederherstellungsbasisfunktionen sein. Das hat dazu gef{\"u}hrt, dass das eingef{\"u}hrt Basissys-tem (mit 2 n Basisfunktionen) nur mit n Basisfunktion verwendet werden kann. Zur L{\"o}sung diese Problems wurde ein alternatives Basissystems (Variante 2) vorgestellt. F{\"u}r die Verwendung dieses Basissystems ist aber eine Transformationsmatrix M n{\"o}tig und bei der Orthogonalisierung des Basissystems auf dem Intervall [-π,π] kann die Herleitung von dieser Matrix kompliziert und aufwendig sein. Die Formfunktionen wurden anschließend f{\"u}r die beiden Varianten hergeleitet und grafisch (f{\"u}r n = 5) dargestellt und wurde gezeigt, dass diese Funktionen die Anforderungen an den Formfunktionen erf{\"u}llen und k{\"o}nnen somit f{\"u}r die FE- Approximation verwendet werden. Anhand numerischer Simulationen, die mit der Variante 1 (mit Orthogonalisierung auf dem Intervall [-2π,2π]) durchgef{\"u}hrt wurden, wurden die grundlegenden Fragen (Beispielsweise: Stetigkeit der Verformungen auf dem Interface ΓAD, Spannungen auf dem analytischen Gebiet) {\"u}ber- pr{\"u}ft.}, subject = {Mathematik}, language = {de} } @article{GuerlebeckLegatiukNilssonetal., author = {G{\"u}rlebeck, Klaus and Legatiuk, Dmitrii and Nilsson, Henrik and Smarsly, Kay}, title = {Conceptual modelling: Towards detecting modelling errors in engineering applications}, series = {Mathematical Methods in Applied Sciences}, journal = {Mathematical Methods in Applied Sciences}, doi = {10.1002/mma.5934}, url = {http://nbn-resolving.de/urn:nbn:de:gbv:wim2-20200110-40614}, pages = {1 -- 10}, abstract = {Rapid advancements of modern technologies put high demands on mathematical modelling of engineering systems. Typically, systems are no longer "simple" objects, but rather coupled systems involving multiphysics phenomena, the modelling of which involves coupling of models that describe different phenomena. After constructing a mathematical model, it is essential to analyse the correctness of the coupled models and to detect modelling errors compromising the final modelling result. Broadly, there are two classes of modelling errors: (a) errors related to abstract modelling, eg, conceptual errors concerning the coherence of a model as a whole and (b) errors related to concrete modelling or instance modelling, eg, questions of approximation quality and implementation. Instance modelling errors, on the one hand, are relatively well understood. Abstract modelling errors, on the other, are not appropriately addressed by modern modelling methodologies. The aim of this paper is to initiate a discussion on abstract approaches and their usability for mathematical modelling of engineering systems with the goal of making it possible to catch conceptual modelling errors early and automatically by computer assistant tools. To that end, we argue that it is necessary to identify and employ suitable mathematical abstractions to capture an accurate conceptual description of the process of modelling engineering systems.}, subject = {Angewandte Mathematik}, language = {en} } @phdthesis{AlYasiri2017, author = {Al-Yasiri, Zainab Riyadh Shaker}, title = {Function Theoretic Methods for the Analytical and Numerical Solution of Some Non-linear Boundary Value Problems with Singularities}, doi = {10.25643/bauhaus-universitaet.3898}, url = {http://nbn-resolving.de/urn:nbn:de:gbv:wim2-20190506-38987}, school = {Bauhaus-Universit{\"a}t Weimar}, pages = {164}, year = {2017}, abstract = {The p-Laplace equation is a nonlinear generalization of the well-known Laplace equation. It is often used as a model problem for special types of nonlinearities, and therefore it can be seen as a bridge between very general nonlinear equations and the linear Laplace equation, too. It appears in many problems for instance in the theory of non-Newtonian fluids and fluid dynamics or in rockfill dam problems, as well as in special problems of image restoration and image processing. The aim of this thesis is to solve the p-Laplace equation for 1 < p < 2, as well as for 2 < p < 3 and to find strong solutions in the framework of Clifford analysis. The idea is to apply a hypercomplex integral operator and special function theoretic methods to transform the p-Laplace equation into a p-Dirac equation. We consider boundary value problems for the p-Laplace equation and transfer them to boundary value problems for a p-Dirac equation. These equations will be solved iteratively by applying Banach's fixed-point principle. Applying operator-theoretical methods for the p-Dirac equation, the existence and uniqueness of solutions in certain Sobolev spaces will be proved. In addition, using a finite difference approach on a uniform lattice in the plane, the fundamental solution of the Cauchy-Riemann operator and its adjoint based on the fundamental solution of the Laplacian will be calculated. Besides, we define gener- alized discrete Teodorescu transform operators, which are right-inverse to the discrete Cauchy-Riemann operator and its adjoint in the plane. Furthermore, a new formula for generalized discrete boundary operators (analogues of the Cauchy integral operator) will be considered. Based on these operators a new version of discrete Borel-Pompeiu formula is formulated and proved. This is the basis for an operator calculus that will be applied to the numerical solution of the p-Dirac equation. Finally, numerical results will be presented showing advantages and problems of this approach.}, subject = {Finite-Differenzen-Methode}, language = {en} } @phdthesis{Hommel, author = {Hommel, Angela}, title = {Diskret holomorphe Funktionen und deren Bedeutung bei der L{\"o}sung von Differenzengleichungen}, doi = {10.25643/bauhaus-universitaet.3784}, url = {http://nbn-resolving.de/urn:nbn:de:gbv:wim2-20180827-37846}, school = {Bauhaus-Universit{\"a}t Weimar}, abstract = {Auf der Grundlage diskreter Cauchy-Riemann Operatoren werden diskret holomorphe Funktionen definiert und detailliert studiert. Darauf aufbauend wird die L{\"o}sung von Differenzengleichungen mit Hilfe der diskret holomorphen Funktionen beschrieben.}, subject = {Differenzengleichung}, language = {de} } @masterthesis{Nguyen, type = {Bachelor Thesis}, author = {Nguyen, Thai Cuong}, title = {Fl{\"a}chen zweiter Ordnung - D{\"a}cher m{\"u}ssen nicht eben sein}, doi = {10.25643/bauhaus-universitaet.3749}, url = {http://nbn-resolving.de/urn:nbn:de:gbv:wim2-20181024-37496}, school = {Bauhaus-Universit{\"a}t Weimar}, pages = {47}, abstract = {In dieser Arbeit geht es um die Quadriken in der Ebene und im Raum. Dabei werden die Transformation in die Normalform und die Klassifikation untersucht. Aus den geometrischen Eigenschaften werden einige Anwendungsbeispiele der Quadriken in der Technik und dem allt{\"a}glichen Leben vorgestellt.}, subject = {Quadrik}, language = {de} }