@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} } @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} } @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{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} }