2025-11-23T03:55:16.576493

A finite element method using a bounded auxiliary variable for solving the Richards equation

Benfanich, Bourgault, Beljadid
The Richards equation, a nonlinear elliptic parabolic equation, is widely used to model infiltration in porous media. We develop a finite element method for solving the Richards equation by introducing a new bounded auxiliary variable to eliminate unbounded terms in the weak formulation of the method. This formulation is discretized using a semi-implicit scheme and the resulting nonlinear system is solved using Newton's method. Our approach eliminates the need of regularization techniques and offers advantages in handling both dry and fully saturated zones. In the proposed techniques, a non-overlapping Schwarz domain decomposition method is used for modeling infiltration in layered soils. We apply the proposed method to solve the Richards equation using the Havercamp and van Genuchten models for the capillary pressure. Numerical experiments are performed to validate the proposed approach, including tests such as modeling flows in fibrous sheets where the initial medium is totally dry, two cases with fully saturated and dry regions, and an infiltration problem in layered soils. The numerical results demonstrate the stability and accuracy of the proposed numerical method. The numerical solutions remain positive in the presence of totally dry zones. The numerical investigations clearly demonstrated the capability of the proposed method to effectively predict the dynamics of flows in unsaturated soils.
academic

Eine Finite-Element-Methode mit einer beschränkten Hilfsvariablen zur Lösung der Richards-Gleichung

Grundinformationen

  • Paper-ID: 2510.13012
  • Titel: A finite element method using a bounded auxiliary variable for solving the Richards equation
  • Autoren: Abderrahmane Benfanich (University of Ottawa), Yves Bourgault (University of Ottawa), Abdelaziz Beljadid (University of Ottawa & Mohammed VI Polytechnic University)
  • Klassifizierung: math.NA cs.NA physics.comp-ph
  • Veröffentlichungsdatum: 14. Oktober 2025 (arXiv-Preprint)
  • Paper-Link: https://arxiv.org/abs/2510.13012

Zusammenfassung

Die Richards-Gleichung ist eine nichtlineare elliptisch-parabolische Gleichung, die häufig zur Modellierung der Infiltration in porösen Medien verwendet wird. In diesem Artikel wird eine Finite-Element-Methode zur Lösung der Richards-Gleichung durch Einführung einer neuen beschränkten Hilfsvariablen entwickelt, die unbeschränkte Terme in der schwachen Formulierung eliminiert. Die Methode verwendet ein semi-implizites Diskretisierungsschema und die Newton-Methode zur Lösung nichtlinearer Systeme. Das Verfahren macht Regularisierungstechniken überflüssig und bietet Vorteile bei der Behandlung trockener und vollständig gesättigter Bereiche. In der vorgeschlagenen Technik wird die nicht-überlappende Schwarz-Gebietszerlegungsmethode verwendet, um die Infiltration in geschichteten Böden zu simulieren. Numerische Experimente validieren die Effektivität der vorgeschlagenen Methode, einschließlich der Modellierung von Strömungen in vollständig trockenen Faserfasern, Fällen mit vollständig gesättigten und trockenen Bereichen sowie Infiltrationsproblemen in geschichteten Böden.

Forschungshintergrund und Motivation

Problemdefinition

Die Richards-Gleichung beschreibt die ungesättigte Strömung in porösen Medien und ist ein grundlegendes Modell in der Hydrogeologie, Umwelttechnik und Bodenkunde. Die Gleichung existiert in mehreren Formen:

  1. Druckhöhenform (Ψ): Geeignet für vollständig gesättigte und teilweise ungesättigte Strömung, aber numerisch instabil bei S→0
  2. Sättigungsform (S): Besseres Verhalten in trockenen Böden, aber numerische Schwierigkeiten in der Sättigungszone (S=1)
  3. Gemischte Form (S,Ψ): Verbesserte Massenerhaltungseigenschaften, aber erhöhte Komplexität

Einschränkungen bestehender Methoden

  1. Variablenwechsel-Methoden: Können nicht-physikalische Lösungen an der gesättigten/ungesättigten Grenzfläche erzeugen
  2. Regularisierungstechniken: Erfordern zusätzliche Modellierungsparameterwahl
  3. Traditionelle Finite-Element-Methoden: Numerische Schwierigkeiten bei der Behandlung vollständig trockener (S=0) und vollständig gesättigter (S=1) Bereiche

Forschungsmotivation

Entwicklung einer einheitlichen numerischen Methode, die:

  • Variablenwechsel und Regularisierung vermeidet
  • Trockene und gesättigte Bereiche stabil behandelt
  • Gute Massenerhaltungseigenschaften beibehält
  • Auf heterogene poröse Medien anwendbar ist

