Abstract
There are many numerical methods for solving partial different equations (PDEs) on manifolds such as classical implicit, finite difference, finite element, and isogeometric analysis methods which aim at improving the interoperability between finite element method and computer aided design (CAD) software. However, these approaches have difficulty when the domain has singularities since the solution at the singularity may be multivalued. This paper develops a novel numerical approach to solve elliptic PDEs on real, closed, connected, orientable, and almost smooth algebraic curves and surfaces. Our method integrates numerical algebraic geometry, differential geometry, and a finite difference scheme which is demonstrated on several examples.
Similar content being viewed by others
Data Availability
Enquiries about data availability should be directed to the authors.
References
Amethyst, S., Hauenstein, J.D., Wampler, C.W.: Cellular decompositions and Chebyshev interpolants for real algebraic curves. Preprint available at www.nd.edu/~jhauenst/preprints/ahwCellDecomp.pdf
Bates, D.J., Hauenstein, J.D., Sommese, A.J., Wampler, C.W.: Bertini: software for numerical algebraic geometry. Available at https://bertini.nd.edu/
Bates, D.J., Hauenstein, J.D., Sommese, A.J., Wampler, C.W.: Numerically Solving Polynomial Systems with Bertini. SIAM, Philadelphia (2013)
Beirao da Veiga, L., Buffa, A., Sangalli, G., Vázquez, R.: Mathematical analysis of variational isogeometric methods. Acta Numer. 23, 157–287 (2014)
Bertalmio, M., Cheng, L.-T., Osher, S., Sapiro, G.: Variational problems and partial differential equations on implicit surfaces. J. Comput. Phys. 174, 759–780 (2002)
Bertalmio, M., Sapiro, G., Cheng, L.-T., Osher, S.: A framework for solving surface partial differential equations for computer graphics applications. UCLA CAM report (00–43) (2000)
Besana, G.M., Di Rocco, S., Hauenstein, J.D., Sommese, A.J., Wampler, C.W.: Cell decomposition of almost smooth real algebraic surfaces. Numer. Algorithms 63(4), 645–678 (2013)
Brake, D.A., Bates, D.J., Hao, W., Hauenstein, J.D., Sommese, A.J., Wampler, C.W.: Algorithm 976: Bertini_real: numerical decomposition of real algebraic curves and surfaces. ACM Trans. Math. Softw. 44(1), 10 (2017)
Brake, D.A., Hauenstein, J.D., Sommese, A.J.: Numerical local irreducible decomposition. LNCS 9582, 124–129 (2016)
Burman, E., Hansbo, P., Larson, M.G., Massing, A.: Cut finite element methods for partial differential equations on embedded manifolds of arbitrary codimensions. ESAIM: M2AN 52, 2247–2282 (2018)
Dziuk, G., Elliott, C.M.: Finite element methods for surface PDEs. Acta Numer. 22, 289–396 (2013)
Lai, R., Chan, T.F.: A framework for intrinsic image processing on surfaces. Comput. Vis. Image Underst. 115, 1647–1661 (2011)
Varah, J.M.: A lower bound for the smallest singular value of a matrix. Linear Algebra Appl. 11(1), 3–5 (1975)
Ahlberg, J.H., Nilson, E.N.: Convergence properties of the spline fit. J. Soc. Ind. Appl. Math. 11(1), 95–104 (1963)
Lu, Y., Bates, D.J., Sommese, A.J., Wampler, C.W.: Finding all real points of a complex curve. In: Algebra, Geometry and Their Interactions, vol. 448 of Contemporary Mathematics. AMS, Providence, pp. 183–205 (2007)
Meyer, M., Desbrun, M., Schroder, P., Barr, A. H.: Discrete differential-geometry operators for triangulated 2-manifolds. In: Hege, H.C., Polthier, K. (eds.) Visualization and Mathematics III. Springer, New York, pp. 35–57 (2003)
Osher, S., Sethian, J.: Fronts propagation with curvature-dependent speed: algorithms based on Hamilton–Jacobi formulations. J. Comput. Phys. 79, 12–49 (1988)
Reuter, M., Wolter, F., Peinecke, N.: Laplace–Beltrami spectra as shape-DNA of surfaces and solids. Comput. Aided Des. 38, 342–366 (2006)
Sommese, A.J., Wampler, C.W.: The Numerical Solution of Systems of Polynomials Arising in Engineering and Science. World Scientific Publishing Co. Pte. Ltd., Hackensack (2005)
Spira, A., Kimmel, R.: Geometric curve flows on parametric manifolds. J. Comput. Phys. 223, 235–249 (2007)
Taubin, G.: Geometric signal processing on polygonal meshes. In: Eurographics State of the Art Reports, vol. 4, pp. 81–96 (2000)
Wang, Y., Lui, L.M., Gu, X., Hayashi, K.M., Chan, T.F., Toga, A.W., Thompson, P.M., Yau, S.: Brain surface conformal parameterization using Riemann surface structure. IEEE Trans. Med. Imaging 26, 853–865 (2007)
Xu, G.: Convergent discrete Laplace–Beltrami operators over triangular surfaces. In: Proceedings of Geometric Modeling and Processing. IEEE, pp. 195–204 (2004)
Funding
Funding was provided by National Science Foundation (Grant Nos. CCF-1812746, CCF-2331440), University of Notre Dame (Grant No. Robert and Sara Lumpkins Collegiate Professorship).
Author information
Authors and Affiliations
Corresponding author
Ethics declarations
Conflict of interest
The authors declare that they have no Conflict of interest.
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Springer Nature or its licensor (e.g. a society or other partner) holds exclusive rights to this article under a publishing agreement with the author(s) or other rightsholder(s); author self-archiving of the accepted manuscript version of this article is solely governed by the terms of such publishing agreement and applicable law.
About this article
Cite this article
Hao, W., Hauenstein, J.D., Regan, M.H. et al. A Numerical Method for Solving Elliptic Equations on Real Closed Algebraic Curves and Surfaces. J Sci Comput 99, 56 (2024). https://doi.org/10.1007/s10915-024-02516-2
Received:
Revised:
Accepted:
Published:
DOI: https://doi.org/10.1007/s10915-024-02516-2