Showing 1–50 of 65 results for author: Fernández, C

Reduced-Order Time Splitting for Navier-Stokes with Open Boundaries

Authors: Mejdi Azaïez, Tomás Chacón Rebollo, Carlos Núñez Fernández, Samuele Rubino

Abstract: In this work, we propose a Proper Orthogonal Decomposition-Reduced Order Model (POD-ROM) applied to time-splitting schemes for solving the Navier-Stokes equations with open boundary conditions. In this method, we combine three strategies to reduce the computing time to solve NSE: time splitting, reduction of the computational domain through non-standard treatment of open boundary conditions and re… ▽ More In this work, we propose a Proper Orthogonal Decomposition-Reduced Order Model (POD-ROM) applied to time-splitting schemes for solving the Navier-Stokes equations with open boundary conditions. In this method, we combine three strategies to reduce the computing time to solve NSE: time splitting, reduction of the computational domain through non-standard treatment of open boundary conditions and reduced order modelling. To make the work self-contained, we first present the formulation of the time-splitting scheme applied to the Navier-Stokes equations with open boundary conditions, employing a first-order Euler time discretization and deriving the non-standard boundary condition for pressure. Then, we construct a Galerkin projection-based ROM using POD with two different treatments of the pressure boundary condition on the outlet. We propose a comparative performance analysis between the standard projection-based POD-ROM (fully intrusive) and a hybrid POD-ROM that combines a projection-based approach (intrusive) with a data-driven technique (non-intrusive) using Radial Basis Functions (RBF). We illustrate this comparison through two different numerical tests: the flow in a bifurcated tube and the benchmark numerical test of the flow past cylinder, numerically investigating the efficiency and accuracy of both ROMs. △ Less

Submitted 12 June, 2025; originally announced June 2025.

Fractional $Q$-curvature on the sphere and optimal partitions

Authors: Héctor A. Chang-Lara, Juan Carlos Fernández, Alberto Saldaña

Abstract: We study an optimal partition problem on the sphere, where the cost functional is associated with the fractional $Q$-curvature in terms of the conformal fractional Laplacian on the sphere. By leveraging symmetries, we prove the existence of a symmetric minimal partition through a variational approach. A key ingredient in our analysis is a new Hölder regularity result for symmetric functions in a f… ▽ More We study an optimal partition problem on the sphere, where the cost functional is associated with the fractional $Q$-curvature in terms of the conformal fractional Laplacian on the sphere. By leveraging symmetries, we prove the existence of a symmetric minimal partition through a variational approach. A key ingredient in our analysis is a new Hölder regularity result for symmetric functions in a fractional Sobolev space on the sphere. As a byproduct, we establish the existence of infinitely many solutions to a nonlocal weakly-coupled competitive system on the sphere that remain invariant under a group of conformal diffeomorphisms and we investigate the asymptotic behavior of least-energy solutions as the coupling parameters approach negative infinity. △ Less

Submitted 23 April, 2025; originally announced April 2025.

Comments: 30 pages

MSC Class: 35B33; 35R01; 35R11; 58J40; 58J70; 58J90; 35S15

Fully-discrete provably Lyapunov consistent discretizations for convection-diffusion-reaction PDE systems

Authors: Rasha Al Jahdali, David C. Del Rey Fernandez, Lisandro Dalcin, Matteo Parsani

Abstract: Convection-diffusion-reaction equations are a class of second-order partial differential equations widely used to model phenomena involving the change of concentration/population of one or more substances/species distributed in space. Understanding and preserving their stability properties in numerical simulation is crucial for accurate predictions, system analysis, and decision-making. This work… ▽ More Convection-diffusion-reaction equations are a class of second-order partial differential equations widely used to model phenomena involving the change of concentration/population of one or more substances/species distributed in space. Understanding and preserving their stability properties in numerical simulation is crucial for accurate predictions, system analysis, and decision-making. This work presents a comprehensive framework for constructing fully discrete Lyapunov-consistent discretizations of any order for convection-diffusion-reaction models. We introduce a systematic methodology for constructing discretizations that mimic the stability analysis of the continuous model using Lyapunov's direct method. The spatial algorithms are based on collocated discontinuous Galerkin methods with the summation-by-parts property and the simultaneous approximation terms approach for imposing interface coupling and boundary conditions. Relaxation Runge-Kutta schemes are used to integrate in time and achieve fully discrete Lyapunov consistency. To verify the properties of the new schemes, we numerically solve a system of convection-diffusion-reaction partial differential equations governing the dynamic evolution of monomer and dimer concentrations during the dimerization process. Numerical results demonstrated the accuracy and consistency of the proposed discretizations. The new framework can enable further advancements in the analysis, control, and understanding of general convection-diffusion-reaction systems. △ Less

Submitted 15 October, 2024; originally announced October 2024.

MSC Class: 93D05; 65L06; 35K57; 65N12; 65N35; 92D30

Harris recurrent Markov chains and nonlinear monotone cointegrated models

Authors: Patrice Bertail, Cécile Durot, Carlos Fernández

Abstract: In this paper, we study a nonlinear cointegration-type model of the form \(Z_t = f_0(X_t) + W_t\) where \(f_0\) is a monotone function and \(X_t\) is a Harris recurrent Markov chain. We use a nonparametric Least Square Estimator to locally estimate \(f_0\), and under mild conditions, we show its strong consistency and obtain its rate of convergence. New results (of the Glivenko-Cantelli… ▽ More In this paper, we study a nonlinear cointegration-type model of the form \(Z_t = f_0(X_t) + W_t\) where \(f_0\) is a monotone function and \(X_t\) is a Harris recurrent Markov chain. We use a nonparametric Least Square Estimator to locally estimate \(f_0\), and under mild conditions, we show its strong consistency and obtain its rate of convergence. New results (of the Glivenko-Cantelli type) for localized null recurrent Markov chains are also proved. △ Less

Submitted 7 July, 2024; originally announced July 2024.

MSC Class: 62G05 (primary); 62M05 (primary); 62G30 (secondary)

Regenerative bootstrap for $β$-null recurrent Markov chains

Authors: Carlos Fernández

Abstract: Two regeneration-based bootstrap methods, namely, the \textit{Regeneration based-bootstrap} \cite{AthreyaFuh1992, Somnat-1993} and the \textit{Regenerative Block bootstrap} \cite{Bertail2006} are shown to be valid for the problem of estimating the integral of a function with respect to the invariant measure in a $β$-null recurrent Markov chain with an accessible atom. An extension of the… ▽ More Two regeneration-based bootstrap methods, namely, the \textit{Regeneration based-bootstrap} \cite{AthreyaFuh1992, Somnat-1993} and the \textit{Regenerative Block bootstrap} \cite{Bertail2006} are shown to be valid for the problem of estimating the integral of a function with respect to the invariant measure in a $β$-null recurrent Markov chain with an accessible atom. An extension of the Central Limit Theorem for randomly indexed sequences is also presented. △ Less

Submitted 7 July, 2024; originally announced July 2024.

MSC Class: 60K35

Tail Index Estimation for Discrete Heavy-Tailed Distributions

Authors: Patrice Bertail, Stephan Clémençon, Carlos Fernández

Abstract: It is the purpose of this paper to investigate the issue of estimating the regularity index $β>0$ of a discrete heavy-tailed r.v. $S$, \textit{i.e.} a r.v. $S$ valued in $\mathbb{N}^*$ such that $\mathbb{P}(S>n)=L(n)\cdot n^{-β}$ for all $n\geq 1$, where $L:\mathbb{R}^*_+\to \mathbb{R}_+$ is a slowly varying function. As a first go, we consider the situation where inference is based on independent… ▽ More It is the purpose of this paper to investigate the issue of estimating the regularity index $β>0$ of a discrete heavy-tailed r.v. $S$, \textit{i.e.} a r.v. $S$ valued in $\mathbb{N}^*$ such that $\mathbb{P}(S>n)=L(n)\cdot n^{-β}$ for all $n\geq 1$, where $L:\mathbb{R}^*_+\to \mathbb{R}_+$ is a slowly varying function. As a first go, we consider the situation where inference is based on independent copies $S_1,\; \ldots,\; S_n$ of the generic variable $S$. Just like the popular Hill estimator in the continuous heavy-tail situation, the estimator $\widehatβ$ we propose can be derived by means of a suitable reformulation of the regularly varying condition, replacing $S$'s survivor function by its empirical counterpart. Under mild assumptions, a non-asymptotic bound for the deviation between $\widehatβ$ and $β$ is established, as well as limit results (consistency and asymptotic normality). Beyond the i.i.d. case, the inference method proposed is extended to the estimation of the regularity index of a regenerative $β$-null recurrent Markov chain. Since the parameter $β$ can be then viewed as the tail index of the (regularly varying) distribution of the return time of the chain $X$ to any (pseudo-) regenerative set, in this case, the estimator is constructed from the successive regeneration times. Because the durations between consecutive regeneration times are asymptotically independent, we can prove that the consistency of the estimator promoted is preserved. In addition to the theoretical analysis carried out, simulation results provide empirical evidence of the relevance of the inference technique proposed. △ Less

Submitted 26 February, 2025; v1 submitted 7 July, 2024; originally announced July 2024.

MSC Class: 60K35

A geometric reduction method for some fully nonlinear first-order PDEs on semi-Riemannian manifolds

Authors: Juan Carlos Fernández, Eddaly Guerra-Velasco, Oscar Palmas, Boris A. Percino-Figueroa

Abstract: Given a semi-Riemannian manifold $(M,\langle \cdot,\cdot\rangle_g),$ we use the transnormal functions defined on $M$ to reduce fully nonlinear first order PDEs of the form \[ F(x,u,\langle \nabla_g u, \nabla_g u \rangle_g) = 0,\qquad \text{on }M \] into ODEs and obtain local existence results of solutions which are constant along the level sets of the transnormal functions. In particular, we apply… ▽ More Given a semi-Riemannian manifold $(M,\langle \cdot,\cdot\rangle_g),$ we use the transnormal functions defined on $M$ to reduce fully nonlinear first order PDEs of the form \[ F(x,u,\langle \nabla_g u, \nabla_g u \rangle_g) = 0,\qquad \text{on }M \] into ODEs and obtain local existence results of solutions which are constant along the level sets of the transnormal functions. In particular, we apply this reduction method to obtain new solutions to eikonal equations with a prescribed geometry. △ Less

Submitted 2 July, 2024; originally announced July 2024.

Comments: 16 pages

MSC Class: 34A05; 35B06; 35F20; 53C21; 58J70

Anomaly Detection based on Markov Data: A Statistical Depth Approach

Authors: Carlos Fernández, Stephan Clémençon

Abstract: The purpose of this article is to extend the notion of statistical depth to the case of sample paths of a Markov chain. Initially introduced to define a center-outward ordering of points in the support of a multivariate distribution, depth functions permit to generalize the notions of quantiles and (signed) ranks for observations in $\mathbb{R}^d$ with $d>1$, as well as statistical procedures base… ▽ More The purpose of this article is to extend the notion of statistical depth to the case of sample paths of a Markov chain. Initially introduced to define a center-outward ordering of points in the support of a multivariate distribution, depth functions permit to generalize the notions of quantiles and (signed) ranks for observations in $\mathbb{R}^d$ with $d>1$, as well as statistical procedures based on such quantities. Here we develop a general theoretical framework for evaluating the depth of a Markov sample path and recovering it statistically from an estimate of its transition probability with (non-) asymptotic guarantees. We also detail some of its applications, focusing particularly on unsupervised anomaly detection. Beyond the theoretical analysis carried out, numerical experiments are displayed, providing empirical evidence of the relevance of the novel concept we introduce here to quantify the degree of abnormality of Markov paths of variable length. △ Less

Submitted 26 February, 2025; v1 submitted 24 June, 2024; originally announced June 2024.

MSC Class: 62M10

Iterates of composition operators on global spaces of ultradifferentiable functions

Authors: Héctor Ariza, Carmen Fernández, Antonio Galbis

Abstract: We analyze the behavior of the iterates of composition operators defined by polynomials acting on global classes of ultradifferentiable functions of Beurling type and being invariant under Fourier transform. We characterize the polynomials $ψ$ for which the sequence of iterates is equicontinuous between two different Gelfand-Shilov spaces. For the particular case in which the weight $ω$ is equival… ▽ More We analyze the behavior of the iterates of composition operators defined by polynomials acting on global classes of ultradifferentiable functions of Beurling type and being invariant under Fourier transform. We characterize the polynomials $ψ$ for which the sequence of iterates is equicontinuous between two different Gelfand-Shilov spaces. For the particular case in which the weight $ω$ is equivalent to a power of the logarithm, the result obtained characterizes the polynomials $ψ$ for which the composition operator $C_ψ$ is power bounded in ${\mathcal S}_ω({\mathbb R}).$ Unlike the composition operators in Schwartz class, the Waelbroek spectrum of an operator $C_ψ$, being $ψ$ a polynomial of degree greater than one lacking fixed points is never compact. We focus on the problem of convergence of Neumann series. We deduce the continuity of the resolvent operator between two different Gelfand-Shilov classes for polynomials $ψ$ lacking fixed points. Concerning polynomials of second degree the most interesting case is the one in which the polynomial only has one fixed point: we provide some restrictions on the indices $d, d'$ that are necessary for the resolvent operator to be continuous between the Gelfand-Shilov classes $Σ_d$ and $Σ_{d'}.$ △ Less

