-
Extrapolated Shock Tracking: Bridging shock-fitting and embedded boundary methods
Authors:
Mirco Ciallella,
Mario Ricchiuto,
Renato Paciorri,
Aldo Bonfiglioli
Abstract:
We propose a novel approach to approximate numerically shock waves. The method combines the unstructured shock-fitting approach developed in the last decade by some of the authors, with ideas coming from embedded boundary techniques. The numerical method obtained allows avoiding the re-meshing phase required by the unstructured fitting method, while guaranteeing accuracy properties very close to t…
▽ More
We propose a novel approach to approximate numerically shock waves. The method combines the unstructured shock-fitting approach developed in the last decade by some of the authors, with ideas coming from embedded boundary techniques. The numerical method obtained allows avoiding the re-meshing phase required by the unstructured fitting method, while guaranteeing accuracy properties very close to those of the fitting approach. This new method has many similarities with front tracking approaches, and paves the way to shock-tracking techniques truly independent on the data and mesh structure used by the flow solver. The approach is tested on several problems showing accuracy properties very close to those of more expensive fitting methods, with a considerable gain in flexibility and generality.
△ Less
Submitted 21 February, 2024;
originally announced February 2024.
-
Extrapolated DIscontinuity Tracking for complex 2D shock interactions
Authors:
Mirco Ciallella,
Mario Ricchiuto,
Renato Paciorri,
Aldo Bonfiglioli
Abstract:
A new shock-tracking technique that avoids re-meshing the computational grid around the moving shock-front was recently proposed by the authors (Ciallella et al., 2020). The method combines the unstructured shock-fitting (Paciorri and Bonfiglioli,2009) approach, developed in the last decade by some of the authors, with ideas coming from embedded boundary methods. In particular, second-order extrap…
▽ More
A new shock-tracking technique that avoids re-meshing the computational grid around the moving shock-front was recently proposed by the authors (Ciallella et al., 2020). The method combines the unstructured shock-fitting (Paciorri and Bonfiglioli,2009) approach, developed in the last decade by some of the authors, with ideas coming from embedded boundary methods. In particular, second-order extrapolations based on Taylor series expansions are employed to transfer the solution and retain high order of accuracy. This paper describes the basic idea behind the new method and further algorithmic improvements which make the extrapolated Discontinuity Tracking Technique (eDIT) capable of dealing with complex shock-topologies featuring shock-shock and shock-wall interactions occurring in steady problems. This method paves the way to a new class of shock-tracking techniques truly independent on the mesh structure and flow solver. Various test-cases are included to prove the potential of the method, demonstrate the key features of the methodology, and thoroughly evaluate several technical aspects related to the extrapolation from/onto the shock, and their impact on accuracy, and conservation.
△ Less
Submitted 9 February, 2024; v1 submitted 31 August, 2021;
originally announced August 2021.
-
Global Heat Kernels for Parabolic Homogeneous Hörmander Operators
Authors:
Stefano Biagi,
Andrea Bonfiglioli
Abstract:
The aim of this paper is to prove the existence and several selected properties of a global fundamental Heat kernel $Γ$ for the parabolic operators $\mathcal{H}=\sum_{j=1}^m X_j^2-\partial_t$, where $X_1,\ldots,X_m$ are smooth vector fields on $\mathbb{R}^n$ satisfying Hörmander'snrank condition, and enjoying a suitable homogeneity assumption with respect to a family of non-isotropic dilations. Th…
▽ More
The aim of this paper is to prove the existence and several selected properties of a global fundamental Heat kernel $Γ$ for the parabolic operators $\mathcal{H}=\sum_{j=1}^m X_j^2-\partial_t$, where $X_1,\ldots,X_m$ are smooth vector fields on $\mathbb{R}^n$ satisfying Hörmander'snrank condition, and enjoying a suitable homogeneity assumption with respect to a family of non-isotropic dilations. The proof of the existence of $Γ$ is based on a (algebraic) global lifting technique, together with a representation of $Γ$ in terms of the integral (performed over the lifting variables) of the Heat kernel for the Heat operator associated with a suitable sub-Laplacian on a homogeneous Carnot group. Among the features of $Γ$ we prove: homogeneity and symmetry properties; summability properties; its vanishing at infinity; the uniqueness of the bounded solutions of the related Cauchy problem; reproduction and density properties; an integral representation for the higher-order derivatives.
△ Less
Submitted 22 October, 2019;
originally announced October 2019.
-
Global estimates for the fundamental solution of homogeneous Hörmander operators
Authors:
Stefano Biagi,
Andrea Bonfiglioli,
Marco Bramanti
Abstract:
Let $\mathcal{L}=\sum_{j=1}^{m}X_{j}^{2}$ be a Hörmander sum of squares of vector fields in $\mathbb{R}^{n}$, where any $X_{j}$ is homogeneous of degree $1$ with respect to a family of non-isotropic dilations in $\mathbb{R}^{n}$. Then $\mathcal{L}$ is known to admit a global fundamental solution $Γ(x;y)$, that can be represented as the integral of a fundamental solution of a sublaplacian operator…
▽ More
Let $\mathcal{L}=\sum_{j=1}^{m}X_{j}^{2}$ be a Hörmander sum of squares of vector fields in $\mathbb{R}^{n}$, where any $X_{j}$ is homogeneous of degree $1$ with respect to a family of non-isotropic dilations in $\mathbb{R}^{n}$. Then $\mathcal{L}$ is known to admit a global fundamental solution $Γ(x;y)$, that can be represented as the integral of a fundamental solution of a sublaplacian operator on a lifting space $\mathbb{R}^{n}\times \mathbb{R}^{p}$, equipped with a Carnot group structure. The aim of this paper is to prove global pointwise (upper and lower) estimates of $Γ$, in terms of the Carnot-Carathéodory distance induced by $X=\{X_{1},\ldots ,X_{m}\}$ on $\mathbb{R}^{n}$, as well as global pointwise (upper) estimates for the $X$-derivatives of any order of $Γ$, together with suitable integral representations of these derivatives. The least dimensional case $n=2$ presents several peculiarities which are also investigated. Applications to the potential theory for $\mathcal{L}$ and to singular-integral estimates for the kernel $X_{i}X_{j}Γ$ are also provided. Finally, most of the results about $Γ$ are extended to the case of Hörmander operators with drift $\sum_{j=1}^{m}X_{j}^{2}+X_{0}$, where $X_{0}$ is $2$-homogeneous and $X_{1},...,X_{m}$ are $1$-homogeneous.
△ Less
Submitted 6 March, 2020; v1 submitted 18 June, 2019;
originally announced June 2019.
-
Global estimates in Sobolev spaces for homogeneous Hörmander sums of squares
Authors:
Stefano Biagi,
Andrea Bonfiglioli,
Marco Bramanti
Abstract:
Let $\mathcal{L}=\sum_{j=1}^m X_j^2$ be a Hörmander sum of squares of vector fields in space $\mathbb{R}^n$, where any $X_j$ is homogeneous of degree $1$ with respect to a family of non-isotropic dilations in space. In this paper we prove global estimates and regularity properties for $\mathcal{L}$ in the $X$-Sobolev spaces $W^{k,p}_X(\mathbb{R}^n)$, where $X = \{X_1,\ldots,X_m\}$. In our approach…
▽ More
Let $\mathcal{L}=\sum_{j=1}^m X_j^2$ be a Hörmander sum of squares of vector fields in space $\mathbb{R}^n$, where any $X_j$ is homogeneous of degree $1$ with respect to a family of non-isotropic dilations in space. In this paper we prove global estimates and regularity properties for $\mathcal{L}$ in the $X$-Sobolev spaces $W^{k,p}_X(\mathbb{R}^n)$, where $X = \{X_1,\ldots,X_m\}$. In our approach, we combine local results for general Hörmander sums of squares, the homogeneity property of the $X_j$'s, plus a global lifting technique for homogeneous vector fields.
△ Less
Submitted 18 June, 2019;
originally announced June 2019.
-
On the Baker-Campbell-Hausdorff Theorem: non-convergence and prolongation issues
Authors:
Stefano Biagi,
Andrea Bonfiglioli,
Marco Matone
Abstract:
We investigate some topics related to the celebrated Baker-Campbell-Hausdorff Theorem: a non-convergence result and prolongation issues. Given a Banach algebra $\mathcal{A}$ with identity $I$, and given $X,Y\in \mathcal{A}$, we study the relationship of different issues: the convergence of the BCH series $\sum_n Z_n(X,Y)$, the existence of a logarithm of $e^Xe^Y$, and the convergence of the Mercat…
▽ More
We investigate some topics related to the celebrated Baker-Campbell-Hausdorff Theorem: a non-convergence result and prolongation issues. Given a Banach algebra $\mathcal{A}$ with identity $I$, and given $X,Y\in \mathcal{A}$, we study the relationship of different issues: the convergence of the BCH series $\sum_n Z_n(X,Y)$, the existence of a logarithm of $e^Xe^Y$, and the convergence of the Mercator-type series $\sum_n {(-1)^{n+1}}(e^Xe^Y-I)^n/n$ which provides a selected logarithm of $e^Xe^Y$. We fix general results and, by suitable matrix counterexamples, we show that various pathologies can occur, among which we provide a non-convergence result for the BCH series. This problem is related to some recent results, of interest in physics, on closed formulas for the BCH series: while the sum of the BCH series presents several non-convergence issues, these closed formulas can provide a prolongation for the BCH series when it is not convergent. On the other hand, we show by suitable counterexamples that an analytic prolongation of the BCH series can be singular even if the BCH series itself is convergent.
△ Less
Submitted 12 October, 2018; v1 submitted 25 May, 2018;
originally announced May 2018.
-
The existence of a global fundamental solution for homogeneous Hörmander operators via a global lifting method
Authors:
Stefano Biagi,
Andrea Bonfiglioli
Abstract:
We prove the existence of a global fundamental solution $Γ(x;y)$ (with pole $x$) for any Hörmander operator $\mathcal{L}=\sum_{i=1}^m X_i^2$ on $\mathbb{R}^n$ which is $δ$-homogeneous of degree $2$. By means of a global Lifting method for homogeneous operators proved by Folland in [On the Rothschild-Stein lifting theorem, Comm. PDEs, 1977], there exists a Carnot group $\mathbb{G}$ and a polynomial…
▽ More
We prove the existence of a global fundamental solution $Γ(x;y)$ (with pole $x$) for any Hörmander operator $\mathcal{L}=\sum_{i=1}^m X_i^2$ on $\mathbb{R}^n$ which is $δ$-homogeneous of degree $2$. By means of a global Lifting method for homogeneous operators proved by Folland in [On the Rothschild-Stein lifting theorem, Comm. PDEs, 1977], there exists a Carnot group $\mathbb{G}$ and a polynomial surjective map $π:\mathbb{G}\to \mathbb{R}^n$ such that $\mathcal{L}$ is $π$-related to a sub-Laplacian $\mathcal{L}_{\mathbb{G}}$ on $\mathbb{G}$. We show that it is always possible to perform a (global) change of variable on $\mathbb{G}$ such that the lifting map $π$ becomes the projection of $\mathbb{G}\equiv \mathbb{R}^n\times\mathbb{R}^p$ onto $\mathbb{R}^n$. If $Γ_{\mathbb{G}}(x,{x}';y,{y}')$ ($x,{x}'\in\mathbb{R}^n$; $y,{y}'\in\mathbb{R}^p$) is the fundamental solution of $\mathcal{L}_{\mathbb{G}}$, we show that $Γ_{\mathbb{G}}(x,0;y,{y}')$ is always integrable w.r.t. ${y}'\in \mathbb{R}^p$, and its integral is a fundamental solution for $\mathcal{L}$.
△ Less
Submitted 16 September, 2016; v1 submitted 9 April, 2016;
originally announced April 2016.
-
A Hardy Inequality for subelliptic operators with global fundamental solution, and an application to Unique Continuation
Authors:
Stefano Biagi,
Andrea Bonfiglioli
Abstract:
This is a chapter from PhD Thesis by Stefano Biagi
(advisor: prof. A. Bonfiglioli).
We overview existing results showing that it is possible to generalize the classical Hardy's Inequality to more general linear partial differential operators (PDOs, in the sequel), possibly degenerate-elliptic, of the following quasi-divergence form…
▽ More
This is a chapter from PhD Thesis by Stefano Biagi
(advisor: prof. A. Bonfiglioli).
We overview existing results showing that it is possible to generalize the classical Hardy's Inequality to more general linear partial differential operators (PDOs, in the sequel), possibly degenerate-elliptic, of the following quasi-divergence form $$ \mathcal{L} = \frac{1}{w(x)}\sum_{i = 1}^N\frac{\partial}{\partial x_i}
\left(\sum_{j = 1}^Nw(x)a_{ij}(x)\frac{\partial}{\partial x_j}\right), \quad x \in \mathbb{R}^N, $$ where $w \in C^{\infty}(\mathbb{R}^N,\mathbb{R})$ is a (smooth and) strictly positive function on the whole of $\mathbb{R}^N$ and $A(x) := \begin{pmatrix}a_{ij}(x) \end{pmatrix}$ is a symmetric and positive semi-definite $N\times N$ matrix with real $C^{\infty}$ entries.
From such a inequality, it has been derived a result of unique continuation for the solutions of the equation $$
-\mathcal{L} u + Vu = 0, $$ where $\mathcal{L}$ is a left-invariant homogeneous PDO on a homogeneous Lie group $\mathbb{G}$ and $V$ is real-valued function defined on $\mathbb{G}$ and continuous on $\mathbb{G}\setminus\{0\}$.
△ Less
Submitted 28 January, 2016; v1 submitted 23 December, 2015;
originally announced December 2015.
-
Using the VBARMS method in parallel computing
Authors:
Bruno Carpentieri,
Jia Liao,
Masha Sosonkina,
Aldo Bonfiglioli
Abstract:
The paper describes an improved parallel MPI-based implementation of VBARMS, a variable block variant of the pARMS preconditioner proposed by Li,~Saad and Sosonkina [NLAA, 2003] for solving general nonsymmetric linear systems. The parallel VBARMS solver can detect automatically exact or approximate dense structures in the linear system, and exploits this information to achieve improved reliability…
▽ More
The paper describes an improved parallel MPI-based implementation of VBARMS, a variable block variant of the pARMS preconditioner proposed by Li,~Saad and Sosonkina [NLAA, 2003] for solving general nonsymmetric linear systems. The parallel VBARMS solver can detect automatically exact or approximate dense structures in the linear system, and exploits this information to achieve improved reliability and increased throughput during the factorization. A novel graph compression algorithm is discussed that finds these approximate dense blocks structures and requires only one simple to use parameter. A complete study of the numerical and parallel performance of parallel VBARMS is presented for the analysis of large turbulent Navier-Stokes equations on a suite of three-dimensional test cases.
△ Less
Submitted 10 August, 2015;
originally announced August 2015.
-
Weighted ${L^p}$-Liouville Theorems for Hypoelliptic Partial Differential Operators on Lie Groups
Authors:
Andrea Bonfiglioli,
Alessia E. Kogoj
Abstract:
We prove weighted $L^p$-Liouville theorems for a class of second order hypoelliptic partial differential operators $\mathcal{L}$ on Lie groups $\mathbb{G}$ whose underlying manifold is $n$-dimensional space. We show that a natural weight is the right-invariant measure $\check{H}$ of $\mathbb{G}$. We also prove Liouville-type theorems for $C^2$ subsolutions in $L^p(\mathbb{G},\check{H})$. We provid…
▽ More
We prove weighted $L^p$-Liouville theorems for a class of second order hypoelliptic partial differential operators $\mathcal{L}$ on Lie groups $\mathbb{G}$ whose underlying manifold is $n$-dimensional space. We show that a natural weight is the right-invariant measure $\check{H}$ of $\mathbb{G}$. We also prove Liouville-type theorems for $C^2$ subsolutions in $L^p(\mathbb{G},\check{H})$. We provide examples of operators to which our results apply, jointly with an application to the uniqueness for the Cauchy problem for the evolution operator $\mathcal{L}-\partial_t$.
△ Less
Submitted 5 March, 2015;
originally announced March 2015.
-
A Hadamard-type open map theorem for submersions and applications to completeness results in Control Theory
Authors:
Andrea Bonfiglioli,
Annamaria Montanari,
Daniele Morbidelli
Abstract:
We prove a quantitative openness theorem for $C^1$ submersions under suitable assumptions on the differential. We then apply our result to a class of exponential maps appearing in Carnot-Carathéodory spaces and we improve a classical completeness result by Palais.
We prove a quantitative openness theorem for $C^1$ submersions under suitable assumptions on the differential. We then apply our result to a class of exponential maps appearing in Carnot-Carathéodory spaces and we improve a classical completeness result by Palais.
△ Less
Submitted 27 January, 2015; v1 submitted 16 August, 2014;
originally announced August 2014.
-
The Strong Maximum Principle and the Harnack inequality for a class of hypoelliptic divergence-form operators
Authors:
Erika Battaglia,
Stefano Biagi,
Andrea Bonfiglioli
Abstract:
In this paper we consider a class of hypoelliptic second-order partial differential operators $\mathcal{L}$ in divergence form on $\mathbb{R}^N$, arising from CR geometry and Lie group theory, and we prove the Strong and Weak Maximum Principles and the Harnack Inequality for $\mathcal{L}$. The involved operators are not assumed to belong to the Hörmander hypoellipticity class, nor to satisfy subel…
▽ More
In this paper we consider a class of hypoelliptic second-order partial differential operators $\mathcal{L}$ in divergence form on $\mathbb{R}^N$, arising from CR geometry and Lie group theory, and we prove the Strong and Weak Maximum Principles and the Harnack Inequality for $\mathcal{L}$. The involved operators are not assumed to belong to the Hörmander hypoellipticity class, nor to satisfy subelliptic estimates, nor Muckenhoupt-type estimates on the degeneracy of the second order part; indeed our results hold true in the infinitely-degenerate case and for operators which are not necessarily sums of squares. We use a Control Theory result on hypoellipticity in order to recover a meaningful geometric information on connectivity and maxima propagation, yet in the absence of any Hörmander condition. For operators $\mathcal{L}$ with $C^ω$ coefficients, this control-theoretic result will also imply a Unique Continuation property for the $\mathcal{L}$-harmonic functions. The (Strong) Harnack Inequality is obtained via the Weak Harnack Inequality by means of a Potential Theory argument, and by a crucial use of the Strong Maximum Principle and the solvability of the Dirichlet problem for $\mathcal{L}$ on a basis of the Euclidean topology.
△ Less
Submitted 7 July, 2014;
originally announced July 2014.