Kernbeiträge

  1. Neue u-Form vorgeschlagen: Einführung einer beschränkten Hilfsvariablen u zur Eliminierung unbeschränkter Terme in der schwachen Formulierung
  2. Stabiles numerisches Schema entwickelt: Kombination von semi-impliziter Zeitzerdiskretisierung und Newton-Iteration
  3. Gebietszerlegungsmethode implementiert: Behandlung von heterogenen Medien wie geschichteten Böden
  4. Methodeneffektivität validiert: Stabilität und Genauigkeit durch mehrere numerische Experimente nachgewiesen

Methodische Details

Aufgabendefinition

Lösen der Richards-Gleichung: θt+q=0\frac{\partial\theta}{\partial t} + \nabla \cdot q = 0

wobei θ die Bodenwassermenge ist und q der Wasserstrom gemäß dem Darcy-Buckingham-Gesetz: q=Ks(x)Kr(x,S)(Ψ(x,S)+z)q = -K_s(x)K_r(x,S)\nabla(\Psi(x,S) + z)

Konstruktion der neuen Variablen u

Für alle Modelle kann die Ableitung der Leverett-Funktion geschrieben werden als: J(S)=C(x)Sa(1Sc)bJ'(S) = C(x)S^{-a}(1-S^c)^{-b}

Definition der Hilfsvariablen: u=0S(1sc)bdsu = \int_0^S (1-s^c)^{-b} ds

Darstellung mit unvollständiger Beta-Funktion: u=1cB(Sc,1c,1b)u = \frac{1}{c}B(S^c, \frac{1}{c}, 1-b)

Richards-Gleichung in u-Form

In homogenen Medien lautet die u-Form: ϕS(u)t(KsKr(S(u))(hcapCS(u)au+ez))=0\phi \frac{\partial S(u)}{\partial t} - \nabla \cdot \left(K_sK_r(S(u))\left(h_{cap}CS(u)^{-a}\nabla u + e_z\right)\right) = 0

Variationsformulierung

Gesucht wird u ∈ L²(I;H¹(Ω)), so dass: ΩϕS(u)tvdx+ΩKsKr(S(u))(hcapS(u)au+ez)vdx+Randterme=0\int_\Omega \phi \frac{\partial S(u)}{\partial t} v dx + \int_\Omega K_sK_r(S(u))\left(h_{cap}S(u)^{-a}\nabla u + e_z\right) \cdot \nabla v dx + \text{Randterme} = 0

Zeitzerdiskretisierung

Semi-implizites Euler-Schema: ΩϕS(uhn+1)S(uhn)Δtvhdx+ΩKsKr(S(uhn))(hcapS(uhn)auhn+1+ez)vhdx=0\int_\Omega \phi \frac{S(u_h^{n+1}) - S(u_h^n)}{\Delta t} v_h dx + \int_\Omega K_sK_r(S(u_h^n))\left(h_{cap}S(u_h^n)^{-a}\nabla u_h^{n+1} + e_z\right) \cdot \nabla v_h dx = 0

Newton-Iteration

Für nichtlineare Terme S(u^{n+1,m+1}) wird Taylor-Entwicklung erster Ordnung verwendet: S(un+1,m+1)=S(un+1,m)+Su(un+1,m)(un+1,m+1un+1,m)+O((un+1,m+1un+1,m)2)S(u^{n+1,m+1}) = S(u^{n+1,m}) + \frac{\partial S}{\partial u}(u^{n+1,m})(u^{n+1,m+1} - u^{n+1,m}) + O((u^{n+1,m+1} - u^{n+1,m})^2)

Gebietszerlegungsmethode

Für geschichtete Böden wird die nicht-überlappende Schwarz-Methode verwendet:

  • Unabhängige Lösung der Richards-Gleichung in jedem Teilgebiet
  • Kopplung durch Schnittstellenbedingungen: Druckhöhenstetigkeit und Stromflusserhaltung
  • Iterative Lösung mit Robin-Typ-Übertragungsbedingungen

Experimentelle Einrichtung

Numerische Implementierung

  • Softwareplattform: FreeFEM++ und FENICSx
  • Lineare Löser: UMFPACK, PETSc, MUMPS
  • Netz: Einheitliche Dreiecksnetzgenerierung, lineare Finite Elemente (k=1)

Bewertungsmetriken