Submitted 27 May, 2024; originally announced May 2024.

Detecting quasicrystals with quadratic time-frequency distributions

Authors: Paolo Boggiatto, Carmen Fernández, Antonio Galbis, Alessandro Oliaro

Abstract: The usefulness of time-frequency analysis methods in the study of quasicrystals was pointed out in a previous paper, where we proved that a tempered distribution $μ$ on ${\mathbb R}^d$ whose Wigner transform is a measure supported on the cartesian product of two uniformly discrete sets in ${\mathbb R}^d$ is a Fourier quasicrystal. In this paper we go further in this direction using the matrix-Wign… ▽ More The usefulness of time-frequency analysis methods in the study of quasicrystals was pointed out in a previous paper, where we proved that a tempered distribution $μ$ on ${\mathbb R}^d$ whose Wigner transform is a measure supported on the cartesian product of two uniformly discrete sets in ${\mathbb R}^d$ is a Fourier quasicrystal. In this paper we go further in this direction using the matrix-Wigner transforms to detect quasicrystal structures. The results presented here cover essentially all the most important quadratic time-frequency distributions, and are obtained considering two different (disjoint) classes of matrix-Wigner transforms, discussed respectively in Theorems 1 and 2. The transforms considered in Theorem 1 include the classical Wigner transform, as well as all the time-frequency representations of matrix-Wigner type belonging to the Cohen class. On the other hand Theorem 2, which does not apply to the classical Wigner, has, as main example, the Ambiguity function. In this second case we only suppose that the support of the matrix-Wigner transform of $μ$ is contained in the cartesian product of two discrete sets, obtaining that both the support and the spectrum of $μ$ are uniformly discrete. △ Less

Submitted 3 May, 2024; originally announced May 2024.

Monochromatic partitions in 2-edge-coloured bipartite graphs

Authors: Camila Fernández, Matías Pavez-Signé, Maya Stein

Abstract: We study two variations of the Gyarfas--Lehel conjecture on the minimum number of monochromatic components needed to cover an edge-coloured complete bipartite graph. Specifically, we show the following. - For p>> (\log n/n)^{1/2}, w.h.p.~every 2-colouring of the random bipartite graph G~ G(n,n,p) admits a cover of all but O(1/p) vertices of G using at most three vertex-disjoint monochromatic co… ▽ More We study two variations of the Gyarfas--Lehel conjecture on the minimum number of monochromatic components needed to cover an edge-coloured complete bipartite graph. Specifically, we show the following. - For p>> (\log n/n)^{1/2}, w.h.p.~every 2-colouring of the random bipartite graph G~ G(n,n,p) admits a cover of all but O(1/p) vertices of G using at most three vertex-disjoint monochromatic components. - For every 2-colouring of a bipartite graph G with parts of size n and minimum degree (13/16+o(1))n, the vertices of G can be covered using at most three vertex-disjoint monochromatic components. △ Less

Submitted 19 March, 2024; originally announced March 2024.

Equivariant solutions to the optimal partition problem for the prescribed Q-curvature equation

Authors: Juan Carlos Fernández, Oscar Palmas, Jonatán Torres Orozco

Abstract: We study the optimal partition problem for the prescribed constant $Q$-curvature equation induced by the higher order conformal operators under the effect of cohomogeneity one actions on Einstein manifolds with positive scalar curvature. This allows us to give a precise description of the solution domains and their boundaries in terms of the orbits of the action. We also prove the existence of lea… ▽ More We study the optimal partition problem for the prescribed constant $Q$-curvature equation induced by the higher order conformal operators under the effect of cohomogeneity one actions on Einstein manifolds with positive scalar curvature. This allows us to give a precise description of the solution domains and their boundaries in terms of the orbits of the action. We also prove the existence of least energy symmetric solutions to a weakly coupled elliptic system of prescribed $Q$-curvature equations under weaker assumptions and conclude a multiplicity result of sign-changing solutions to the prescribed constant $Q$-curvature problem induced by the Paneitz-Branson operator. Moreover, we study the coercivity of $GJMS$-operators on Ricci solitons, compute the $Q$-curvature of these manifolds, and give a multiplicity result for the sign-changing solutions to the Yamabe problem with prescribed number of nodal domains on the Koiso-Cao Ricci soliton. △ Less

Submitted 11 May, 2023; originally announced May 2023.

MSC Class: 53C21; 58J60; 57M60

Oblique projection for scalable rank-adaptive reduced-order modeling of nonlinear stochastic PDEs with time-dependent bases

Authors: M. Donello, G. Palkar, M. H. Naderi, D. C. Del Rey Fernández, H. Babaee

