Harmonic potentials in the de Rham complex
Fuente:
arXiv
Enregistré dans:
| Auteurs principaux: | , |
|---|---|
| Format: | Preprint |
| Publié: |
2025
|
| Sujets: | |
| Accès en ligne: | |
| Tags: |
Ajouter un tag
Pas de tags, Soyez le premier à ajouter un tag!
|
| _version_ | 1866910015953043456 |
|---|---|
| author | Pinto, Martin Campos Owezarek, Julian |
| author_facet | Pinto, Martin Campos Owezarek, Julian |
| contents | Representing vector fields by potentials can be a challenging task in domains with cavities or tunnels, due to the presence of harmonic fields which are both irrotational and solenoidal but may have no scalar or vector potentials. For harmonic fields normal to the boundary, which exist in domains with cavities, the standard approach is to construct scalar potentials by solving Laplace's equation with Dirichlet boundary conditions fitted to the closed surfaces surrounding the domain's cavities. For harmonic fields tangent to the boundary, which exist in domains with tunnels, a similar method was lacking. In this article we present a construction of vector potentials obtained by solving curl-curl problems with inhomogeneous tangent boundary conditions fitted to closed curves looping around the tunnels. Just as the cavity surfaces represent a basis for the 2-chain homology group, these tunnel curves represent a basis for the 1-chain homology group and the corresponding vector potentials yield a basis for the tangent harmonic fields. In our analysis the linear independence of the harmonic fields is established by considering their fluxes through a collection of reciprocal surfaces. These surfaces, whose boundaries lie on the boundary of the domain and which are in intersection duality with the tunnel curves, represent a basis for the relative 2-chain homology group modulo the boundary: their existence in general domains follows from the Poincaré-Lefschetz duality. Applied to structure-preserving finite elements, our method also provides an exact geometric parametrization of the discrete harmonic fields in terms of discrete potentials. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2508_16822 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | Harmonic potentials in the de Rham complex Pinto, Martin Campos Owezarek, Julian Numerical Analysis Computational Physics 78A30, 14F40, 65N30, 31B20 Representing vector fields by potentials can be a challenging task in domains with cavities or tunnels, due to the presence of harmonic fields which are both irrotational and solenoidal but may have no scalar or vector potentials. For harmonic fields normal to the boundary, which exist in domains with cavities, the standard approach is to construct scalar potentials by solving Laplace's equation with Dirichlet boundary conditions fitted to the closed surfaces surrounding the domain's cavities. For harmonic fields tangent to the boundary, which exist in domains with tunnels, a similar method was lacking. In this article we present a construction of vector potentials obtained by solving curl-curl problems with inhomogeneous tangent boundary conditions fitted to closed curves looping around the tunnels. Just as the cavity surfaces represent a basis for the 2-chain homology group, these tunnel curves represent a basis for the 1-chain homology group and the corresponding vector potentials yield a basis for the tangent harmonic fields. In our analysis the linear independence of the harmonic fields is established by considering their fluxes through a collection of reciprocal surfaces. These surfaces, whose boundaries lie on the boundary of the domain and which are in intersection duality with the tunnel curves, represent a basis for the relative 2-chain homology group modulo the boundary: their existence in general domains follows from the Poincaré-Lefschetz duality. Applied to structure-preserving finite elements, our method also provides an exact geometric parametrization of the discrete harmonic fields in terms of discrete potentials. |
| title | Harmonic potentials in the de Rham complex |
| topic | Numerical Analysis Computational Physics 78A30, 14F40, 65N30, 31B20 |
| url | https://arxiv.org/abs/2508.16822 |