L²-Fehler: Eh,Δt(T)2=u(,T)uh,Δt(,T)L2(Ω)2E_{h,\Delta t}(T)^2 = \|u(\cdot,T) - u_{h,\Delta t}(\cdot,T)\|_{L^2(\Omega)}^2

Konvergenzordnung:

  • Raumkonvergenzordnung: p=log2(Eh,Δt(T)/Eh/2,Δt(T))p = \log_2(E_{h,\Delta t}(T)/E_{h/2,\Delta t}(T))
  • Zeitkonvergenzordnung: q=log2(Eh,Δt(T)/Eh,Δt/2(T))q = \log_2(E_{h,\Delta t}(T)/E_{h,\Delta t/2}(T))

Testfälle

  1. 1D vollständig ungesättigte Faserfaser: Validierung der Stabilität unter trockenen Bedingungen
  2. 1D gemischte gesättigte-ungesättigte Zone: Prüfung der Fähigkeit zur Behandlung diskontinuierlicher Anfangswerte
  3. Hergestellte Lösungsverifikation: Berechnung von Konvergenzordnungen
  4. 2D vollständig gesättigte Strömung: Vergleich mit Hydrus-Software
  5. Geschichtete Bodenproblem: Validierung der Gebietszerlegungsmethode
  6. Heterogene Medieneinschlüsse: Prüfung der Behandlung komplexer Geometrien

Experimentelle Ergebnisse

Hauptergebnisse

1D-Faserfaser-Test

  • Netz: 500 gleichmäßige Netzpunkte
  • Zeitschritt: Δt = 1s
  • Ergebnisse: u-Form und S-Form-Ergebnisse stimmen vollständig überein, gute Übereinstimmung mit experimentellen Daten

Gemischte gesättigte-ungesättigte Zone

  • Netz: 5000 gleichmäßige Netzpunkte
  • Zeitschritt: Δt = 10⁻⁵ Stunden
  • Newton-Konvergenz: Durchschnittlich 1-5 Iterationen
  • Stabilität: Lösung behält Monotonie bei, keine numerischen Oszillationen

Konvergenzanalyse hergestellter Lösungen

Raumkonvergenz (festes Δt = 5×10⁻⁵):

hL²-FehlerKonvergenzordnung pRechenzeit (s)
1.43×10⁻²6.04×10⁻³-25.1
7.14×10⁻³8.99×10⁻⁴2.7547.2
3.57×10⁻³1.39×10⁻⁴2.6982.8
1.79×10⁻³3.48×10⁻⁵2.00151.0

Zeitkonvergenz (festes h = 1×10⁻³):

ΔtL²-FehlerKonvergenzordnung qRechenzeit (s)
1×10⁻²8.23×10⁻³-6.9
5×10⁻³3.90×10⁻³1.0811.1
2.5×10⁻³1.92×10⁻³1.0219.3
1.25×10⁻³9.60×10⁻⁴1.0033.3

2D-Vergleich gesättigter Strömung

  • Netz: 95.142 Dreieckselemente, 47.972 Knoten
  • Zeitschritt: Δt = 0.001 Stunden
  • Ergebnisse: Hohe Übereinstimmung mit Hydrus-Softwareergebnissen

Geschichteter Bodentest

  • Netz: 89.306 Dreieckselemente, 45.064 Knoten
  • Zeitschritt: Δt = 0.05 Stunden
  • Konvergenz: Toleranz 10⁻³, maximal 10 Iterationen, λ = 25
  • Ergebnisse: Übereinstimmung mit Ergebnissen aus Referenz 20

Methodenvergleich

Im Test mit heterogenen Medieneinschlüssen:

  • u-Form: Bleibt bei ε=0 stabil konvergent, durchschnittlich 4 Iterationen
  • Ψ-Form: Benötigt >1000 Iterationen bei ε=10⁻⁵, Residuumtoleranz immer noch 0.04

Verwandte Arbeiten

Hauptforschungsrichtungen

  1. Variablenwechsel-Methoden: Diersch & Perrochet (1999), Forsyth et al. (1995)
  2. Regularisierungstechniken: Schweizer (2007), Pop & Schweizer (2011)
  3. Gemischte Formen: Celia et al. (1990), Maina & Ackerer (2017)
  4. Gebietszerlegung: Lions (1990), Manzini & Ferraris (2004)

Vorteile dieses Artikels

  1. Einheitliche Behandlung: Kein Variablenwechsel oder Regularisierung erforderlich
  2. Numerische Stabilität: Stabil über den gesamten Bereich S∈0,1
  3. Physikalische Konsistenz: Beibehaltung der Druckhöhenstetigkeit
  4. Rechnerische Effizienz: Schnelle Newton-Konvergenz