Abstract: Time-dependent basis reduced order models (TDB ROMs) have successfully been used for approximating the solution to nonlinear stochastic partial differential equations (PDEs). For many practical problems of interest, discretizing these PDEs results in massive matrix differential equations (MDEs) that are too expensive to solve using conventional methods. While TDB ROMs have the potential to signifi… ▽ More Time-dependent basis reduced order models (TDB ROMs) have successfully been used for approximating the solution to nonlinear stochastic partial differential equations (PDEs). For many practical problems of interest, discretizing these PDEs results in massive matrix differential equations (MDEs) that are too expensive to solve using conventional methods. While TDB ROMs have the potential to significantly reduce this computational burden, they still suffer from the following challenges: (i) inefficient for general nonlinearities, (ii) intrusive implementation, (iii) ill-conditioned in the presence of small singular values, and (iv) error accumulation due to fixed rank. To this end, we present a scalable method based on oblique projections for solving TDB ROMs that is computationally efficient, minimally intrusive, robust in the presence of small singular values, rank-adaptive, and highly parallelizable. These favorable properties are achieved via low-rank approximation of the time discrete MDE. Using the discrete empirical interpolation method (DEIM), a low-rank decomposition is computed at each iteration of the time stepping scheme, enabling a near-optimal approximation at a fraction of the cost. We coin the new approach TDB-CUR since it is equivalent to a CUR decomposition based on sparse row and column samples of the MDE. We also propose a rank-adaptive procedure to control the error on-the-fly. Numerical results demonstrate the accuracy, efficiency, and robustness of the new method for a diverse set of problems. △ Less

Submitted 16 August, 2023; v1 submitted 7 May, 2023; originally announced May 2023.

Composition operators on Gelfand-Shilov classes

Authors: Héctor Ariza, Carmen Fernández, Antonio Galbis

