Pub Date : 2024-10-31DOI: 10.21136/AM.2024.0185-24
Vít Dolejší, Michal Křížek, Jan Zeman
{"title":"Special issue dedicated to Professor Ivo Babuška, the founder of the journal Applications of Mathematics: Editorial","authors":"Vít Dolejší, Michal Křížek, Jan Zeman","doi":"10.21136/AM.2024.0185-24","DOIUrl":"10.21136/AM.2024.0185-24","url":null,"abstract":"","PeriodicalId":55505,"journal":{"name":"Applications of Mathematics","volume":"69 5","pages":"541 - 544"},"PeriodicalIF":0.7,"publicationDate":"2024-10-31","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145122611","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-10-21DOI: 10.21136/AM.2024.0103-24
Hiroki Ishizaka
We present a precise anisotropic interpolation error estimate for the Morley finite element method (FEM) and apply it to fourth-order elliptic equations. We do not impose the shape-regularity mesh condition in the analysis. Anisotropic meshes can be used for this purpose. The main contributions of this study include providing a new proof of the term consistency. This enables us to obtain an anisotropic consistency error estimate. The core idea of the proof involves using the relationship between the Raviart-Thomas and Morley finite-element spaces. Our results indicate optimal convergence rates and imply that the modified Morley FEM may be effective for errors.
{"title":"Morley finite element analysis for fourth-order elliptic equations under a semi-regular mesh condition","authors":"Hiroki Ishizaka","doi":"10.21136/AM.2024.0103-24","DOIUrl":"10.21136/AM.2024.0103-24","url":null,"abstract":"<div><p>We present a precise anisotropic interpolation error estimate for the Morley finite element method (FEM) and apply it to fourth-order elliptic equations. We do not impose the shape-regularity mesh condition in the analysis. Anisotropic meshes can be used for this purpose. The main contributions of this study include providing a new proof of the term consistency. This enables us to obtain an anisotropic consistency error estimate. The core idea of the proof involves using the relationship between the Raviart-Thomas and Morley finite-element spaces. Our results indicate optimal convergence rates and imply that the modified Morley FEM may be effective for errors.</p></div>","PeriodicalId":55505,"journal":{"name":"Applications of Mathematics","volume":"69 6","pages":"769 - 805"},"PeriodicalIF":0.6,"publicationDate":"2024-10-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142844857","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-10-14DOI: 10.21136/AM.2024.0047-24
Kenta Kobayashi, Takuya Tsuchiya
In an error estimation of finite element solutions to the Poisson equation, we usually impose the shape regularity assumption on the meshes to be used. In this paper, we show that even if the shape regularity condition is violated, the standard error estimation can be obtained if “bad” elements that violate the shape regularity or maximum angle condition are covered virtually by simplices that satisfy the minimum angle condition. A numerical experiment illustrates the theoretical result.
{"title":"Error estimation for finite element solutions on meshes that contain thin elements","authors":"Kenta Kobayashi, Takuya Tsuchiya","doi":"10.21136/AM.2024.0047-24","DOIUrl":"10.21136/AM.2024.0047-24","url":null,"abstract":"<div><p>In an error estimation of finite element solutions to the Poisson equation, we usually impose the shape regularity assumption on the meshes to be used. In this paper, we show that even if the shape regularity condition is violated, the standard error estimation can be obtained if “bad” elements that violate the shape regularity or maximum angle condition are covered virtually by simplices that satisfy the minimum angle condition. A numerical experiment illustrates the theoretical result.</p></div>","PeriodicalId":55505,"journal":{"name":"Applications of Mathematics","volume":"69 5","pages":"571 - 588"},"PeriodicalIF":0.7,"publicationDate":"2024-10-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145121854","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-10-10DOI: 10.21136/AM.2024.0089-24
Yanghai Yu, Fang Liu
We construct a new initial data to prove the ill-posedness of both Navier-Stokes and Euler equations in weaker Besov spaces in the sense that the solution maps to these equations starting from u0 are discontinuous at t = 0.
{"title":"Ill-posedness for the Navier-Stokes and Euler equations in Besov spaces","authors":"Yanghai Yu, Fang Liu","doi":"10.21136/AM.2024.0089-24","DOIUrl":"10.21136/AM.2024.0089-24","url":null,"abstract":"<div><p>We construct a new initial data to prove the ill-posedness of both Navier-Stokes and Euler equations in weaker Besov spaces in the sense that the solution maps to these equations starting from <i>u</i><sub>0</sub> are discontinuous at <i>t</i> = 0.</p></div>","PeriodicalId":55505,"journal":{"name":"Applications of Mathematics","volume":"69 6","pages":"757 - 767"},"PeriodicalIF":0.6,"publicationDate":"2024-10-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142844859","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-10-08DOI: 10.21136/AM.2024.0080-24
Leszek Demkowicz, Jay Gopalakrishnan, Norbert Heuer
A model two-dimensional acoustic waveguide with lateral impedance boundary conditions (and outgoing boundary conditions at the waveguide outlet) is considered. The governing operator is proved to be bounded below with a stability constant inversely proportional to the length of the waveguide. The presence of impedance boundary conditions leads to a non self-adjoint operator which considerably complicates the analysis. The goal of this paper is to elucidate these complications and tools that are applicable, as simply as possible. This work is a continuation of prior waveguide studies (where self-adjoint operators arose) by J. M. Melenk et al. (2023), and L. Demkowicz et al. (2024).
考虑了具有横向阻抗边界条件的二维声波导模型(以及波导出口的出射边界条件)。证明了控制算子具有一个与波导长度成反比的稳定常数。阻抗边界条件的存在导致非自伴随算子的存在,使分析变得相当复杂。本文的目标是尽可能简单地阐明这些复杂性和适用的工具。这项工作是先前由J. M. Melenk等人(2023)和L. Demkowicz等人(2024)进行的波导研究(其中出现了自伴随算子)的延续。
{"title":"Stability analysis for acoustic waveguides. Part 3: impedance boundary conditions","authors":"Leszek Demkowicz, Jay Gopalakrishnan, Norbert Heuer","doi":"10.21136/AM.2024.0080-24","DOIUrl":"10.21136/AM.2024.0080-24","url":null,"abstract":"<div><p>A model two-dimensional acoustic waveguide with lateral impedance boundary conditions (and outgoing boundary conditions at the waveguide outlet) is considered. The governing operator is proved to be bounded below with a stability constant inversely proportional to the length of the waveguide. The presence of impedance boundary conditions leads to a non self-adjoint operator which considerably complicates the analysis. The goal of this paper is to elucidate these complications and tools that are applicable, as simply as possible. This work is a continuation of prior waveguide studies (where self-adjoint operators arose) by J. M. Melenk et al. (2023), and L. Demkowicz et al. (2024).</p></div>","PeriodicalId":55505,"journal":{"name":"Applications of Mathematics","volume":"69 5","pages":"633 - 651"},"PeriodicalIF":0.7,"publicationDate":"2024-10-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145121685","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-09-17DOI: 10.21136/AM.2024.0085-24
Theofanis Strouboulis, Delin Wang
We deal with the a-posteriori estimation of the error for finite element solutions of nonstationary heat conduction problems with mixed boundary conditions on bounded polygonal domains. The a-posteriori error estimates are constucted by solving stationary “reconstruction” problems, obtained by replacing the time derivative of the exact solution by the time derivative of the finite element solution. The main result is that the reconstructed solutions, or reconstructions, are superconvergent approximations of the exact solution (they are more accurate than the finite element solution) when the error is measured in the gradient or the energy-norm. Because of this, the error in the gradient of the finite element solution can be estimated reliably, by computing its difference from the gradient of its reconstructions. Numerical examples show that “reconstruction estimates” are reliable for the most general classes of solutions which can occur in practical computations.
{"title":"Guaranteed a-posteriori error estimation for finite element solutions of nonstationary heat conduction problems based on their elliptic reconstructions","authors":"Theofanis Strouboulis, Delin Wang","doi":"10.21136/AM.2024.0085-24","DOIUrl":"10.21136/AM.2024.0085-24","url":null,"abstract":"<div><p>We deal with the a-posteriori estimation of the error for finite element solutions of nonstationary heat conduction problems with mixed boundary conditions on bounded polygonal domains. The a-posteriori error estimates are constucted by solving stationary “reconstruction” problems, obtained by replacing the time derivative of the exact solution by the time derivative of the finite element solution. The main result is that the reconstructed solutions, or reconstructions, are superconvergent approximations of the exact solution (they are more accurate than the finite element solution) when the error is measured in the gradient or the energy-norm. Because of this, the error in the gradient of the finite element solution can be estimated reliably, by computing its difference from the gradient of its reconstructions. Numerical examples show that “reconstruction estimates” are reliable for the most general classes of solutions which can occur in practical computations.</p></div>","PeriodicalId":55505,"journal":{"name":"Applications of Mathematics","volume":"69 5","pages":"589 - 619"},"PeriodicalIF":0.7,"publicationDate":"2024-09-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145122073","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-09-13DOI: 10.21136/AM.2024.0220-23
Kismet Kasapoǧlu
Contact and Lie point symmetries of a certain class of second order differential equations using the Lie symmetry theory are obtained. Generators of these symmetries are used to obtain first integrals and exact solutions of the equations. This class of equations is transformed into the so-called generalized Lane-Emden equations of the second kind
Then we consider two types of functions g(x) and present first integrals and exact solutions of the Lane-Emden equation for them. One of the considered cases is new.
{"title":"Exact solutions of generalized Lane-Emden equations of the second kind","authors":"Kismet Kasapoǧlu","doi":"10.21136/AM.2024.0220-23","DOIUrl":"10.21136/AM.2024.0220-23","url":null,"abstract":"<div><p>Contact and Lie point symmetries of a certain class of second order differential equations using the Lie symmetry theory are obtained. Generators of these symmetries are used to obtain first integrals and exact solutions of the equations. This class of equations is transformed into the so-called generalized Lane-Emden equations of the second kind</p><div><div><span>$$y^{primeprime}(x)+{kover{x}}y^{prime}(x)+ g(x){rm {e}}^{ny}=0.$$</span></div></div><p>Then we consider two types of functions <i>g</i>(<i>x</i>) and present first integrals and exact solutions of the Lane-Emden equation for them. One of the considered cases is new.</p></div>","PeriodicalId":55505,"journal":{"name":"Applications of Mathematics","volume":"69 6","pages":"747 - 755"},"PeriodicalIF":0.6,"publicationDate":"2024-09-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142845019","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-09-03DOI: 10.21136/AM.2024.0144-23
Nalimela Pothanna, Podila Aparna, M. Pavankumar Reddy, R. Archana Reddy, M. Clement Joe Anand
The problem of an approximate solution of thermo-viscous fluid flow in a porous slab bounded between two impermeable parallel plates in relative motion is examined in this paper. The two plates are kept at two different temperatures and the flow is generated by a constant pressure gradient together with the motion of one of the plates relative to the other. The velocity and temperature distributions have been obtained by a four-stage algorithm approach. It is worth mentioning that reverse effects are noticed on velocity and temperature distributions. These effects can be attributed to Darcy’s friction offered by the medium. The approximation results obtained in the present paper are in good agreement with the earlier numerical results of thermo-viscous fluid flows in plane geometry.
{"title":"Thermo-viscous fluid flow in porous slab bounded between two impermeable parallel plates in relative motion: Four stage algorithm approach","authors":"Nalimela Pothanna, Podila Aparna, M. Pavankumar Reddy, R. Archana Reddy, M. Clement Joe Anand","doi":"10.21136/AM.2024.0144-23","DOIUrl":"10.21136/AM.2024.0144-23","url":null,"abstract":"<div><p>The problem of an approximate solution of thermo-viscous fluid flow in a porous slab bounded between two impermeable parallel plates in relative motion is examined in this paper. The two plates are kept at two different temperatures and the flow is generated by a constant pressure gradient together with the motion of one of the plates relative to the other. The velocity and temperature distributions have been obtained by a four-stage algorithm approach. It is worth mentioning that reverse effects are noticed on velocity and temperature distributions. These effects can be attributed to Darcy’s friction offered by the medium. The approximation results obtained in the present paper are in good agreement with the earlier numerical results of thermo-viscous fluid flows in plane geometry.</p></div>","PeriodicalId":55505,"journal":{"name":"Applications of Mathematics","volume":"69 6","pages":"807 - 827"},"PeriodicalIF":0.6,"publicationDate":"2024-09-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142176627","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-08-27DOI: 10.21136/AM.2024.0052-24
Joost A. A. Opschoor, Christoph Schwab
We analyze deep Neural Network emulation rates of smooth functions with point singularities in bounded, polytopal domains D ⊂ ℝd, d = 2, 3. We prove exponential emulation rates in Sobolev spaces in terms of the number of neurons and in terms of the number of nonzero coefficients for Gevrey-regular solution classes defined in terms of weighted Sobolev scales in D, comprising the countably-normed spaces of I. M. Babuska and B. Q. Guo.
As intermediate result, we prove that continuous, piecewise polynomial high order (“p-version”) finite elements with elementwise polynomial degree p ∈ ℕ on arbitrary, regular, simplicial partitions of polyhedral domains D ⊂ ℝd, d ⩾ 2, can be exactly emulated by neural networks combining ReLU and ReLU2 activations.
On shape-regular, simplicial partitions of polytopal domains D, both the number of neurons and the number of nonzero parameters are proportional to the number of degrees of freedom of the hp finite element space of I. M. Babuška and B. Q. Guo.
我们分析了有界多顶域 D ⊂ ℝd, d = 2, 3 中具有点奇异性的光滑函数的深度神经网络仿真率。我们用神经元的数量和非零系数的数量证明了 Sobolev 空间中以 D 中加权 Sobolev 标度定义的 Gevrey 不规则解类的指数仿真率,D 中包括 I. M. Babuska 和 B. Q. Guo 的可数规范空间。作为中间结果,我们证明了在多面体域 D ⊂ ℝd, d ⩾ 2 的任意、规则、简单分区上,具有元素多项式度 p∈ ℕ 的连续、片断多项式高阶("p-版本")有限元可以通过结合 ReLU 和 ReLU2 激活的神经网络精确模拟。在形状规则、简单分区的多面体域 D 上,神经元数量和非零参数数量都与 I. M. Babuška 和 B. Q. Guo 的 hp 有限元空间的自由度数量成正比。
{"title":"Exponential expressivity of ReLUk neural networks on Gevrey classes with point singularities","authors":"Joost A. A. Opschoor, Christoph Schwab","doi":"10.21136/AM.2024.0052-24","DOIUrl":"10.21136/AM.2024.0052-24","url":null,"abstract":"<div><p>We analyze deep Neural Network emulation rates of smooth functions with point singularities in bounded, polytopal domains D ⊂ ℝ<sup>d</sup>, <i>d</i> = 2, 3. We prove exponential emulation rates in Sobolev spaces in terms of the number of neurons and in terms of the number of nonzero coefficients for Gevrey-regular solution classes defined in terms of weighted Sobolev scales in D, comprising the countably-normed spaces of I. M. Babuska and B. Q. Guo.</p><p>As intermediate result, we prove that continuous, piecewise polynomial high order (“<i>p</i>-version”) finite elements with elementwise polynomial degree <i>p</i> ∈ ℕ on arbitrary, regular, simplicial partitions of polyhedral domains D ⊂ ℝ<sup><i>d</i></sup>, <i>d</i> ⩾ 2, can be <i>exactly emulated</i> by neural networks combining ReLU and ReLU<sup>2</sup> activations.</p><p>On shape-regular, simplicial partitions of polytopal domains D, both the number of neurons and the number of nonzero parameters are proportional to the number of degrees of freedom of the <i>hp</i> finite element space of I. M. Babuška and B. Q. Guo.</p></div>","PeriodicalId":55505,"journal":{"name":"Applications of Mathematics","volume":"69 5","pages":"695 - 724"},"PeriodicalIF":0.7,"publicationDate":"2024-08-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://link.springer.com/content/pdf/10.21136/AM.2024.0052-24.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142176629","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-08-08DOI: 10.21136/AM.2024.0051-24
Karel Segeth
The radial basis function (RBF) approximation is a rapidly developing field of mathematics. In the paper, we are concerned with the measurement of scalar physical quantities at nodes on sphere in the 3D Euclidean space and the spherical RBF interpolation of the data acquired. We employ a multiquadric as the radial basis function and the corresponding trend is a polynomial of degree 2 considered in Cartesian coordinates. Attention is paid to geodesic metrics that define the distance of two points on a sphere. The choice of a particular geodesic metric function is an important part of the construction of interpolation formula.
We show the existence of an interpolation formula of the type considered. The approximation formulas of this type can be useful in the interpretation of measurements of various physical quantities. We present an example concerned with the sampling of anisotropy of magnetic susceptibility having extensive applications in geosciences and demonstrate the advantages and drawbacks of the formulas chosen, in particular the strong dependence of interpolation results on condition number of the matrix of the system considered and on round-off errors in general.
{"title":"Geodesic metrics for RBF approximation of some physical quantities measured on sphere","authors":"Karel Segeth","doi":"10.21136/AM.2024.0051-24","DOIUrl":"10.21136/AM.2024.0051-24","url":null,"abstract":"<div><p>The radial basis function (RBF) approximation is a rapidly developing field of mathematics. In the paper, we are concerned with the measurement of scalar physical quantities at nodes on sphere in the 3D Euclidean space and the spherical RBF interpolation of the data acquired. We employ a multiquadric as the radial basis function and the corresponding trend is a polynomial of degree 2 considered in Cartesian coordinates. Attention is paid to geodesic metrics that define the distance of two points on a sphere. The choice of a particular geodesic metric function is an important part of the construction of interpolation formula.</p><p>We show the existence of an interpolation formula of the type considered. The approximation formulas of this type can be useful in the interpretation of measurements of various physical quantities. We present an example concerned with the sampling of anisotropy of magnetic susceptibility having extensive applications in geosciences and demonstrate the advantages and drawbacks of the formulas chosen, in particular the strong dependence of interpolation results on condition number of the matrix of the system considered and on round-off errors in general.</p></div>","PeriodicalId":55505,"journal":{"name":"Applications of Mathematics","volume":"69 5","pages":"621 - 632"},"PeriodicalIF":0.7,"publicationDate":"2024-08-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://link.springer.com/content/pdf/10.21136/AM.2024.0051-24.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142176630","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}