Schlussfolgerungen und Diskussion

Hauptschlussfolgerungen

  1. Effektivität der u-Form: Erfolgreiches Eliminieren unbeschränkter Terme in traditionellen Formen
  2. Numerische Stabilität: Stabilität in vollständig trockenen und gesättigten Bereichen
  3. Konvergenzleistung: Raumkonvergenz zweiter Ordnung, Zeitkonvergenz erster Ordnung
  4. Praktische Anwendbarkeit: Geeignet für komplexe heterogene Medienprobleme

Einschränkungen

  1. Modellabhängigkeit: Erfordert die Bedingung limS0K(S)Sa<\lim_{S\to 0} K(S)S^{-a} < \infty
  2. Nichtlineare Lösung: Newton-Iteration erforderlich in Sättigungsbereichen
  3. Schnittstellenbehandlung: Gebietszerlegungstechnik erforderlich für heterogene Medien
  4. Parameterempfindlichkeit: Robin-Parameter λ in der Gebietszerlegung erfordert Anpassung

Zukünftige Richtungen

  1. Theoretische Analyse: Strenge numerische Analyse und Konvergenzbeweise
  2. Multiphysik-Kopplung: Erweiterung auf Lösungs- und Wärmetransport
  3. Adaptive Techniken: Entwicklung adaptiver Netz- und Zeitschrittverfahren
  4. Paralleles Rechnen: Großskalige parallele Implementierung

Tiefgreifende Bewertung

Stärken

  1. Hohe Innovativität: Geschickte Konstruktion der u-Variablen mit solider theoretischer Grundlage
  2. Numerische Stabilität: Vermeidung numerischer Schwierigkeiten traditioneller Methoden
  3. Umfassende Experimente: Abdeckung von 1D bis 2D, homogen bis heterogen
  4. Ingenieurpraktische Anwendbarkeit: Vergleich mit kommerzieller Hydrus-Software erhöht Glaubwürdigkeit

Mängel

  1. Unzureichende theoretische Analyse: Fehlende strenge Konvergenz- und Stabilitätsbeweise
  2. Unzureichende Komplexitätsanalyse: Zu wenig detaillierte Analyse der Rechenkosten von Newton-Iterationen
  3. Parameterwahl: Fehlende theoretische Anleitung zur Wahl des Robin-Parameters λ
  4. Fehlende 3D-Validierung: Keine Verifikation an dreidimensionalen Problemen

Auswirkungen

  1. Akademischer Wert: Neue Perspektive für numerische Lösung der Richards-Gleichung
  2. Praktischer Wert: Breite Anwendungsperspektiven in Hydrogeologie und Bodenkunde
  3. Reproduzierbarkeit: Detaillierte Implementierungsdetails ermöglichen Reproduktion

Anwendungsszenarien

  1. Porenmedienströmung: Grundwasserströmung, Bodenwasserbewegung
  2. Ingenieuranwendungen: Staudammversickerung, Böschungsstabilität
  3. Umweltprobleme: Schadstoffmigration, Grundwassersanierung
  4. Materialwissenschaft: Fluidinfiltration in Fasermaterialien

Literaturverzeichnis

Schlüsselliteratur

  1. Richards, L.A. (1931). Capillary conduction of liquids through porous mediums. Physics 1(5), 318-333.
  2. Celia, M.A., et al. (1990). A general mass-conservative numerical solution for the unsaturated flow equation. Water Resour. Res. 26(7), 1483-1496.
  3. van Genuchten, M.T. (1980). A closed-form equation for predicting the hydraulic conductivity of unsaturated soils. Soil Sci. Soc. Am. J. 44(5), 892-898.
  4. Manzini, G., Ferraris, S. (2004). Mass-conservative finite volume methods on 2-d unstructured grids for the Richards' equation. Adv. Water Resour. 27, 1199-1215.

Gesamtbewertung: Dies ist ein Artikel mit bedeutender Innovationskraft im Bereich der numerischen Lösung der Richards-Gleichung. Durch die Einführung einer beschränkten Hilfsvariablen u werden die numerischen Schwierigkeiten traditioneller Methoden bei der Behandlung trockener und gesättigter Bereiche geschickt gelöst. Die Methode hat eine solide theoretische Grundlage und praktischen Wert, und numerische Experimente validieren die Methodeneffektivität umfassend. Obwohl die theoretische Analyse noch gestärkt werden könnte, ist dies insgesamt eine hochwertige Forschungsarbeit.