Abstract: We study composition operators on global classes of ultradifferentiable functions of Beurling type invariant under Fourier transform. In particular, for the classical Gelfand-Shilov classes $Σ_d,\ d > 1,$ we prove that a necessary condition for the composition operator $f\mapsto f\circ ψ$ to be well defined is the boundedness of $ψ'.$ We find the optimal index $d'$ for which… ▽ More We study composition operators on global classes of ultradifferentiable functions of Beurling type invariant under Fourier transform. In particular, for the classical Gelfand-Shilov classes $Σ_d,\ d > 1,$ we prove that a necessary condition for the composition operator $f\mapsto f\circ ψ$ to be well defined is the boundedness of $ψ'.$ We find the optimal index $d'$ for which $C_ψ(Σ_d({\mathbb R}))\subset Σ_{d'}({\mathbb R})$ holds for any non-constant polynomial $ψ.$ △ Less

Submitted 16 January, 2023; originally announced January 2023.

MSC Class: 47B33; 46F05

Yamabe problem in the presence of singular Riemannian Foliations

Authors: Diego Corro, Juan Carlos Fernández, Raquel Perales

Abstract: Using variational methods together with symmetries given by singular Riemannian foliations with positive dimensional leaves, we prove the existence of an infinite number of sign-changing solutions to Yamabe type problems, which are constant along the leaves of the foliation, and one positive solution of minimal energy among any other solution with these symmetries. In particular, we find sign-chan… ▽ More Using variational methods together with symmetries given by singular Riemannian foliations with positive dimensional leaves, we prove the existence of an infinite number of sign-changing solutions to Yamabe type problems, which are constant along the leaves of the foliation, and one positive solution of minimal energy among any other solution with these symmetries. In particular, we find sign-changing solutions to the Yamabe problem on the round sphere with new qualitative behavior when compared to previous results, that is, these solutions are constant along the leaves of a singular Riemannian foliation which is not induced neither by a group action nor by an isoparametric function. To prove the existence of these solutions, we prove a Sobolev embedding theorem for general singular Riemannian foliations, and a Principle of Symmetric Criticality for the associated energy functional to a Yamabe type problem. △ Less

Submitted 26 February, 2022; originally announced February 2022.

Comments: 43 pages, 1 figure

MSC Class: Primary 58J05; 53C12. Secondary 35J61; 35B06; 35J20; 35R01; 53C21; 57R30

Journal ref: Calc. Var. Partial Differential Equations 62 (2023) Paper No. 26, 34 pp

Provably Stable Flux Reconstruction High-Order Methods on Curvilinear Elements

Authors: Alexander Cicchino, David C. Del Rey Fernández, Siva Nadarajah, Jesse Chan, Mark H. Carpenter

Abstract: Provably stable flux reconstruction (FR) schemes are derived for partial differential equations cast in curvilinear coordinates. Specifically, energy stable flux reconstruction (ESFR) schemes are considered as they allow for design flexibility as well as stability proofs for the linear advection problem on affine elements. Additionally, split forms are examined as they enable the development of en… ▽ More Provably stable flux reconstruction (FR) schemes are derived for partial differential equations cast in curvilinear coordinates. Specifically, energy stable flux reconstruction (ESFR) schemes are considered as they allow for design flexibility as well as stability proofs for the linear advection problem on affine elements. Additionally, split forms are examined as they enable the development of energy stability proofs. The first critical step proves, that in curvilinear coordinates, the discontinuous Galerkin (DG) conservative and non-conservative forms are inherently different--even under exact integration and analytically exact metric terms. This analysis demonstrates that the split form is essential to developing provably stable DG schemes on curvilinear coordinates and motivates the construction of metric dependent ESFR correction functions in each element. Furthermore, the provably stable FR schemes differ from schemes in the literature that only apply the ESFR correction functions to surface terms or on the conservative form, and instead incorporate the ESFR correction functions on the full split form of the equations. It is demonstrated that the scheme is divergent when the correction functions are only used for surface reconstruction in curvilinear coordinates. We numerically verify the stability claims for our proposed FR split forms and compare them to ESFR schemes in the literature. Lastly, the newly proposed provably stable FR schemes are shown to obtain optimal orders of convergence. The scheme loses the orders of accuracy at the equivalent correction parameter value c as that of the one-dimensional ESFR scheme. △ Less

Submitted 23 September, 2021; originally announced September 2021.

Wigner transform and quasicrystals

Authors: Paolo Boggiatto, Carmen Fernández, Antonio Galbis, Alessandro Oliaro

Abstract: Quasicrystals are tempered distributions $μ$ which satisfy symmetric conditions on $μ$ and $\widehat μ$. This suggests that techniques from time-frequency analysis could possibly be useful tools in the study of such structures. In this paper we explore this direction considering quasicrystals type conditions on time-frequency representations instead of separately on the distribution and its Fourie… ▽ More Quasicrystals are tempered distributions $μ$ which satisfy symmetric conditions on $μ$ and $\widehat μ$. This suggests that techniques from time-frequency analysis could possibly be useful tools in the study of such structures. In this paper we explore this direction considering quasicrystals type conditions on time-frequency representations instead of separately on the distribution and its Fourier transform. More precisely we prove that a tempered distribution $μ$ on ${\mathbb R}^d$ whose Wigner transform, $W(μ)$, is supported on a product of two uniformly discrete sets in ${\mathbb R}^d$ is a quasicrystal. This result is partially extended to a generalization of the Wigner transform, called matrix-Wigner transform which is defined in terms of the Wigner transform and a linear map $T$ on ${\mathbb R}^{2d}$. △ Less

Submitted 17 June, 2021; originally announced June 2021.

Critical polyharmonic systems and optimal partitions

Authors: Mónica Clapp, Juan Carlos Fernández, Alberto Saldaña

Abstract: We establish the existence of solutions to a weakly-coupled competitive system of polyharmonic equations in R^N which are invariant under a group of conformal diffeomorphisms, and study the behavior of least energy solutions as the coupling parameters tend to $-\infty$. We show that the supports of the limiting profiles of their components are pairwise disjoint smooth domains and solve a nonlinear… ▽ More We establish the existence of solutions to a weakly-coupled competitive system of polyharmonic equations in R^N which are invariant under a group of conformal diffeomorphisms, and study the behavior of least energy solutions as the coupling parameters tend to $-\infty$. We show that the supports of the limiting profiles of their components are pairwise disjoint smooth domains and solve a nonlinear optimal partition problem of R^N. We give a detailed description of the shape of these domains. △ Less

Submitted 8 May, 2021; originally announced May 2021.

MSC Class: 35G50; 35G30; 35B06; 58J70; 35B33

Nonlinearly Stable Flux Reconstruction High-Order Methods in Split Form

Authors: Alexander Cicchino, Siva Nadarajah, David C. Del Rey Fernández

Abstract: The flux reconstruction (FR) method has gained popularity in the research community as it recovers promising high-order methods through modally filtered correction fields, such as the discontinuous Galerkin method, amongst others, on unstructured grids over complex geometries. Moreover, FR schemes, specifically energy stable FR (ESFR) schemes also known as Vincent-Castonguay-Jameson-Huynh schemes,… ▽ More The flux reconstruction (FR) method has gained popularity in the research community as it recovers promising high-order methods through modally filtered correction fields, such as the discontinuous Galerkin method, amongst others, on unstructured grids over complex geometries. Moreover, FR schemes, specifically energy stable FR (ESFR) schemes also known as Vincent-Castonguay-Jameson-Huynh schemes, have proven attractive as they allow for design flexibility as well as stability proofs for the linear advection problem on affine elements. Additionally, split forms have recently seen a resurgence in research activity due to their resultant nonlinear (entropy) stability proofs. This paper derives for the first time nonlinearly stable ESFR schemes in split form that enable nonlinear stability proofs for, uncollocated, modal, ESFR split forms with different volume and surface cubature nodes. The critical enabling technology is applying the splitting to the discrete stiffness operator. This naturally leads to appropriate surface and numerical fluxes, enabling both entropy stability and conservation proofs. When these schemes are recast in strong form, they differ from schemes found in the ESFR literature as the ESFR correction functions are incorporated on the volume integral. Furthermore, numerical experiments are conducted verifying that the new class of proposed ESFR split forms is nonlinearly stable in contrast to the standard split form ESFR approach. Lastly, the new ESFR split form is shown to obtain the correct orders of accuracy. △ Less

Submitted 3 March, 2021; originally announced March 2021.

An ODE reduction method for the semi-Riemannian Yamabe problem on space forms

Authors: Juan Carlos Fernández, Oscar Palmas

Abstract: We consider the semi-Riemannian Yamabe type equations of the form \[ -\square u + λu = μ\vert u\vert^{p-1}u\quad\text{ on }M \] where $M$ is either the semi-Euclidean space or the pseudosphere of dimension $m\geq 3$, $\square$ is the semi-Riemannian Laplacian in $M$, $λ\geq0$, $μ\in\mathbb{R}\smallsetminus\{0\}$ and $p>1$. Using semi-Riemannian isoparametric functions on $M$, we reduce the P… ▽ More We consider the semi-Riemannian Yamabe type equations of the form \[ -\square u + λu = μ\vert u\vert^{p-1}u\quad\text{ on }M \] where $M$ is either the semi-Euclidean space or the pseudosphere of dimension $m\geq 3$, $\square$ is the semi-Riemannian Laplacian in $M$, $λ\geq0$, $μ\in\mathbb{R}\smallsetminus\{0\}$ and $p>1$. Using semi-Riemannian isoparametric functions on $M$, we reduce the PDE into a generalized Emden-Fowler ODE of the form \[ w''+q(r)w'+λw = μ\vert w\vert^{p-1}w\quad\text{ on } I, \] where $I\subset\mathbb{R}$ is $[0,\infty)$ or $[0,π]$, $q(r)$ blows-up at $0$ and $w$ is subject to the natural initial conditions $w'(0)=0$ in the first case and $w'(0)=w'(π)=0$ in the second. We prove the existence of blowing-up and globally defined solutions to this problem, both positive and sign-changing, inducing solutions to the semi-Riemannian Yamabe type problem with the same qualitative properties, with level and critical sets described in terms of semi-Riemannian isoparametric hypersurfaces and focal varieties. In particular, we prove the existence of sign-changing blowing-up solutions to the semi-Riemannian Yamabe problem in the pseudosphere having a prescribed number of nodal domains. △ Less

Submitted 16 August, 2020; originally announced August 2020.

MSC Class: 34B16; 35B06; 53C21; 53C50; 58J45

Mortar-based entropy-stable discontinuous Galerkin methods on non-conforming quadrilateral and hexahedral meshes

Authors: Jesse Chan, Mario J. Bencomo, David C. Del Rey Fernández

Abstract: High-order entropy-stable discontinuous Galerkin (DG) methods for nonlinear conservation laws reproduce a discrete entropy inequality by combining entropy conservative finite volume fluxes with summation-by-parts (SBP) discretization matrices. In the DG context, on tensor product (quadrilateral and hexahedral) elements, SBP matrices are typically constructed by collocating at Lobatto quadrature po… ▽ More High-order entropy-stable discontinuous Galerkin (DG) methods for nonlinear conservation laws reproduce a discrete entropy inequality by combining entropy conservative finite volume fluxes with summation-by-parts (SBP) discretization matrices. In the DG context, on tensor product (quadrilateral and hexahedral) elements, SBP matrices are typically constructed by collocating at Lobatto quadrature points. Recent work has extended the construction of entropy-stable DG schemes to collocation at more accurate Gauss quadrature points. In this work, we extend entropy-stable Gauss collocation schemes to non-conforming meshes. Entropy-stable DG schemes require computing entropy conservative numerical fluxes between volume and surface quadrature nodes. On conforming tensor product meshes where volume and surface nodes are aligned, flux evaluations are required only between "lines" of nodes. However, on non-conforming meshes, volume and surface nodes are no longer aligned, resulting in a larger number of flux evaluations. We reduce this expense by introducing an entropy-stable mortar-based treatment of non-conforming interfaces via a face-local correction term, and provide necessary conditions for high-order accuracy. Numerical experiments in both two and three dimensions confirm the stability and accuracy of this approach. △ Less

Submitted 10 August, 2020; v1 submitted 6 May, 2020; originally announced May 2020.

Comments: Submitted to Journal of Scientific Computing

On the robustness and performance of entropy stable discontinuous collocation methods for the compressible Navier-Stokes equations

Authors: Diego Rojas, Radouan Boukharfane, Lisandro Dalcin, David C. Del Rey Fernandez, Hendrik Ranocha, David E. Keyes, Matteo Parsani

Abstract: In computational fluid dynamics, the demand for increasingly multidisciplinary reliable simulations, for both analysis and design optimization purposes, requires transformational advances in individual components of future solvers. At the algorithmic level, hardware compatibility and efficiency are of paramount importance in determining viability at exascale and beyond. However, equally important… ▽ More In computational fluid dynamics, the demand for increasingly multidisciplinary reliable simulations, for both analysis and design optimization purposes, requires transformational advances in individual components of future solvers. At the algorithmic level, hardware compatibility and efficiency are of paramount importance in determining viability at exascale and beyond. However, equally important (if not more so) is algorithmic robustness with minimal user intervention, which becomes progressively more challenging to achieve as problem size and physics complexity increase. We numerically show that low and high order entropy stable discontinuous spatial discretizations based on summation-by-part operators and simultaneous-approximation-terms technique provides an essential step toward a truly enabling technology in terms of reliability and robustness for both under-resolved turbulent flow simulations and flows with discontinuities. △ Less

Submitted 11 December, 2019; v1 submitted 21 November, 2019; originally announced November 2019.

Comments: 39 pages. arXiv admin note: substantial text overlap with arXiv:1911.03682 and text overlap with arXiv:1905.03007 by other authors

MSC Class: G.1; G.4; G.1.8 ACM Class: G.1; G.4; G.1.8

Journal ref: Journal of Computational Physics, 2020

Optimized geometrical metrics satisfying free-stream preservation

Authors: Irving Reyna Nolasco, Lisandro Dalcin, David C. Del Rey Fernandez, Stefano Zampini, Matteo Parsani

Abstract: Computational fluid dynamics and aerodynamics, which complement more expensive empirical approaches, are critical for developing aerospace vehicles. During the past three decades, computational aerodynamics capability has improved remarkably, following advances in computer hardware and algorithm development. However, for complex applications, the demands on computational fluid dynamics continue to… ▽ More Computational fluid dynamics and aerodynamics, which complement more expensive empirical approaches, are critical for developing aerospace vehicles. During the past three decades, computational aerodynamics capability has improved remarkably, following advances in computer hardware and algorithm development. However, for complex applications, the demands on computational fluid dynamics continue to increase in a quest to gain a few percent improvements in accuracy. Herein, we numerically demonstrate that optimizing the metric terms which arise from smoothly mapping each cell to a reference element, lead to a solution whose accuracy is practically never worse and often noticeably better than the one obtained using the widely adopted Thomas and Lombard metric terms computation (Geometric conservation law and its application to flow computations on moving grids, AIAA Journal, 1979). Low and high-order accurate entropy stable schemes on distorted, high-order tensor product elements are used to simulate three-dimensional inviscid and viscous compressible test cases for which an analytical solution is known. △ Less

Submitted 27 November, 2019; v1 submitted 9 November, 2019; originally announced November 2019.

Comments: 22 pages and one appendix section

MSC Class: G.1; G.4; G.1.8 ACM Class: G.1; G.4; G.1.8

Entropy Stable h/p-Nonconforming Discretization with the Summation-by-Parts Property for the Compressible Euler and Navier-Stokes Equations

Authors: David C. Del Rey Fernandez, Mark H. Carpenter, Lisandro Dalcin, Stefano Zampini, Matteo Parsani

Abstract: In this paper, the entropy conservative/stable algorithms presented by Del Rey Fernandez and coauthors [18,16,17] for the compressible Euler and Navier-Stokes equations on nonconforming p-refined/coarsened curvilinear grids is extended to h/p refinement/coarsening. The main difficulty in developing nonconforming algorithms is the construction of appropriate coupling procedures across nonconforming… ▽ More In this paper, the entropy conservative/stable algorithms presented by Del Rey Fernandez and coauthors [18,16,17] for the compressible Euler and Navier-Stokes equations on nonconforming p-refined/coarsened curvilinear grids is extended to h/p refinement/coarsening. The main difficulty in developing nonconforming algorithms is the construction of appropriate coupling procedures across nonconforming interfaces. Here, a computationally simple and efficient approach based upon using decoupled interpolation operators is utilized. The resulting scheme is entropy conservative/stable and element-wise conservative. Numerical simulations of the isentropic vortex and viscous shock propagation confirm the entropy conservation/stability and accuracy properties of the method (achieving ~ p + 1 convergence) which are comparable to those of the original conforming scheme [4,35]. Simulations of the Taylor-Green vortex at Re = 1,600 and turbulent flow past a sphere at Re = 2,000 show the robustness and stability properties of the overall spatial discretization for unstructured grids. Finally, to demonstrate the entropy conservation property of a fully-discrete explicit entropy stable algorithm with h/p refinement/coarsening, we present the time evolution of the entropy function obtained by simulating the propagation of the isentropic vortex using a relaxation Runge-Kutta scheme. △ Less

Submitted 4 October, 2019; originally announced October 2019.

Comments: 37 pages. arXiv admin note: text overlap with arXiv:1909.12536, arXiv:1909.12546

MSC Class: 65M12; 65Z05; 76Nxx ACM Class: G.1; G.4; G.1.8

Entropy Stable p-Nonconforming Discretizations with the Summation-by-Parts Property for the Compressible Navier-Stokes Equations

Authors: David C. Del Rey Fernandez, Mark H. Carpenter, Lisandro Dalcin, Lucas Fredrich, Andrew R. Winters, Gregor J. Gassner, Matteo Parsani

Abstract: The entropy conservative, curvilinear, nonconforming, p-refinement algorithm for hyperbolic conservation laws of Del Rey Fernandez et al. (2019), is extended from the compressible Euler equations to the compressible Navier-Stokes equations. A simple and flexible coupling procedure with planar interpolation operators between adjoining nonconforming elements is used. Curvilinear volume metric terms… ▽ More The entropy conservative, curvilinear, nonconforming, p-refinement algorithm for hyperbolic conservation laws of Del Rey Fernandez et al. (2019), is extended from the compressible Euler equations to the compressible Navier-Stokes equations. A simple and flexible coupling procedure with planar interpolation operators between adjoining nonconforming elements is used. Curvilinear volume metric terms are numerically approximated via a minimization procedure and satisfy the discrete geometric conservation law conditions. Distinct curvilinear surface metrics are used on the adjoining interfaces to construct the interface coupling terms, thereby localizing the discrete geometric conservation law constraints to each individual element. The resulting scheme is entropy conservative/stable, element-wise conservative, and freestream preserving. Viscous interface dissipation operators are developed that retain the entropy stability of the base scheme. The accuracy and stability properties of the resulting numerical scheme are shown to be comparable to those of the original conforming scheme (achieving ~p+1 convergence) in the context of the viscous shock problem, the Taylor-Green vortex problem at a Reynolds number of Re=1,600, and a subsonic turbulent flow past a sphere at Re = 2,000. △ Less

Submitted 27 September, 2019; originally announced September 2019.

Comments: 16 pages

MSC Class: 65M12; 65Z05; 76Nxx ACM Class: G.1; G.4; G.1.8

Entropy Stable p-Nonconforming Discretizations with the Summation-by-Parts Property for the Compressible Euler equations

Authors: D. C. Del Rey Fernandez, M. H. Carpenter, L. Dalcin, L. Fredrich, D. Rojas, A. R. Winters, G. J. Gassner, S. Zampini, M. Parsani

Abstract: The entropy conservative/stable algorithm of Friedrich~\etal (2018) for hyperbolic conservation laws on nonconforming p-refined/coarsened Cartesian grids, is extended to curvilinear grids for the compressible Euler equations. The primary focus is on constructing appropriate coupling procedures across the curvilinear nonconforming interfaces. A simple and flexible approach is proposed that uses int… ▽ More The entropy conservative/stable algorithm of Friedrich~\etal (2018) for hyperbolic conservation laws on nonconforming p-refined/coarsened Cartesian grids, is extended to curvilinear grids for the compressible Euler equations. The primary focus is on constructing appropriate coupling procedures across the curvilinear nonconforming interfaces. A simple and flexible approach is proposed that uses interpolation operators from one element to the other. On the element faces, the analytic metrics are used to construct coupling terms, while metric terms in the volume are approximated to satisfy a discretization of the geometric conservation laws. The resulting scheme is entropy conservative/stable, elementwise conservative, and freestream preserving. The accuracy and stability properties of the resulting numerical algorithm are shown to be comparable to those of the original conforming scheme (~p+1 convergence) in the context of the isentropic Euler vortex and the inviscid Taylor-Green vortex problems on manufactured high order grids. △ Less

Submitted 27 September, 2019; originally announced September 2019.

Comments: 30 pages

MSC Class: 65M12; 65Z05; 76Nxx ACM Class: G.1; G.4; G.1.8

Supercritical elliptic problems on the round sphere and nodal solutions to the Yamabe problem in projective spaces

Authors: Juan Carlos Fernández, Jimmy Petean, Oscar Palmas

Abstract: Given an isoparametric function $f$ on the $n$-dimensional round sphere, we consider functions of the form $u=w\circ f$ to reduce the semilinear elliptic problem \[ -Δ_{g_0}u+λu=λ | u\ | ^{p-1}u\qquad\text{ on }\mathbb{S}^n \] with $λ>0$ and $1<p$, into a singular ODE in $[0,π]$ of the form $w'' + \frac{h(r)}{\sin r} w' + \fracλ{\ell^2}\ (| w|^{p-1}w - w\ )=0$, where $h$ is an strictly decreasing… ▽ More Given an isoparametric function $f$ on the $n$-dimensional round sphere, we consider functions of the form $u=w\circ f$ to reduce the semilinear elliptic problem \[ -Δ_{g_0}u+λu=λ | u\ | ^{p-1}u\qquad\text{ on }\mathbb{S}^n \] with $λ>0$ and $1<p$, into a singular ODE in $[0,π]$ of the form $w'' + \frac{h(r)}{\sin r} w' + \fracλ{\ell^2}\ (| w|^{p-1}w - w\ )=0$, where $h$ is an strictly decreasing function having exactly one zero in this interval and $\ell$ is a geometric constant. Using a double shooting method, together with a result for oscillating solutions to this kind of ODE, we obtain a sequence of sign-changing solutions to the first problem which are constant on the isoparametric hypersurfaces associated to $f$ and blowing-up at one or two of the focal submanifolds generating the isoparametric family. Our methods apply also when $p>\frac{n+2}{n-2}$, i.e., in the supercritical case. Moreover, using a reduction via harmonic morphisms, we prove existence and multiplicity of sign-changing solutions to the Yamabe problem on the complex and quaternionic space, having a finite disjoint union of isoparametric hipersurfaces as regular level sets. △ Less

Submitted 21 August, 2019; originally announced August 2019.

MSC Class: 34B16; 35B06; 35B33; 35B44 53C21; 58E20; 58J05

Characterizations of a class of Pilipovi{ć} spaces by powers of harmonic oscillator

Authors: Ahmed Abdeljawad, Carmen Fernandez, Antonio Galbis, Joachim Toft, Rüya Üster

Abstract: We show that a smooth function $f$ on $\mathbf R^d$ belongs to the Pilipovi{ć} space $\mathcal H_{\flat _σ}(\mathbf R^d)$ or the Pilipovi{ć} space $\mathcal H_{0,\flat _σ}(\mathbf R^d)$, if and only if the $L^p$ norm of $H_d^Nf$ for $N\ge 0$, satisfy certain types of estimates. Here $H_d=|x|^2-Δ_x$ is the harmonic oscillator. We show that a smooth function $f$ on $\mathbf R^d$ belongs to the Pilipovi{ć} space $\mathcal H_{\flat _σ}(\mathbf R^d)$ or the Pilipovi{ć} space $\mathcal H_{0,\flat _σ}(\mathbf R^d)$, if and only if the $L^p$ norm of $H_d^Nf$ for $N\ge 0$, satisfy certain types of estimates. Here $H_d=|x|^2-Δ_x$ is the harmonic oscillator. △ Less

Submitted 2 April, 2020; v1 submitted 26 May, 2019; originally announced May 2019.

Comments: 13 pages. This is the third version. Some mathematical details have been clarified in this version compared to earlier versions

La Emancipación Conceptual de Número Real de la Idea de Magnitud: Una Mirada Germánica

Authors: Luis Giraldo González Ricardo, Carlos Sánchez Fernández

Abstract: In the present article we study the decisive contributions of three members of the German mathematical school to the separation of the concept of number from the physical concept of magnitude, during the second half of the XIXth century. Besides we analyze the importance of the arithmetization of analysis to later axiomatization of real numbers, process that those three mathematicians promoted in… ▽ More In the present article we study the decisive contributions of three members of the German mathematical school to the separation of the concept of number from the physical concept of magnitude, during the second half of the XIXth century. Besides we analyze the importance of the arithmetization of analysis to later axiomatization of real numbers, process that those three mathematicians promoted in the principal works we review. △ Less

Submitted 4 May, 2019; originally announced May 2019.

Comments: in Spanish

Journal ref: Ciencias Matemáticas 2013 Vol. 27 No. 1 pp. 53-64

Richard Dedekind y la arquitectura del continuo aritmético

Authors: Luis Giraldo González Ricardo, Carlos Sánchez Fernández

Abstract: It is usually considered that the structuralist tendency in mathematics began in the twentieth century, at some point after the works on set theory and obtained its spreading through the works made by the Bourbaki group. In the present paper we argument the presence of this stylistic inclination in Richard Dedekind (1831-1916) when he made this dissertation for the habilitation as privatdozent at… ▽ More It is usually considered that the structuralist tendency in mathematics began in the twentieth century, at some point after the works on set theory and obtained its spreading through the works made by the Bourbaki group. In the present paper we argument the presence of this stylistic inclination in Richard Dedekind (1831-1916) when he made this dissertation for the habilitation as privatdozent at the University of Goettingen in 1854. Our main objective is to show how evolved the structuralist style in Dedekind's works, and to argument why we consider him significant to the architecture of arithmetical continuum. △ Less

Submitted 4 May, 2019; originally announced May 2019.

Comments: in Spanish

Journal ref: Revista Brasileira de História da Matemática, Vol. 13 no 27(2) - 2013

Conservative and entropy stable solid wall boundary conditions for the compressible Navier-Stokes equations: Adiabatic wall and heat entropy transfer

Authors: Lisandro Dalcin, Diego B. Rojas, Stefano Zampini, David C. Del Rey Fernandez, Mark H. Carpenter, Matteo Parsani

Abstract: We present a novel technique for the imposition of non-linear entropy conservative and entropy stable solid wall boundary conditions for the compressible Navier-Stokes equations in the presence of an adiabatic wall, or a wall with a prescribed heat entropy flow. The procedure relies on the formalism and mimetic properties of diagonal-norm, summation-by-parts, and simultaneous-approximation-term op… ▽ More We present a novel technique for the imposition of non-linear entropy conservative and entropy stable solid wall boundary conditions for the compressible Navier-Stokes equations in the presence of an adiabatic wall, or a wall with a prescribed heat entropy flow. The procedure relies on the formalism and mimetic properties of diagonal-norm, summation-by-parts, and simultaneous-approximation-term operators, and is a generalization of previous works on discontinuous interface coupling [1] and solid wall boundary conditions [2]. Using the method of lines, a semi-discrete entropy estimate for the entire domain is obtained when the proposed numerical imposition of boundary conditions are coupled with an entropy-conservative or entropy-stable discrete interior operator. The resulting estimate mimics the global entropy estimate obtained at the continuous level. The boundary data at the wall are weakly imposed using a penalty flux approach and a simultaneous-approximation-term technique for both the conservative variables and the gradient of the entropy variables. Discontinuous spectral collocation operators (mass lumped nodal discontinuous Galerkin operators), on high-order unstructured grids, are used for the purpose of demonstrating the robustness and efficacy of the new procedure for weakly enforcing boundary conditions. Numerical simulations confirm the non-linear stability of the proposed technique, with applications to three-dimensional subsonic and supersonic flows. The procedure described is compatible with any diagonal-norm summation-by-parts spatial operator, including finite element, finite difference, finite volume, discontinuous Galerkin, and flux reconstruction schemes. △ Less

Submitted 19 August, 2019; v1 submitted 29 December, 2018; originally announced December 2018.

Comments: 34 pages

MSC Class: 65M12 (Primary) 65Z05 (Secondary) 76Nxx (Tertiary)

Journal ref: Journal of Computational Physics, 397, 2019

Entropy stable spectral collocation schemes for the 3-D Navier-Stokes equations on dynamic unstructured grids

Authors: Nail K. Yamaleev, David C. Del Rey Fernandez, Jialin Lou, Mark H. Carpenter

Abstract: New entropy stable spectral collocations schemes of arbitrary order of accuracy are developed for the unsteady 3-D Euler and Navier-Stokes equations on dynamic unstructured grids. To take into account the grid motion and deformation, we use an arbitrary Lagrangian-Eulerian (ALE) formulation. As a result, moving and deforming hexahedral grid elements are individually mapped onto a cube in the fixed… ▽ More New entropy stable spectral collocations schemes of arbitrary order of accuracy are developed for the unsteady 3-D Euler and Navier-Stokes equations on dynamic unstructured grids. To take into account the grid motion and deformation, we use an arbitrary Lagrangian-Eulerian (ALE) formulation. As a result, moving and deforming hexahedral grid elements are individually mapped onto a cube in the fixed reference system of coordinates. The proposed scheme is constructed by using the skew-symmetric form of the Navier-Stokes equations, which are discretized by using summation-by-parts spectral collocation operators that preserve the conservation properties of the original governing equations. Furthermore, the metric coefficients are approximated such that the geometric conservation laws (GCL) are satisfied exactly on both static and dynamic grids. To make the scheme entropy stable, a new entropy conservative flux is derived for the 3-D Euler and Navier-Stokes equations on dynamic unstructured grids. The new flux preserves the design order of accuracy of the original spectral collocation scheme and guarantees the entropy conservation on moving and deforming grids. We present numerical results demonstrating design order of accuracy and freestream preservation properties of the new schemes for both the Euler and Navier-Stokes equations on moving and deforming unstructured grids. △ Less

Submitted 25 December, 2018; originally announced December 2018.

Comments: 32 pages, 4 figures

Spectrum of composition operators on ${\mathcal S}({\mathbb R})$ with polynomial symbols

Authors: Carmen Fernández, Antonio Galbis, Enrique Jordá

Abstract: We study the spectrum of operators in the Schwartz space of rapidly decreasing functions which associate each function with its composition with a polynomial. In the case where this operator is mean ergodic we prove that its spectrum reduces to 0, while the spectrum of any non mean ergodic composition operator with a polynomial always contains the closed unit disc except perhaps the origen. We obt… ▽ More We study the spectrum of operators in the Schwartz space of rapidly decreasing functions which associate each function with its composition with a polynomial. In the case where this operator is mean ergodic we prove that its spectrum reduces to 0, while the spectrum of any non mean ergodic composition operator with a polynomial always contains the closed unit disc except perhaps the origen. We obtain a complete description of the spectrum of the composition operator with a quadratic polynomial or a cubic polynomial with positive leading coefficient. △ Less

Submitted 31 October, 2018; originally announced October 2018.

MSC Class: 46E10 (Primary) 47B33; 47A10; 47A35 (Secondary)

Efficient entropy stable Gauss collocation methods

Authors: Jesse Chan, David C. Del Rey Fernandez, Mark H. Carpenter

Abstract: The construction of high order entropy stable collocation schemes on quadrilateral and hexahedral elements has relied on the use of Gauss-Legendre-Lobatto collocation points and their equivalence with summation-by-parts (SBP) finite difference operators. In this work, we show how to efficiently generalize the construction of semi-discretely entropy stable schemes on tensor product elements to Gaus… ▽ More The construction of high order entropy stable collocation schemes on quadrilateral and hexahedral elements has relied on the use of Gauss-Legendre-Lobatto collocation points and their equivalence with summation-by-parts (SBP) finite difference operators. In this work, we show how to efficiently generalize the construction of semi-discretely entropy stable schemes on tensor product elements to Gauss points and generalized SBP operators. Numerical experiments suggest that the use of Gauss points significantly improves accuracy on curved meshes. △ Less

Submitted 3 August, 2019; v1 submitted 4 September, 2018; originally announced September 2018.

Comments: Accepted to SISC

On commutative left-nilalgebras of index 4

Authors: Juan C Gutierrez Fernandez

Abstract: We first present a solution to a conjecture of I. Correa, A. Labra and I.R. Hentzel in the positive. We prove that if $A$ is a commutative nonassociative algebra over a field of characteristic $\ne 2,3$, satisfying the identity $x(x(xx))=0$, then $L_{a^{t_1}}L_{a^{t_2}}\cdots L_{a^{t_s}} \equiv 0$ if $ t_1+t_2+\cdots + t_s \geq 10$, where $a\in A$. We first present a solution to a conjecture of I. Correa, A. Labra and I.R. Hentzel in the positive. We prove that if $A$ is a commutative nonassociative algebra over a field of characteristic $\ne 2,3$, satisfying the identity $x(x(xx))=0$, then $L_{a^{t_1}}L_{a^{t_2}}\cdots L_{a^{t_s}} \equiv 0$ if $ t_1+t_2+\cdots + t_s \geq 10$, where $a\in A$. △ Less

Submitted 31 August, 2018; originally announced September 2018.

MSC Class: 17A05; 17A30

Journal ref: Proyecciones Journal of Mathematics, Vol. 27, N. 1, pp. 103-111, 2008

Entropy Stable Space-Time Discontinuous Galerkin Schemes with Summation-by-Parts Property for Hyperbolic Conservation Laws

Authors: Lucas Friedrich, Gero Schnücke, Andrew R. Winters, David C. Del Rey Fernández, Gregor J. Gassner, Mark H. Carpenter

Abstract: This work examines the development of an entropy conservative (for smooth solutions) or entropy stable (for discontinuous solutions) space-time discontinuous Galerkin (DG) method for systems of non-linear hyperbolic conservation laws. The resulting numerical scheme is fully discrete and provides a bound on the mathematical entropy at any time according to its initial condition and boundary conditi… ▽ More This work examines the development of an entropy conservative (for smooth solutions) or entropy stable (for discontinuous solutions) space-time discontinuous Galerkin (DG) method for systems of non-linear hyperbolic conservation laws. The resulting numerical scheme is fully discrete and provides a bound on the mathematical entropy at any time according to its initial condition and boundary conditions. The crux of the method is that discrete derivative approximations in space and time are summation-by-parts (SBP) operators. This allows the discrete method to mimic results from the continuous entropy analysis and ensures that the complete numerical scheme obeys the second law of thermodynamics. Importantly, the novel method described herein does not assume any exactness of quadrature in the variational forms that naturally arise in the context of DG methods. Typically, the development of entropy stable schemes is done on the semi-discrete level ignoring the temporal dependence. In this work we demonstrate that creating an entropy stable DG method in time is similar to the spatial discrete entropy analysis, but there are important (and subtle) differences. Therefore, we highlight the temporal entropy analysis throughout this work. For the compressible Euler equations, the preservation of kinetic energy is of interest besides entropy stability. The construction of kinetic energy preserving (KEP) schemes is, again, typically done on the semi-discrete level similar to the construction of entropy stable schemes. We present a generalization of the KEP condition from Jameson to the space-time framework and provide the temporal components for both entropy stability and kinetic energy preservation. The properties of the space-time DG method derived herein is validated through numerical tests for the compressible Euler equations. △ Less

Submitted 24 August, 2018; originally announced August 2018.

Low energy nodal solutions to the Yamabe equation

Authors: Juan Carlos Fernández, Jimmy Petean

Abstract: Given an isoparametric function $f$ on the $n$-dimensional sphere, we consider the space of functions $w\circ f$ to reduce the Yamabe equation on the round sphere into a singular ODE on $w$ in the interval $[0,π]$, of the form $w" + (h(r)/\sin r)w'+λ(\vert w\vert^{4/n-2}w - w)=0$, where $h$ is a monotone function with exactly one zero on $[0,π]$ and $λ>0$ is a constant. The natural boundary condit… ▽ More Given an isoparametric function $f$ on the $n$-dimensional sphere, we consider the space of functions $w\circ f$ to reduce the Yamabe equation on the round sphere into a singular ODE on $w$ in the interval $[0,π]$, of the form $w" + (h(r)/\sin r)w'+λ(\vert w\vert^{4/n-2}w - w)=0$, where $h$ is a monotone function with exactly one zero on $[0,π]$ and $λ>0$ is a constant. The natural boundary conditions in order to obtain smooth solutions are $w'(0)=0$ and $w'(π)=0$. We show that for any positive integer $k$ there exists a solution with exactly $k$-zeroes yielding solutions to the Yamabe equation with exactly $k$ connected isoparametric hypersurfaces as nodal set. The idea of the proof is to consider the initial value problems on both singularities $0$ and $π$, and then to solve the corresponding double shooting problem, matching the values of $w$ and $w'$ at the unique zero of $h$. In particular we obtain solutions with exactly one zero, providing solutions of the Yamabe equation with low energy, which can be computed easily by numerical methods. △ Less

Submitted 28 November, 2019; v1 submitted 16 July, 2018; originally announced July 2018.

SBP-SAT finite difference discretization of acoustic wave equations on staggered block-wise uniform grids

Authors: Longfei Gao, David C. Del Rey Fernandez, Mark Carpenter, David Keyes

Abstract: We consider the numerical simulation of the acoustic wave equations arising from seismic applications, for which staggered grid finite difference methods are popular choices due to their simplicity and efficiency. We relax the uniform grid restriction on finite difference methods and allow the grids to be block-wise uniform with nonconforming interfaces. In doing so, variations in the wave speeds… ▽ More We consider the numerical simulation of the acoustic wave equations arising from seismic applications, for which staggered grid finite difference methods are popular choices due to their simplicity and efficiency. We relax the uniform grid restriction on finite difference methods and allow the grids to be block-wise uniform with nonconforming interfaces. In doing so, variations in the wave speeds of the subterranean media can be accounted for more efficiently. Staggered grid finite difference operators satisfying the summation-by-parts (SBP) property are devised to approximate the spatial derivatives appearing in the acoustic wave equation. These operators are applied within each block independently. The coupling between blocks is achieved through simultaneous approximation terms (SATs), which impose the interface condition weakly, i.e., by penalty. Ratio of the grid spacing of neighboring blocks is allowed to be rational number, for which specially designed interpolation formulas are presented. These interpolation formulas constitute key pieces of the simultaneous approximation terms. The overall discretization is shown to be energy-conserving and examined on test cases of both theoretical and practical interests, delivering accurate and stable simulation results. △ Less

Submitted 16 February, 2018; originally announced February 2018.

Antisymetric matrices and Lotka-Volterra algebras

Authors: Juan C. Gutierrez Fernandez, Claudia I. Garcia

Abstract: The purpose of this paper is to study the structure of Lotka-Volterra algebras, the set of their idempotent elements and their group of automorphisms. These algebras are defined through antisymmetric matrices and they emerge in connection with biological problems and Lotka-Volterra systems for the interactions of neighboring individuals. The purpose of this paper is to study the structure of Lotka-Volterra algebras, the set of their idempotent elements and their group of automorphisms. These algebras are defined through antisymmetric matrices and they emerge in connection with biological problems and Lotka-Volterra systems for the interactions of neighboring individuals. △ Less

Submitted 26 January, 2018; originally announced January 2018.

An Entropy Stable h/p Non-Conforming Discontinuous Galerkin Method with the Summation-by-Parts Property

Authors: Lucas Friedrich, Andrew R. Winters, David C. Del Rey Fernández, Gregor J. Gassner, Matteo Parsani, Mark H. Carpenter

Abstract: This work presents an entropy stable discontinuous Galerkin (DG) spectral element approximation for systems of non-linear conservation laws with general geometric (h) and polynomial order (p) non-conforming rectangular meshes. The crux of the proofs presented is that the nodal DG method is constructed with the collocated Legendre-Gauss-Lobatto nodes. This choice ensures that the derivative/mass ma… ▽ More This work presents an entropy stable discontinuous Galerkin (DG) spectral element approximation for systems of non-linear conservation laws with general geometric (h) and polynomial order (p) non-conforming rectangular meshes. The crux of the proofs presented is that the nodal DG method is constructed with the collocated Legendre-Gauss-Lobatto nodes. This choice ensures that the derivative/mass matrix pair is a summation-by-parts (SBP) operator such that entropy stability proofs from the continuous analysis are discretely mimicked. Special attention is given to the coupling between nonconforming elements as we demonstrate that the standard mortar approach for DG methods does not guarantee entropy stability for non-linear problems, which can lead to instabilities. As such, we describe a precise procedure and modify the mortar method to guarantee entropy stability for general non-linear hyperbolic systems on h/p non-conforming meshes. We verify the high-order accuracy and the entropy conservation/stability of fully non-conforming approximation with numerical examples. △ Less

Submitted 29 December, 2017; originally announced December 2017.

Julia Robinson numbers and arithmetical dynamic of quadratic polynomials

Authors: Marianela Castillo Fernández, Xavier Vidaux, Carlos R. Videla

Abstract: For rings $\mathcal{O}_K$ of totally real algebraic integers, J. Robinson defined a set which is always $\{+\infty\}$ or of the form $[λ,+\infty)$ or $(λ,+\infty)$ for some real number $λ\ge4$. All known examples give either $\{+\infty\}$ or $[4,+\infty)$. In this paper, we construct infinitely many fields such that the set is an interval, but not equal to $[4,+\infty)$. For rings $\mathcal{O}_K$ of totally real algebraic integers, J. Robinson defined a set which is always $\{+\infty\}$ or of the form $[λ,+\infty)$ or $(λ,+\infty)$ for some real number $λ\ge4$. All known examples give either $\{+\infty\}$ or $[4,+\infty)$. In this paper, we construct infinitely many fields such that the set is an interval, but not equal to $[4,+\infty)$. △ Less

Submitted 1 November, 2017; originally announced November 2017.

MSC Class: 11R04; 11R32; 11R80; 37P05 (primary); 11R09; 11R11 (secondary)

Compactness of Fourier Integral Operators on weighted modulation spaces

Authors: Carmen Fernández, Antonio Galbis, Eva Primo

Abstract: Using the matrix representation of Fourier integral operators with respect to a Gabor frame, we study their compactness on weighted modulation spaces. As a consequence, we recover and improve some compactness results for pseudodifferential operators. Using the matrix representation of Fourier integral operators with respect to a Gabor frame, we study their compactness on weighted modulation spaces. As a consequence, we recover and improve some compactness results for pseudodifferential operators. △ Less

Submitted 17 October, 2017; originally announced October 2017.

MSC Class: 35S30; 47G30; 42C15

Dynamics and spectra of composition operators on the Schwartz space

Authors: Carmen Fernández, Antonio Galbis, Enrique Jordá

Abstract: In this paper we study the dynamics of the composition operators defined in the Schwartz space $\mathcal{S}(\mathbb{R})$ of rapidly decreasing functions. We prove that such an operator is never supercyclic and, for monotonic symbols, it is power bounded only in trivial cases. For a polynomial symbol $\varphi$ of degree greater than one we show that the operator is mean ergodic if and only if it is… ▽ More In this paper we study the dynamics of the composition operators defined in the Schwartz space $\mathcal{S}(\mathbb{R})$ of rapidly decreasing functions. We prove that such an operator is never supercyclic and, for monotonic symbols, it is power bounded only in trivial cases. For a polynomial symbol $\varphi$ of degree greater than one we show that the operator is mean ergodic if and only if it is power bounded and this is the case when $\varphi$ has even degree and lacks fixed points. We also discuss the spectrum of composition operators. △ Less

Submitted 12 July, 2017; originally announced July 2017.

Resonances under Rank One Perturbations

Authors: Olivier Bourget, Victor Cortes, Rafael del Rio, Claudio Fernandez

Abstract: We study resonances generated by rank one perturbations of selfadjoint operators with eigenvalues embedded in the continuous spectrum. Instability of these eigenvalues is analyzed and almost exponential decay for the associated resonant states is exhibited. We show how these results can be applied to Sturm-Liouville operators. Main tools are the Aronszajn-Donoghue theory for rank one perturbations… ▽ More We study resonances generated by rank one perturbations of selfadjoint operators with eigenvalues embedded in the continuous spectrum. Instability of these eigenvalues is analyzed and almost exponential decay for the associated resonant states is exhibited. We show how these results can be applied to Sturm-Liouville operators. Main tools are the Aronszajn-Donoghue theory for rank one perturbations, a reduction process of the resolvent based on Feshbach-Livsic formula, the Fermi golden rule and a careful analysis of the Fourier transform of quasi-Lorentzian functions. We relate these results to sojourn time estimates and spectral concentration phenomena △ Less

Submitted 5 July, 2017; originally announced July 2017.

MSC Class: 81Q10; 47B25; 46N50

Multiplicity of nodal solutions to the Yamabe problem

Authors: Mónica Clapp, Juan Carlos Fernández

Abstract: Given a compact Riemannian manifold $(M,g)$ without boundary of dimension $m\geq 3$ and under some symmetry assumptions, we establish existence of one positive and multiple nodal solutions to the Yamabe-type equation $$-div_{g}(a\nabla u)+bu=c|u|^{2^{\ast}-2}u\quad on\ M$$ where $a,b,c\in C^{\infty}(M)$, $a$ and $c$ are positive, $-div_{g}(a\nabla)+b$ is coercive, and $2^{\ast}=\frac{2m}{m-2}$ is… ▽ More Given a compact Riemannian manifold $(M,g)$ without boundary of dimension $m\geq 3$ and under some symmetry assumptions, we establish existence of one positive and multiple nodal solutions to the Yamabe-type equation $$-div_{g}(a\nabla u)+bu=c|u|^{2^{\ast}-2}u\quad on\ M$$ where $a,b,c\in C^{\infty}(M)$, $a$ and $c$ are positive, $-div_{g}(a\nabla)+b$ is coercive, and $2^{\ast}=\frac{2m}{m-2}$ is the critical Sobolev exponent. In particular, if $R_{g}$ denotes the scalar curvature of $(M,g)$, we give conditions which guarantee that the Yamabe problem $$Δ_{g}u+\frac{m-2}{4(m-1} R_{g}u=κu^{2^{\ast}-2}\quad on\ M$$ admits a prescribed number of nodal solutions. △ Less

Submitted 18 July, 2017; v1 submitted 6 December, 2016; originally announced December 2016.

MSC Class: 35J61; 58J05; 35B06; 35B33; 35B44

Conservative and Stable Degree Preserving SBP Operators for Non-Conforming Meshes

Authors: Lucas Friedrich, David C. Del Rey Fernandez, Andrew R. Winters, Gregor J. Gassner, David W. Zingg, Jason Hicken

Abstract: Non-conforming numerical approximations offer increased flexibility for applications that require high resolution in a localized area of the computational domain or near complex geometries. Two key properties for non-conforming methods to be applicable to real world applications are conservation and energy stability. The summation-by-parts (SBP) property, which certain finite-difference and discon… ▽ More Non-conforming numerical approximations offer increased flexibility for applications that require high resolution in a localized area of the computational domain or near complex geometries. Two key properties for non-conforming methods to be applicable to real world applications are conservation and energy stability. The summation-by-parts (SBP) property, which certain finite-difference and discontinuous Galerkin methods have, finds success for the numerical approximation of hyperbolic conservation laws, because the proofs of energy stability and conservation can discretely mimic the continuous analysis of partial differential equations. In addition, SBP methods can be developed with high-order accuracy, which is useful for simulations that contain multiple spatial and temporal scales. However, existing non-conforming SBP schemes result in a reduction of the overall degree of the scheme, which leads to a reduction in the order of the solution error. This loss of degree is due to the particular interface coupling through a simultaneous-approximation-term (SAT). We present in this work a novel class of SBP-SAT operators that maintain conservation, energy stability, and have no loss of the degree of the scheme for non-conforming approximations. The new \emph{degree preserving} discretizations require an ansatz that the norm matrix of the SBP operator is of a degree $\geq 2p$, in contrast to, for example, existing finite difference SBP operators, where the norm matrix is $2p-1$ accurate. We demonstrate the fundamental properties of the new scheme with rigorous mathematical analysis as well as numerical verification. △ Less

Submitted 20 June, 2017; v1 submitted 3 November, 2016; originally announced November 2016.

Simultaneous Approximation Terms for Multi-Dimensional Summation-by-Parts Operators

Authors: David C. Del Rey Fernández, Jason E. Hicken, David W. Zingg

Abstract: This paper is concerned with the accurate, conservative, and stable imposition of boundary conditions and inter-element coupling for multi-dimensional summation-by-parts (SBP) finite-difference operators. More precisely, the focus is on diagonal-norm SBP operators that are not based on tensor products and are applicable to unstructured grids composed of arbitrary elements. We show how penalty term… ▽ More This paper is concerned with the accurate, conservative, and stable imposition of boundary conditions and inter-element coupling for multi-dimensional summation-by-parts (SBP) finite-difference operators. More precisely, the focus is on diagonal-norm SBP operators that are not based on tensor products and are applicable to unstructured grids composed of arbitrary elements. We show how penalty terms --- simultaneous approximation terms (SATs) --- can be adapted to discretizations based on multi-dimensional SBP operators to enforce boundary and interface conditions. A general SAT framework is presented that leads to conservative and stable discretizations of the variable-coefficient advection equation. This framework includes the case where there are no nodes on the boundary of the SBP element at which to apply penalties directly. This is an important generalization, because elements analogous to Legendre-Gauss collocation, \ie without boundary nodes, typically have higher accuracy for the same number of degrees of freedom. Symmetric and upwind examples of the general SAT framework are created using a decomposition of the symmetric part of an SBP operator; these particular SATs enable the pointwise imposition of boundary and inter-element conditions. We illustrate the proposed SATs using triangular-element SBP operators with and without nodes that lie on the boundary. The accuracy, conservation, and stability properties of the resulting SBP-SAT discretizations are verified using linear advection problems with spatially varying divergence-free velocity fields. △ Less

Submitted 5 August, 2016; v1 submitted 10 May, 2016; originally announced May 2016.

Unconditionally convergent multipliers and Bessel sequences

Authors: Carmen Fernández, Antonio Galbis, Eva Primo

Abstract: We prove that every unconditionally summable sequence in a Hilbert space can be factorized as the product of a square summable scalar sequence and a Bessel sequence. Some consequences on the representation of unconditionally convergent multipliers are obtained, thus providing positive answers to a conjecture by Balazs and Stoeva in some particular cases. We prove that every unconditionally summable sequence in a Hilbert space can be factorized as the product of a square summable scalar sequence and a Bessel sequence. Some consequences on the representation of unconditionally convergent multipliers are obtained, thus providing positive answers to a conjecture by Balazs and Stoeva in some particular cases. △ Less

Submitted 14 November, 2016; v1 submitted 10 March, 2016; originally announced March 2016.

The Bargmann transform and powers of harmonic oscillator on Gelfand-Shilov subspaces

Authors: Carmen Fernandez, Antonio Galbis, Joachim Toft

Abstract: We consider the counter images $\maclJ (\rr d)$ and $\maclJ _0(\rr d)$ of entire functions with exponential and almost exponential bounds, respectively, under the Bargmann transform, and we characterize them by estimates of powers of the harmonic oscillator. We also consider the Pilipovi{ć} spaces $\bsycalS _s(\rr d)$ and $\bsySig _s(\rr d)$ when $0<s<1/2$ and deduce their images under the Bargman… ▽ More We consider the counter images $\maclJ (\rr d)$ and $\maclJ _0(\rr d)$ of entire functions with exponential and almost exponential bounds, respectively, under the Bargmann transform, and we characterize them by estimates of powers of the harmonic oscillator. We also consider the Pilipovi{ć} spaces $\bsycalS _s(\rr d)$ and $\bsySig _s(\rr d)$ when $0<s<1/2$ and deduce their images under the Bargmann transform. △ Less

Submitted 17 July, 2015; originally announced July 2015.

Comments: 14 pages

Multidimensional Summation-By-Parts Operators: General Theory and Application to Simplex Elements

Authors: Jason E. Hicken, David C. Del Rey Fernández, David W. Zingg

Abstract: Summation-by-parts (SBP) finite-difference discretizations share many attractive properties with Galerkin finite-element methods (FEMs), including time stability and superconvergent functionals; however, unlike FEMs, SBP operators are not completely determined by a basis, so the potential exists to tailor SBP operators to meet different objectives. To date, application of high-order SBP discretiza… ▽ More Summation-by-parts (SBP) finite-difference discretizations share many attractive properties with Galerkin finite-element methods (FEMs), including time stability and superconvergent functionals; however, unlike FEMs, SBP operators are not completely determined by a basis, so the potential exists to tailor SBP operators to meet different objectives. To date, application of high-order SBP discretizations to multiple dimensions has been limited to tensor product domains. This paper presents a definition for multi-dimensional SBP finite-difference operators that is a natural extension of one-dimensional SBP operators. Theoretical implications of the definition are investigated for the special case of a diagonal norm (mass) matrix. In particular, a diagonal-norm SBP operator exists on a given domain if and only if there is a cubature rule with positive weights on that domain and the polynomial-basis matrix has full rank when evaluated at the cubature nodes. Appropriate simultaneous-approximation terms are developed to impose boundary conditions weakly, and the resulting discretizations are shown to be time stable. Concrete examples of multi-dimensional SBP operators are constructed for the triangle and tetrahedron; similarities and differences with spectral-element and spectral-difference methods are discussed. An assembly process is described that builds diagonal-norm SBP operators on a global domain from element-level operators. Numerical results of linear advection on a doubly periodic domain demonstrate the accuracy and time stability of the simplex operators. △ Less

Submitted 4 September, 2015; v1 submitted 12 May, 2015; originally announced May 2015.

Report number: SCOREC 2015-1 MSC Class: 65N06 (Primary); 65M60; 65N12 (Secondary)