Showing 1–50 of 103 results for author: Fernandez, J

Desingularization of vortex sheets for the 2D Euler equations

Authors: Alberto Enciso, Antonio J. Fernández, David Meyer

Abstract: We show how to regularize vortex sheets by means of smooth, compactly supported vorticities that asymptotically evolve according to the Birkhoff-Rott vortex sheet dynamics. More precisely, consider a vortex sheet initial datum $ω^0_{\mathrm{sing}}$, which is a signed Radon measure supported on a closed curve. We construct a family of initial vorticities… ▽ More We show how to regularize vortex sheets by means of smooth, compactly supported vorticities that asymptotically evolve according to the Birkhoff-Rott vortex sheet dynamics. More precisely, consider a vortex sheet initial datum $ω^0_{\mathrm{sing}}$, which is a signed Radon measure supported on a closed curve. We construct a family of initial vorticities $ω^0_\varepsilon \in C^\infty_c(\mathbb{R}^2)$ converging to $ω^0_{\mathrm{sing}}$ distributionally as $\varepsilon \to 0^+$, and show that the corresponding solutions $ω_\varepsilon(x,t)$ to the 2D incompressible Euler equations converge to the measure defined by the Birkhoff-Rott system with initial datum $ω^0_{\mathrm{sing}}$. The regularization relies on a layer construction designed to exploit the key observation that the Kelvin-Helmholtz instability has a strongly anisotropic effect: while vorticities must be analytic in the "tangential" direction, the way layers can be arranged in the "normal" direction is essentially arbitrary. △ Less

Submitted 24 May, 2025; originally announced May 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

On the kernel of the Stieltjes derivative and the space of bounded Stieltjes-differentiable functions

Authors: Francisco J. Fernández, Ignacio Márquez Albés, F. Adrián F. Tojo, Carlos Villanueva Mariz

Abstract: We investigate the existence and uniqueness of solutions to first-order Stieltjes differential problems, focusing on the role of the Stieltjes derivative and its kernel. Unlike the classical case, the kernel of the Stieltjes derivative operator is nontrivial, leading to non-uniqueness issues in Cauchy problems. We characterize this kernel by providing necessary and sufficient conditions for a func… ▽ More We investigate the existence and uniqueness of solutions to first-order Stieltjes differential problems, focusing on the role of the Stieltjes derivative and its kernel. Unlike the classical case, the kernel of the Stieltjes derivative operator is nontrivial, leading to non-uniqueness issues in Cauchy problems. We characterize this kernel by providing necessary and sufficient conditions for a function to have a zero Stieltjes derivative. To address the implications of this nontrivial kernel, we introduce a function space which serves as a suitable framework for studying Stieltjes differential problems. We explore its topological structure and propose a metric that facilitates the formulation of existence and uniqueness results. Our findings demonstrate that solutions to first-order Stieltjes differential equations are, in general, not unique, underscoring the need for a refined analytical approach to such problems. △ Less

Submitted 31 March, 2025; originally announced March 2025.

Comments: NA

MSC Class: 34A12; 34A30; 34A36; 26A24; 46E30

Blowing-up solutions to competitive critical systems in dimension 3

Authors: Antonio J. Fernández, María Medina, Angela Pistoia

Abstract: We study the critical system of $m\geq 2$ equations \begin{equation*} -Δu_i = u_i^5 + \sum_{j = 1,\,j\neq i}^m β_{ij} u_i^2 u_j^3\,, \quad u_i \gneqq 0 \quad \mbox{in } \mathbb{R}^3\,, \quad i \in \{1, \ldots, m\}\,, \end{equation*} where $β_{κ\ell} =α\in\mathbb{R}$ if $κ\neq\ell$, and $β_{\ell m}=β_{m κ} =β<0$, for $ κ, \ell \in \{1,\ldots, m-1\}$. We construct solutions to this system in the cas… ▽ More We study the critical system of $m\geq 2$ equations \begin{equation*} -Δu_i = u_i^5 + \sum_{j = 1,\,j\neq i}^m β_{ij} u_i^2 u_j^3\,, \quad u_i \gneqq 0 \quad \mbox{in } \mathbb{R}^3\,, \quad i \in \{1, \ldots, m\}\,, \end{equation*} where $β_{κ\ell} =α\in\mathbb{R}$ if $κ\neq\ell$, and $β_{\ell m}=β_{m κ} =β<0$, for $ κ, \ell \in \{1,\ldots, m-1\}$. We construct solutions to this system in the case where $β\to-\infty$ by means of a Ljapunov-Schmidt reduction argument. This allows us to identify the explicit form of the solution at main order: $u_1$ will look like a perturbation of the standard radial positive solution to the Yamabe equation, while $u_2$ will blow-up at the $k$ vertices of a regular planar polygon. The solutions to the other equations will replicate the blowing-up structure under an appropriate rotation that ensures $u_i\neq u_j$ for $i\neq j$. The result provides the first almost-explicit example of non-synchronized solutions to competitive critical systems in dimension 3. △ Less

Submitted 12 November, 2024; originally announced November 2024.

MSC Class: 35J47; 35B33

Generalized Poincaré-Dulac singularities of holomorphic foliations

Authors: Percy Fernández Sánchez, Jorge Mozo Fernández

Abstract: In this paper, we study the analytic classification of a class of nilpotent singularities of holomorphic foliations in $(\mathbb{C}^2,0)$, those exhibiting a Poincaré-Dulac type singularity in their reduction process. This analytic classification is based in the holonomy of a certain component of the exceptional divisor. Finally, as a consequence, we show that these singularities exhibit a formal… ▽ More In this paper, we study the analytic classification of a class of nilpotent singularities of holomorphic foliations in $(\mathbb{C}^2,0)$, those exhibiting a Poincaré-Dulac type singularity in their reduction process. This analytic classification is based in the holonomy of a certain component of the exceptional divisor. Finally, as a consequence, we show that these singularities exhibit a formal analytic rigidity. △ Less

Submitted 5 November, 2024; originally announced November 2024.

Comments: 15 pages

MSC Class: 32S65 (Primary); 37C15 (Secondary)

Static and dynamic SABR stochastic volatility models: calibration and option pricing using GPUs

Authors: J. L. Fernández, A. M. Ferreiro, J. A. García, A. Leitao, J. G. López-Salas, C. Vázquez

Abstract: For the calibration of the parameters in static and dynamic SABR stochastic volatility models, we propose the application of the GPU technology to the Simulated Annealing global optimization algorithm and to the Monte Carlo simulation. This calibration has been performed for EURO STOXX 50 index and EUR/USD exchange rate with an asymptotic formula for volatility or Monte Carlo simulation. Moreover,… ▽ More For the calibration of the parameters in static and dynamic SABR stochastic volatility models, we propose the application of the GPU technology to the Simulated Annealing global optimization algorithm and to the Monte Carlo simulation. This calibration has been performed for EURO STOXX 50 index and EUR/USD exchange rate with an asymptotic formula for volatility or Monte Carlo simulation. Moreover, in the dynamic model we propose an original more general expression for the functional parameters, specially well suited for the EUR/USD exchange rate case. Numerical results illustrate the expected behavior of both SABR models and the accuracy of the calibration. In terms of computational time, when the asymptotic formula for volatility is used the speedup with respect to CPU computation is around $200$ with one GPU. Furthermore, GPU technology allows the use of Monte Carlo simulation for calibration purposes, the computational time with CPU being prohibitive. △ Less

Submitted 30 July, 2024; originally announced July 2024.

Journal ref: J.L. Fernández, et.al. , Static and dynamic SABR stochastic volatility models: Calibration and option pricing using GPUs, Mathematics and Computers in Simulation, Volume 94, 2013, Pages 55-75

The integration problem for principal connections

Authors: Javier Fernandez, Francisco Kordon

Abstract: In this paper we introduce the Integration Problem for principal connections. Just as a principal connection on a principal bundle $φ:Q\rightarrow M$ may be used to split $TQ$ into horizontal and vertical subbundles, a discrete connection may be used to split $Q\times Q$ into horizontal and vertical submanifolds. All discrete connections induce a connection on the same principal bundle via a proce… ▽ More In this paper we introduce the Integration Problem for principal connections. Just as a principal connection on a principal bundle $φ:Q\rightarrow M$ may be used to split $TQ$ into horizontal and vertical subbundles, a discrete connection may be used to split $Q\times Q$ into horizontal and vertical submanifolds. All discrete connections induce a connection on the same principal bundle via a process known as the Lie or derivative functor. The Integration Problem consists of describing, for a principal connection $\mathcal{A}$, the set of all discrete connections whose associated connection is $\mathcal{A}$. Our first result is that for \emph{flat} principal connections, the Integration Problem has a unique solution among the \emph{flat} discrete connections. More broadly, under a fairly mild condition on the structure group $G$ of the principal bundle $φ$, we prove that the existence part of the Integration Problem has a solution that needs not be unique. Last, we see that, when $G$ is abelian, given compatible continuous and discrete curvatures the Integration Problem has a unique solution constrained by those curvatures. △ Less

Submitted 23 June, 2025; v1 submitted 18 July, 2024; originally announced July 2024.

Comments: Clarified a step in the proof of Theorem 3.19

MSC Class: 53B15; 53C05 (Primary) 37J06; 70G45 (Secondary)

Journal ref: J. Geom. Phys. (2025) 216, 105566

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

Smooth nonradial stationary Euler flows on the plane with compact support

Authors: Alberto Enciso, Antonio J. Fernández, David Ruiz

Abstract: We prove the existence of nonradial classical solutions to the 2D incompressible Euler equations with compact support. More precisely, for any positive integer $k$, we construct compactly supported stationary Euler flows of class $C^k(\mathbb{R}^2)$ which are not locally radial. The proof uses a degree-theory-based bifurcation argument which hinges on three key ingredients: a novel approach to sta… ▽ More We prove the existence of nonradial classical solutions to the 2D incompressible Euler equations with compact support. More precisely, for any positive integer $k$, we construct compactly supported stationary Euler flows of class $C^k(\mathbb{R}^2)$ which are not locally radial. The proof uses a degree-theory-based bifurcation argument which hinges on three key ingredients: a novel approach to stationary Euler flows through elliptic equations with non-autonomous nonlinearities; a set of sharp regularity estimates for the linearized operator, which involves a potential that blows up as the inverse square of the distance to the boundary of the support; and overcoming a serious problem of loss of derivatives by the introduction of anisotropic weighted functional spaces between which the linearized operator is Fredholm. △ Less

Submitted 6 June, 2024; originally announced June 2024.

Comments: 48 pages, 2 figures

MSC Class: 35Q31; 35Q35; 35B32

Counting coprime pairs in random squares

Authors: José L. Fernández, Pablo Fernández

Abstract: Extending the classical Dirichlet's density theorem on coprime pairs, in this paper we describe completely the probability distribution of the number of coprime pairs in random squares of fixed side length in the lattice $\mathbb{N}^2$. The limit behaviour of this distribution as the side length of the random square tends to infinity is also considered. Extending the classical Dirichlet's density theorem on coprime pairs, in this paper we describe completely the probability distribution of the number of coprime pairs in random squares of fixed side length in the lattice $\mathbb{N}^2$. The limit behaviour of this distribution as the side length of the random square tends to infinity is also considered. △ Less

Submitted 19 March, 2024; originally announced March 2024.

MSC Class: 11K65; 11N36; 11A51

On discrete Routh reduction and structures on the reduced space

Authors: Matías I. Caruso, Javier Fernández, Cora Tori, Marcela Zuccalli

Abstract: In this paper we work, first, with forced discrete-time mechanical systems on the configuration space $Q$ and construct closed $2$-forms $ω^+$ and $ω^-$ on $Q \times Q$, that are symplectic if and only if the system is regular. For a special type of discrete force, we prove that $ω^+$ and $ω^-$ are invariant by the flow of the system. We also consider the Lagrangian reduction of a discrete mechani… ▽ More In this paper we work, first, with forced discrete-time mechanical systems on the configuration space $Q$ and construct closed $2$-forms $ω^+$ and $ω^-$ on $Q \times Q$, that are symplectic if and only if the system is regular. For a special type of discrete force, we prove that $ω^+$ and $ω^-$ are invariant by the flow of the system. We also consider the Lagrangian reduction of a discrete mechanical system by a symmetry group (using an affine discrete connection derived from the discrete momentum) and prove that, under some conditions on the action, the trajectories of the reduced system (with constant discrete momentum $μ$) can be seen as trajectories of a forced discrete mechanical system, where the discrete force is of the type analyzed before. Therefore, we prove that there is a symplectic structure that is invariant by the flow of the forced reduced system; the symplectic structure can be seen as a pullback of a canonical cotangent structure plus a magnetic term. This discrete reduction process is the (discrete) Routh reduction and the behavior obtained runs parallel to the well known case for (continuous) Routh reduction. △ Less

Submitted 5 July, 2024; v1 submitted 8 March, 2024; originally announced March 2024.

MSC Class: 37J06; 70H33 (Primary) 70G75 (Secondary)

Growth of power series with nonnegative coefficients, and moments of power series distributions

Authors: Alicia Cantón, José L. Fernández, Pablo Fernández, Víctor J. Maciá

Abstract: Any power series with nonnegative coefficients has an associated family of probability distributions supported on the nonnegative integers. There is a close connection between the function theoretic properties of the power series and the moments of the family of distributions. In this paper, we describe that interplay, provide simpler proofs of some known results by emphasizing the probabilistic p… ▽ More Any power series with nonnegative coefficients has an associated family of probability distributions supported on the nonnegative integers. There is a close connection between the function theoretic properties of the power series and the moments of the family of distributions. In this paper, we describe that interplay, provide simpler proofs of some known results by emphasizing the probabilistic perspective, and present some new theorems. △ Less

Submitted 5 April, 2024; v1 submitted 25 January, 2024; originally announced January 2024.

MSC Class: 30B10; 30D20; 60E05; 30D15

A Schiffer-type problem for annuli with applications to stationary planar Euler flows

Authors: Alberto Enciso, Antonio J. Fernández, David Ruiz, Pieralberto Sicbaldi

Abstract: If on a smooth bounded domain $Ω\subset\mathbb{R}^2$ there is a nonconstant Neumann eigenfunction $u$ that is locally constant on the boundary, must $Ω$ be a disk or an annulus? This question can be understood as a weaker analog of the well known Schiffer conjecture, in that the function $u$ is allowed to take a different constant value on each connected component of $\partial Ω$ yet many of the k… ▽ More If on a smooth bounded domain $Ω\subset\mathbb{R}^2$ there is a nonconstant Neumann eigenfunction $u$ that is locally constant on the boundary, must $Ω$ be a disk or an annulus? This question can be understood as a weaker analog of the well known Schiffer conjecture, in that the function $u$ is allowed to take a different constant value on each connected component of $\partial Ω$ yet many of the known rigidity properties of the original problem are essentially preserved. Our main result provides a negative answer by constructing a family of nontrivial doubly connected domains $Ω$ with the above property. As a consequence, a certain linear combination of the indicator functions of the domains $Ω$ and of the bounded component of the complement $\mathbb{R}^2\backslash\overlineΩ$ fails to have the Pompeiu property. Furthermore, our construction implies the existence of continuous, compactly supported stationary weak solutions to the 2D incompressible Euler equations which are not locally radial. △ Less

Submitted 12 August, 2024; v1 submitted 14 September, 2023; originally announced September 2023.

Comments: Final version; to appear in "Duke Mathematical Journal''

MSC Class: 35N25; 35Q31; 35B32

Lagrangian reduction of forced discrete mechanical systems

Authors: Matías I. Caruso, Javier Fernández, Cora Tori, Marcela Zuccalli

Abstract: In this paper we propose a process of Lagrangian reduction and reconstruction for symmetric discrete-time mechanical systems acted on by external forces, where the symmetry group action on the configuration manifold turns it into a principal bundle. We analyze the evolution of momentum maps and Poisson structures under different conditions. In this paper we propose a process of Lagrangian reduction and reconstruction for symmetric discrete-time mechanical systems acted on by external forces, where the symmetry group action on the configuration manifold turns it into a principal bundle. We analyze the evolution of momentum maps and Poisson structures under different conditions. △ Less

Submitted 24 July, 2023; originally announced July 2023.

MSC Class: 37J06; 70H33 (Primary) 70G75 (Secondary)

Journal ref: J. Phys. A: Math. Theor.(2023) 56 355202

Discriminatory or Samaritan -- which AI is needed for humanity? An Evolutionary Game Theory Analysis of Hybrid Human-AI populations

Authors: Tim Booker, Manuel Miranda, Jesús A. Moreno López, José María Ramos Fernández, Max Reddel, Valeria Widler, Filippo Zimmaro, Alberto Antonioni, The Anh Han

Abstract: As artificial intelligence (AI) systems are increasingly embedded in our lives, their presence leads to interactions that shape our behaviour, decision-making, and social interactions. Existing theoretical research has primarily focused on human-to-human interactions, overlooking the unique dynamics triggered by the presence of AI. In this paper, resorting to methods from evolutionary game theory,… ▽ More As artificial intelligence (AI) systems are increasingly embedded in our lives, their presence leads to interactions that shape our behaviour, decision-making, and social interactions. Existing theoretical research has primarily focused on human-to-human interactions, overlooking the unique dynamics triggered by the presence of AI. In this paper, resorting to methods from evolutionary game theory, we study how different forms of AI influence the evolution of cooperation in a human population playing the one-shot Prisoner's Dilemma game in both well-mixed and structured populations. We found that Samaritan AI agents that help everyone unconditionally, including defectors, can promote higher levels of cooperation in humans than Discriminatory AI that only help those considered worthy/cooperative, especially in slow-moving societies where change is viewed with caution or resistance (small intensities of selection). Intuitively, in fast-moving societies (high intensities of selection), Discriminatory AIs promote higher levels of cooperation than Samaritan AIs. △ Less

Submitted 3 July, 2023; v1 submitted 30 June, 2023; originally announced June 2023.

Comments: This work is the result of the Complexity72h 2023 workshop

Necessary and sufficient conditions for distances on the real line

Authors: Daniel Cao Labora, Francisco Javier Fernández, Fernando Adrián F. Tojo, Carlos Villanueva

Abstract: When dealing with certain mathematical problems, it is sometimes necessary to show that some function induces a metric on a certain space. When this function is not a well renowned example of a distance, one has to develop very particular arguments that appeal to the concrete expression of the function in order to do so. The main purpose of this paper is to provide several sufficient results ensur… ▽ More When dealing with certain mathematical problems, it is sometimes necessary to show that some function induces a metric on a certain space. When this function is not a well renowned example of a distance, one has to develop very particular arguments that appeal to the concrete expression of the function in order to do so. The main purpose of this paper is to provide several sufficient results ensuring that a function of two variables induces a distance on the real line, as well as some necessary conditions, together with several examples that show the applicability of these results. In particular, we show how a hypothesis about the sign of the cross partial derivative of the candidate to distance is helpful for deriving such kind of results. △ Less

Submitted 17 April, 2023; originally announced May 2023.

Comments: 16 pages

MSC Class: 26B99; 51N20; 54E35; 00A08

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

Small spheres with prescribed nonconstant mean curvature in Riemannian manifolds

Authors: Alberto Enciso, Antonio J. Fernández, Daniel Peralta-Salas

Abstract: Given a function $f$ on a smooth Riemannian manifold without boundary, we prove that if $p \in M$ is a non-degenerate critical point of $f$, then a neighborhood of $p$ contains a foliation by spheres with mean curvature proportional to $f$. This foliation is essentially unique. The nondegeneracy assumption can be substantially relaxed, at the expense of losing the property that the family of spher… ▽ More Given a function $f$ on a smooth Riemannian manifold without boundary, we prove that if $p \in M$ is a non-degenerate critical point of $f$, then a neighborhood of $p$ contains a foliation by spheres with mean curvature proportional to $f$. This foliation is essentially unique. The nondegeneracy assumption can be substantially relaxed, at the expense of losing the property that the family of spheres with prescribed mean curvature defines a foliation. △ Less

Submitted 12 February, 2024; v1 submitted 20 February, 2023; originally announced February 2023.

Comments: Minor changes have been made; to appear in "Journal of Functional Analysis"

MSC Class: 53A10; 53C42; 58J05; 58J55

Stieltjes analytic functions and higher order linear differential equations

Authors: Víctor Cora, F. Javier Fernández, F. Adrián F. Tojo

Abstract: In this work we develop a theory of Stieltjes-analytic functions. We first define the Stieltjes monomials and polynomials and we study them exhaustively. Then, we introduce the Stieltjes analytic functions locally, as an infinite series of these Stieltjes monomials and we study their properties in depth and how they relate to higher order Stieltjes differentiation. We define the exponential series… ▽ More In this work we develop a theory of Stieltjes-analytic functions. We first define the Stieltjes monomials and polynomials and we study them exhaustively. Then, we introduce the Stieltjes analytic functions locally, as an infinite series of these Stieltjes monomials and we study their properties in depth and how they relate to higher order Stieltjes differentiation. We define the exponential series and prove that it solves the first order linear problem. Finally, we apply the theory to solve higher order linear homogeneous Stieltjes differential equations with constant coefficients. △ Less

Submitted 7 July, 2025; v1 submitted 19 January, 2023; originally announced January 2023.

Comments: Published version with a few corrected typos

MSC Class: 26A24; 26E05; 34A36; 34A25

Journal ref: Journal of Mathematical Analysis and Applications, Volume 526, Issue 2, 127259, 2023

Conditions for Estimation of Sensitivities of Voltage Magnitudes to Complex Power Injections

Authors: Samuel Talkington, Daniel Turizo, Santiago Grijalva, Jorge Fernandez, Daniel K. Molzahn

Abstract: Voltage phase angle measurements are often unavailable from sensors in distribution networks and transmission network boundaries. Therefore, this paper addresses the conditions for estimating sensitivities of voltage magnitudes with respect to complex (active and reactive) electric power injections based on sensor measurements. These sensitivities represent submatrices of the inverse power flow Ja… ▽ More Voltage phase angle measurements are often unavailable from sensors in distribution networks and transmission network boundaries. Therefore, this paper addresses the conditions for estimating sensitivities of voltage magnitudes with respect to complex (active and reactive) electric power injections based on sensor measurements. These sensitivities represent submatrices of the inverse power flow Jacobian. We extend previous results to show that the sensitivities of a bus voltage magnitude with respect to active power injections are unique and different from those with respect to reactive power. The classical Newton-Raphson power flow model is used to derive a novel representation of bus voltage magnitudes as an underdetermined linear operator of the active and reactive power injections; parameterized by the bus power factors. Two conditions that ensure the existence of unique complex power injections given voltage magnitudes are established for this underdetermined linear system, thereby compressing the solution space. The first is a sufficient condition based on the bus power factors. The second is a necessary and sufficient condition based on the system eigenvalues. We use matrix completion theory to develop estimation methods for recovering sensitivity matrices with varying levels of sensor availability. Simulations verify the results and demonstrate engineering use of the proposed methods. △ Less

Submitted 25 January, 2023; v1 submitted 2 December, 2022; originally announced December 2022.

Comments: 14 pages, 10 figures. Code corresponding to this work is publicly available at https://github.com/samtalki/PowerSensitivities.jl

Non-uniqueness for the nonlocal Liouville equation in $\mathbb{R}$ and applications

Authors: Luca Battaglia, Matteo Cozzi, Antonio J. Fernández, Angela Pistoia

Abstract: We construct multiple solutions to the nonlocal Liouville equation \begin{equation} \label{eqk} \tag{L} (-Δ)^{\frac{1}{2}} u = K(x) e^u \quad \mbox{ in } \mathbb{R}. \end{equation} More precisely, for $K$ of the form $K(x) = 1+\varepsilon κ(x)$ with $\varepsilon \in (0,1)$ small and $κ\in C^{1,α}(\mathbb{R}) \cap L^{\infty}(\mathbb{R})$ for some $α> 0$, we prove existence of multiple solutions to… ▽ More We construct multiple solutions to the nonlocal Liouville equation \begin{equation} \label{eqk} \tag{L} (-Δ)^{\frac{1}{2}} u = K(x) e^u \quad \mbox{ in } \mathbb{R}. \end{equation} More precisely, for $K$ of the form $K(x) = 1+\varepsilon κ(x)$ with $\varepsilon \in (0,1)$ small and $κ\in C^{1,α}(\mathbb{R}) \cap L^{\infty}(\mathbb{R})$ for some $α> 0$, we prove existence of multiple solutions to \eqref{eqk} bifurcating from the bubbles. These solutions provide examples of flat metrics in the half-plane with prescribed geodesic curvature $K(x)$ on its boundary. Furthermore, they imply the existence of multiple ground state soliton solutions for the Calogero-Moser derivative NLS. △ Less

Submitted 6 April, 2023; v1 submitted 22 November, 2022; originally announced November 2022.

Comments: Accepted for publication on SIAM J. Math. Anal

MSC Class: primary 35R11; 35A02; secondary 35C08; 30F45

Compactness criteria for Stieltjes function spaces and applications

Authors: Francisco J. Fernández, F. Adrián F. Tojo, Carlos Villanueva

Abstract: In this work we study some topological aspects of function spaces arising in Stieltjes differential calculus. Chief among them are compactness results related to the Ascoli-Arzelà and Kolmogorov-Riesz theorems, as well as their applications to Stieltjes-Sobolev spaces and decomposable functions. In this work we study some topological aspects of function spaces arising in Stieltjes differential calculus. Chief among them are compactness results related to the Ascoli-Arzelà and Kolmogorov-Riesz theorems, as well as their applications to Stieltjes-Sobolev spaces and decomposable functions. △ Less

Submitted 14 November, 2022; originally announced November 2022.

MSC Class: 26A24; 26A42; 46B50

The Wronskian and the variation of parameters method in the theory of linear Stieltjes differential equations of second order

Authors: Francisco J. Fernández, Ignacio Marquez Albés, F. Adrián F. Tojo

Abstract: In this work, we define the notions of Wronskian and simplified Wronskian for Stieltjes derivatives and study some of their properties in a similar manner to the context of time scales or the usual derivative. Later, we use these tools to investigate second order linear differential equations with Stieltjes derivatives to find linearly independent solutions, as well as to derive the variation of p… ▽ More In this work, we define the notions of Wronskian and simplified Wronskian for Stieltjes derivatives and study some of their properties in a similar manner to the context of time scales or the usual derivative. Later, we use these tools to investigate second order linear differential equations with Stieltjes derivatives to find linearly independent solutions, as well as to derive the variation of parameters method for problems with $g$-continuous coefficients. This theory is later illustrated with some examples such as the study of the one-dimensional linear Helmholtz equation with piecewise-constant coefficients. △ Less

Submitted 22 June, 2022; originally announced June 2022.

MSC Class: 26A24 34A12 34A30 34A36

Consequences of the product rule in Stieltjes differentiability

Authors: Francisco J. Fernández, Ignacio Márquez Albés, F. Adrián F. Tojo

Abstract: This work revolves around the study of differentiability in the Stieltjes sense of a product of functions. A formula for the first order derivative has been obtained in the past, which is similar to the usual one with some extra terms in its expression. The aim of this paper is to take this behavior into account to study under which conditions we can guarantee the existence of higher order derivat… ▽ More This work revolves around the study of differentiability in the Stieltjes sense of a product of functions. A formula for the first order derivative has been obtained in the past, which is similar to the usual one with some extra terms in its expression. The aim of this paper is to take this behavior into account to study under which conditions we can guarantee the existence of higher order derivatives, while obtaining some other interesting results for the Stieltjes derivative along the way. We also investigate the regularity of the product of two functions. △ Less

Submitted 20 May, 2022; originally announced May 2022.

MSC Class: 26A06; 26A24; 26A27

Khinchin families, set constructions, partitions and exponentials

Authors: Alicia Cantón, José L. Fernández, Pablo Fernández, Víctor J. Maciá

Abstract: In this paper, we give a simple criterion to verify that functions of the form $e^g$ are in the Hayman class when $g$ is a power series with nonnegative coefficients. Thus, using the Hayman and Báez-Duarte formulas, we obtain asymptotics for the coefficients of generating functions that arise in many examples of set construction in analytic combinatorics. This new criterion greatly simplifies that… ▽ More In this paper, we give a simple criterion to verify that functions of the form $e^g$ are in the Hayman class when $g$ is a power series with nonnegative coefficients. Thus, using the Hayman and Báez-Duarte formulas, we obtain asymptotics for the coefficients of generating functions that arise in many examples of set construction in analytic combinatorics. This new criterion greatly simplifies that obtained previously by the authors. △ Less

Submitted 19 May, 2022; originally announced May 2022.

MSC Class: Primary 30B10; Secondary: 05A16; 11P82; 60F99

Blowing-up solutions for a nonlocal Liouville type equation

Authors: Matteo Cozzi, Antonio J. Fernández

Abstract: We consider the nonlocal Liouville type equation $$ (-Δ)^{\frac{1}{2}} u = \varepsilon κ(x) e^u, \quad u > 0, \quad \mbox{in } I, \qquad u = 0, \quad \mbox{in } \mathbb{R} \setminus I, $$ where $I$ is a union of $d \geq 2$ disjoint bounded intervals, $κ$ is a smooth bounded function with positive infimum and $\varepsilon > 0$ is a small parameter. For any integer $1 \leq m \leq d$, we construct a… ▽ More We consider the nonlocal Liouville type equation $$ (-Δ)^{\frac{1}{2}} u = \varepsilon κ(x) e^u, \quad u > 0, \quad \mbox{in } I, \qquad u = 0, \quad \mbox{in } \mathbb{R} \setminus I, $$ where $I$ is a union of $d \geq 2$ disjoint bounded intervals, $κ$ is a smooth bounded function with positive infimum and $\varepsilon > 0$ is a small parameter. For any integer $1 \leq m \leq d$, we construct a family of solutions $(u_\varepsilon)_{\varepsilon}$ which blow up at $m$ interior distinct points of $I$ and for which $\varepsilon \int_I κe^{u_\varepsilon} \, \rightarrow 2 m π$, as $\varepsilon \to 0$. Moreover, we show that, when $d = 2$ and $m$ is suitably large, no such construction is possible. △ Less

Submitted 12 April, 2022; originally announced April 2022.

MSC Class: 35R11; 35B44; 35B25; 35S15

Deterministic KPZ-type equations with nonlocal "gradient terms"

Authors: Boumediene Abdellaoui, Antonio J. Fernández, Tommaso Leonori, Abdelbadie Younes

Abstract: The main goal of this paper is to prove existence and non-existence results for deterministic Kardar-Parisi-Zhang type equations involving non-local "gradient terms". More precisely, let $Ω\subset \mathbb{R}^N$, $N \geq 2$, be a bounded domain with boundary $\partial Ω$ of class $C^2$. For $s \in (0,1)$, we consider problems of the form \[ \tag{KPZ} \left\{ \begin{aligned} (-Δ)^s u & = μ(x) |\math… ▽ More The main goal of this paper is to prove existence and non-existence results for deterministic Kardar-Parisi-Zhang type equations involving non-local "gradient terms". More precisely, let $Ω\subset \mathbb{R}^N$, $N \geq 2$, be a bounded domain with boundary $\partial Ω$ of class $C^2$. For $s \in (0,1)$, we consider problems of the form \[ \tag{KPZ} \left\{ \begin{aligned} (-Δ)^s u & = μ(x) |\mathbb{D}(u)|^q + λf(x), \quad && \mbox{ in } Ω,\\ u & = 0, && \mbox{ in } \mathbb{R}^N \setminus Ω, \end{aligned} \right. \] where $q > 1$ and $λ> 0$ are real parameters, $f$ belongs to a suitable Lebesgue space, $μ$ belongs to $L^{\infty}(Ω)$ and $\mathbb{D}$ represents a nonlocal "gradient term". Depending on the size of $λ> 0$, we derive existence and non-existence results. In particular, we solve several open problems posed in [4, Section 6] and [2, Section 7]. △ Less

Submitted 7 November, 2022; v1 submitted 22 March, 2022; originally announced March 2022.

Comments: Minor changes have been made; to appear in "Annali di Matematica Pura ed Applicata"

Discrete Mechanical Systems in a Dirac Setting: a Proposal

Authors: Matías I. Caruso, Javier Fernández, Cora Tori, Marcela Zuccalli

Abstract: In these notes, we present an alternative version of discrete Dirac mechanics using Dirac structures. We first establish a notion of 'continuous Dirac system' and then propose a definition of discrete Dirac system, proving that it is possible to recover discrete Lagrangian and Hamiltonian systems as particular cases. We also note that this approach allows for kinematic as well as variational const… ▽ More In these notes, we present an alternative version of discrete Dirac mechanics using Dirac structures. We first establish a notion of 'continuous Dirac system' and then propose a definition of discrete Dirac system, proving that it is possible to recover discrete Lagrangian and Hamiltonian systems as particular cases. We also note that this approach allows for kinematic as well as variational constraints. △ Less

Submitted 10 March, 2022; originally announced March 2022.

MSC Class: 70G45 (Primary); 37J05 (Secondary)

Journal ref: Actas del XVI Congreso Antonio Monteiro 2021 (2023), pp. 119-128

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

Large Powers asymptotics, Khinchin families and Lagrangian distributions

Authors: José L. Fernández, Víctor J. Maciá

Abstract: This paper delves on the versatility of the theory of Khinchin families for asymptotic estimation. We show that in combination with Local Central Limit theorems for lattice variables, Khinchin families furnish a convenient and unified framework to deal with asymptotic results of the coefficients of large powers of power series. We revisit in the present paper this classical theme from that point… ▽ More This paper delves on the versatility of the theory of Khinchin families for asymptotic estimation. We show that in combination with Local Central Limit theorems for lattice variables, Khinchin families furnish a convenient and unified framework to deal with asymptotic results of the coefficients of large powers of power series. We revisit in the present paper this classical theme from that point of view, obtaining clean new proofs and a number of new results. Asymptotic results for the coefficients of solutions of Lagrange's equation fall naturally into this combined framework. We provide a direct proof of an extension of the Otter and Meir-Moon asymptotic formula as well as asymptotic results for families of Lagrangian probability distributions. △ Less

Submitted 24 April, 2023; v1 submitted 27 January, 2022; originally announced January 2022.

Comments: Change in the title, introduction and some other minor changes

MSC Class: 30B10; 60F05; 05A16; 60F99

Some arithmetic properties of Pólya's urn

Authors: José L. Fernández, Pablo Fernández

Abstract: Following Hales (2018), the evolution of Pólya's urn may be interpreted as a walk, a Pólya walk, on the integer lattice $\mathbb{N}^2$. We study the visibility properties of Pólya's walk or, equivalently, the divisibility properties of the composition of the urn. In particular, we are interested in the asymptotic average time that a Pólya walk is visible from the origin, or, alternatively, in the… ▽ More Following Hales (2018), the evolution of Pólya's urn may be interpreted as a walk, a Pólya walk, on the integer lattice $\mathbb{N}^2$. We study the visibility properties of Pólya's walk or, equivalently, the divisibility properties of the composition of the urn. In particular, we are interested in the asymptotic average time that a Pólya walk is visible from the origin, or, alternatively, in the asymptotic proportion of draws so that the resulting composition of the urn is coprime. Via de Finetti's exchangeability theorem, Pólya's walk appears as a mixture of standard random walks. This paper is a follow-up of Cilleruelo-Fernández-Fernández (2019), where similar questions were studied for standard random walks. △ Less

Submitted 10 December, 2021; originally announced December 2021.

MSC Class: 11A05; 60G09; 60G50

Discrete connections on principal bundles: the Discrete Atiyah Sequence

Authors: Javier Fernandez, Mariana Juchani, Marcela Zuccalli

Abstract: In this work we study discrete analogues of an exact sequence of vector bundles introduced by M. Atiyah in 1957, associated to any smooth principal $G$-bundle $π:Q\rightarrow Q/G$. In the original setting, the splittings of the exact sequence correspond to connections on the principal bundle $π$. The discrete analogues that we consider here can be studied in two different categories: the category… ▽ More In this work we study discrete analogues of an exact sequence of vector bundles introduced by M. Atiyah in 1957, associated to any smooth principal $G$-bundle $π:Q\rightarrow Q/G$. In the original setting, the splittings of the exact sequence correspond to connections on the principal bundle $π$. The discrete analogues that we consider here can be studied in two different categories: the category of fiber bundles with a (chosen) section, FBS, and the category of local Lie groupoids, lLgpdC. In FBS we find a correspondence between a) (semi-local) splittings of the discrete Atiyah sequence (DAS) of $π$, b) discrete connections on the same bundle $π$, and c) isomorphisms of the DAS with certain fiber product extensions in FBS. We see that the right splittings of the DAS (in FBS) are not necessarily right splittings in lLgpdC: we use this obstruction to define the discrete curvature of a discrete connection. Then, there is a correspondence between the splittings of the DAS in lLgpdC and discrete connections with trivial discrete curvature. We also introduce a semidirect product between (some) local Lie groupoids and prove that there is a correspondence between semidirect product extensions and splittings of the DAS in lLgpdC. △ Less

Submitted 27 May, 2024; v1 submitted 12 November, 2021; originally announced November 2021.

Comments: Streamlined version, same main results

MSC Class: 53C05 (Primary) 53C15; 70G45 (Secondary)

Journal ref: J. Geom. Phys. (2022) 172,104417

When is the composition of functions measurable?

Authors: F. Javier Fernández, F. Adrián F. Tojo

Abstract: In this article we explore under which conditions on the interior function the composition of functions is measurable. We also study the sharpness of the result by providing a counterexample for weaker hypotheses. In this article we explore under which conditions on the interior function the composition of functions is measurable. We also study the sharpness of the result by providing a counterexample for weaker hypotheses. △ Less

Submitted 30 July, 2024; v1 submitted 5 October, 2021; originally announced October 2021.

Comments: 9 pages

MSC Class: 28-02

Discrete connections on principal bundles: abelian group case

Authors: Javier Fernandez, Mariana Juchani, Marcela Zuccalli

Abstract: In this note we consider a few interesting properties of discrete connections on principal bundles when the structure group of the bundle is an abelian Lie group. In particular, we show that the discrete connection form and its curvature can be interpreted as singular $1$ and $2$ cochains respectively, with the curvature being the coboundary of the connection form. Using this formalism we prove a… ▽ More In this note we consider a few interesting properties of discrete connections on principal bundles when the structure group of the bundle is an abelian Lie group. In particular, we show that the discrete connection form and its curvature can be interpreted as singular $1$ and $2$ cochains respectively, with the curvature being the coboundary of the connection form. Using this formalism we prove a discrete analogue of a formula for the holonomy around a loop given by Marsden, Montgomery and Ratiu for (continuous) connections in a similar setting. △ Less

Submitted 18 September, 2021; originally announced September 2021.

MSC Class: 53B15 (Primary) 70H33; 81Q70 (Secondary)

Journal ref: Actas del XVI Congreso Antonio Monteiro. 2021 (2023), pp. 183-200

Mutational signatures and transmissibility of SARS-CoV-2 Gamma and Lambda variants

Authors: Karen Y. Oróstica, Sebastian Contreras, Sebastian B. Mohr, Jonas Dehning, Simon Bauer, David Medina-Ortiz, Emil N. Iftekhar, Karen Mujica, Paulo C. Covarrubias, Soledad Ulloa, Andrés E. Castillo, Ricardo A. Verdugo, Jorge Fernández, Álvaro Olivera-Nappa, Viola Priesemann

Abstract: The emergence of SARS-CoV-2 variants of concern endangers the long-term control of COVID-19, especially in countries with limited genomic surveillance. In this work, we explored genomic drivers of contagion in Chile. We sequenced 3443 SARS-CoV-2 genomes collected between January and July 2021, where the Gamma (P.1), Lambda (C.37), Alpha (B.1.1.7), B.1.1.348, and B.1.1 lineages were predominant. Us… ▽ More The emergence of SARS-CoV-2 variants of concern endangers the long-term control of COVID-19, especially in countries with limited genomic surveillance. In this work, we explored genomic drivers of contagion in Chile. We sequenced 3443 SARS-CoV-2 genomes collected between January and July 2021, where the Gamma (P.1), Lambda (C.37), Alpha (B.1.1.7), B.1.1.348, and B.1.1 lineages were predominant. Using a Bayesian model tailored for limited genomic surveillance, we found that Lambda and Gamma variants' reproduction numbers were about 5% and 16% larger than Alpha's, respectively. We observed an overabundance of mutations in the Spike gene, strongly correlated with the variant's transmissibility. Furthermore, the variants' mutational signatures featured a breakpoint concurrent with the beginning of vaccination (mostly CoronaVac, an inactivated virus vaccine), indicating an additional putative selective pressure. Thus, our work provides a reliable method for quantifying novel variants' transmissibility under subsampling (as newly-reported Delta, B.1.617.2) and highlights the importance of continuous genomic surveillance. △ Less

Submitted 23 August, 2021; originally announced August 2021.

Global fractional Calderón-Zygmund type regularity

Authors: Boumediene Abdellaoui, Antonio J. Fernández, Tommaso Leonori, Abdelbadie Younes

Abstract: We obtain a global fractional Calderón-Zygmund regularity theory for the fractional Poisson problem. More precisely, for $Ω\subset \mathbb{R}^N$, $N \geq 2$, a bounded domain with boundary $\partial Ω$ of class $C^2$, $s \in (0,1)$ and $f \in L^m(Ω)$ for some $m \geq 1$, we consider the problem… ▽ More We obtain a global fractional Calderón-Zygmund regularity theory for the fractional Poisson problem. More precisely, for $Ω\subset \mathbb{R}^N$, $N \geq 2$, a bounded domain with boundary $\partial Ω$ of class $C^2$, $s \in (0,1)$ and $f \in L^m(Ω)$ for some $m \geq 1$, we consider the problem $$ \left. \begin{aligned} (-Δ)^s u = f \quad \mbox{in } Ω, \qquad\ u = 0 \quad \mbox{in } \mathbb{R}^N \setminus Ω, \end{aligned} \right. $$ and, according to $m$, we find the values of $s \leq t < \min\{1,2s\}$ and of $1 < p < +\infty$ such that $u \in L^{t,p}(\mathbb{R}^N)$ and such that $u \in W^{t,p}(\mathbb{R}^N)$. △ Less

Submitted 18 April, 2023; v1 submitted 14 July, 2021; originally announced July 2021.

Comments: 20 pages, section 2 removed and presentation improved

On first and second order linear Stieltjes differential equations

Authors: Francisco J. Fernández, Ignacio Márquez Albés, F. Adrián F. Tojo

Abstract: This work deals with the obtaining of solutions of first and second order Stieltjes differential equations. We define the notions of Stieltjes derivative on the whole domain of the functions involved, provide a notion of n-times continuously Stieltjes-differentiable functions and prove existence and uniqueness results of Stieltjes differential equations in those spaces. We also present the Green's… ▽ More This work deals with the obtaining of solutions of first and second order Stieltjes differential equations. We define the notions of Stieltjes derivative on the whole domain of the functions involved, provide a notion of n-times continuously Stieltjes-differentiable functions and prove existence and uniqueness results of Stieltjes differential equations in those spaces. We also present the Green's functions associated to the different problems and an application to the Stieltjes harmonic oscillator. △ Less

Submitted 22 September, 2021; v1 submitted 17 June, 2021; originally announced June 2021.

Comments: 40 pages, 11 figures

MSC Class: 26A24; 34A12; 34A36

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

Error analysis of forced discrete mechanical systems

Authors: Javier Fernández, Sebastián Elías Graiff Zurita, Sergio Grillo

Abstract: The purpose of this paper is to perform an error analysis of the variational integrators of mechanical systems subject to external forcing. Essentially, we prove that when a discretization of contact order $r$ of the Lagrangian and force are used, the integrator has the same contact order. Our analysis is performed first for discrete forced mechanical systems defined over $TQ$, where we study the… ▽ More The purpose of this paper is to perform an error analysis of the variational integrators of mechanical systems subject to external forcing. Essentially, we prove that when a discretization of contact order $r$ of the Lagrangian and force are used, the integrator has the same contact order. Our analysis is performed first for discrete forced mechanical systems defined over $TQ$, where we study the existence of flows, the construction and properties of discrete exact systems and the contact order of the flows (variational integrators) in terms of the contact order of the original systems. Then we use those results to derive the corresponding analysis for the analogous forced systems defined over $Q\times Q$. △ Less

Submitted 12 November, 2021; v1 submitted 19 March, 2021; originally announced March 2021.

Comments: Minor revision: slight modification of Definition 3.1 to accept more general examples. All results remain unchanged

MSC Class: 37J99; 37M15; 70G45 (Primary) 70G75; 70K35 (Secondary)

Journal ref: J. Geom. Mech. 13, 533-606 (2021)

Some non-homogeneous Gagliardo-Nirenberg inequalities and application to a biharmonic non-linear Schrödinger equation

Authors: Antonio J. Fernández, Louis Jeanjean, Rainer Mandel, Mihai Mariş

Abstract: We study the standing waves for a fourth-order Schrödinger equation with mixed dispersion that minimize the associated energy when the $L^2-$norm (the \textit{mass}) } is kept fixed. We need some non-homogeneous Gagliardo-Nirenberg-type inequalities and we develop a method to prove such estimates that should be useful elsewhere. We prove optimal results on the existence of minimizers in the {\it m… ▽ More We study the standing waves for a fourth-order Schrödinger equation with mixed dispersion that minimize the associated energy when the $L^2-$norm (the \textit{mass}) } is kept fixed. We need some non-homogeneous Gagliardo-Nirenberg-type inequalities and we develop a method to prove such estimates that should be useful elsewhere. We prove optimal results on the existence of minimizers in the {\it mass-subcritical } and {\it mass-critical } cases. In the { \it mass supercritical} case we show that global minimizers do not exist, and we investigate the existence of local minimizers. If the mass does not exceed some threshold $ μ_0 \in (0,+\infty)$, our results on "best" local minimizers are also optimal. △ Less

Submitted 13 May, 2022; v1 submitted 3 October, 2020; originally announced October 2020.

Comments: Final version. The article will appear in Journal of Differential Equations 328 (2022), pp. 1-65

Journal ref: Journal of Differential Equations 330 (2022), 1-65

Lagrangian reduction of nonholonomic discrete mechanical systems by stages

Authors: Javier Fernandez, Cora Tori, Marcela Zuccalli

Abstract: In this work we introduce a category $LDP_d$ of discrete-time dynamical systems, that we call discrete Lagrange--D'Alembert--Poincaré systems, and study some of its elementary properties. Examples of objects of $LDP_d$ are nonholonomic discrete mechanical systems as well as their lagrangian reductions and, also, discrete Lagrange-Poincaré systems. We also introduce a notion of symmetry group for o… ▽ More In this work we introduce a category $LDP_d$ of discrete-time dynamical systems, that we call discrete Lagrange--D'Alembert--Poincaré systems, and study some of its elementary properties. Examples of objects of $LDP_d$ are nonholonomic discrete mechanical systems as well as their lagrangian reductions and, also, discrete Lagrange-Poincaré systems. We also introduce a notion of symmetry group for objects of $LDP_d$ and a process of reduction when symmetries are present. This reduction process extends the reduction process of discrete Lagrange--Poincaré systems as well as the one defined for nonholonomic discrete mechanical systems. In addition, we prove that, under some conditions, the two-stage reduction process (first by a closed and normal subgroup of the symmetry group and, then, by the residual symmetry group) produces a system that is isomorphic in $LDP_d$ to the system obtained by a one-stage reduction by the full symmetry group. △ Less

Submitted 20 September, 2020; originally announced September 2020.

MSC Class: 37J15; 70G45 (Primary); 70G75 (Secondary)

Journal ref: J. Geom. Mech., 12 (2020), 607-639

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

The nonlinear Schrödinger equation in the half-space

Authors: Antonio J. Fernández, Tobias Weth

Abstract: The present paper is concerned with the half-space Dirichlet problem \begin{equation} \tag{$P_c$} \label{problem-abstract} -Δv + v = |v|^{p-1}v,\ \mbox{ in } \mathbb{R}^N_{+}, \qquad v = c,\ \mbox{ on } \partial \mathbb{R}^N_{+},\ \qquad \lim_{x_N \to \infty} v(x',x_N) = 0 \mbox{ uniformly in }x' \in \mathbb{R}^{N-1}, \end{equation} where $\mathbb{R}^N_{+} := \{\,x \in \mathbb{R}^N: x_N > 0\, \}$… ▽ More The present paper is concerned with the half-space Dirichlet problem \begin{equation} \tag{$P_c$} \label{problem-abstract} -Δv + v = |v|^{p-1}v,\ \mbox{ in } \mathbb{R}^N_{+}, \qquad v = c,\ \mbox{ on } \partial \mathbb{R}^N_{+},\ \qquad \lim_{x_N \to \infty} v(x',x_N) = 0 \mbox{ uniformly in }x' \in \mathbb{R}^{N-1}, \end{equation} where $\mathbb{R}^N_{+} := \{\,x \in \mathbb{R}^N: x_N > 0\, \}$ for some $N \geq 1$ and $p > 1$, $c > 0$ are constants. We analyse the existence, non-existence and multiplicity of bounded positive solutions to \eqref{problem-abstract}. We prove that the existence and multiplicity of bounded positive solutions to \eqref{problem-abstract} depend in a striking way on the value of $c > 0$ and also on the dimension $N$. We find an explicit number $c_p \in (1,\sqrt{e})$, depending only on $p$, which determines the threshold between existence and non-existence. In particular, in dimensions $N \geq 2$, we prove that, for $0 < c < c_p$, problem \eqref{problem-abstract} admits infinitely many bounded positive solutions, whereas, for $c > c_p$, there are no bounded positive solutions to \eqref{problem-abstract}. △ Less

Submitted 1 December, 2020; v1 submitted 1 August, 2020; originally announced August 2020.

Comments: Minor changes have been made; to appear in "Mathematische Annalen"

Invariants of limit key polynomials

Authors: Maria Alberich-Carramiñana, Alberto F. Boix, Julio Fernández, Jordi Guàrdia, Enric Nart, Joaquim Roé

Abstract: Let $ν$ be a valuation of arbitrary rank on the polynomial ring $K[x]$ with coefficients in a field $K$. We prove comparison theorems between MacLane-Vaquié key polynomials for valuations $μ\leν$ and abstract key polynomials for $ν$. Also, some results on invariants attached to limit key polynomials are obtained. In particular, if $\operatorname{char}(K)=0$ we show that all limit key polynomials… ▽ More Let $ν$ be a valuation of arbitrary rank on the polynomial ring $K[x]$ with coefficients in a field $K$. We prove comparison theorems between MacLane-Vaquié key polynomials for valuations $μ\leν$ and abstract key polynomials for $ν$. Also, some results on invariants attached to limit key polynomials are obtained. In particular, if $\operatorname{char}(K)=0$ we show that all limit key polynomials of unbounded continuous MacLane chains have numerical character equal to one. △ Less

Submitted 9 May, 2020; originally announced May 2020.

Stieltjes Bochner spaces and applications to the study of parabolic equations

Authors: Francisco J. Fernández, F. Adrián F. Tojo

Abstract: This work is devoted to the mathematical analysis of Stieltjes Bochner spaces and their applications to the resolution of a parabolic equation with Stieltjes time derivative. This novel formulation allows us to study parabolic equations that present impulses at certain times or lapses where the system does not evolve at all and presents an elliptic behavior. We prove several theoretical results re… ▽ More This work is devoted to the mathematical analysis of Stieltjes Bochner spaces and their applications to the resolution of a parabolic equation with Stieltjes time derivative. This novel formulation allows us to study parabolic equations that present impulses at certain times or lapses where the system does not evolve at all and presents an elliptic behavior. We prove several theoretical results related to existence of solution, and propose a full algorithm for its computation, illustrated with some realistic numerical examples related to population dynamics. △ Less

Submitted 14 May, 2020; v1 submitted 30 January, 2020; originally announced January 2020.

Comments: Preprint

MSC Class: 28B05; 46G10; 35D30; 35K65; 65N06

Journal ref: J. Math. Anal. Appl. 488 (2020) 124079

Approximation of Stieltjes ordinary differential equations

Authors: Francisco J. Fernández, F. Adrián F. Tojo

Abstract: This work is devoted to the obtaining of a new numerical scheme based in quadrature formulas for the Lebesgue-Stieltjes integral for the approximation of Stieltjes ordinary differential equations. This novel method allows us to numerically approximate models based in Stieltjes ordinary differential equations for which no explicit solution is known. We prove several theoretical results related to t… ▽ More This work is devoted to the obtaining of a new numerical scheme based in quadrature formulas for the Lebesgue-Stieltjes integral for the approximation of Stieltjes ordinary differential equations. This novel method allows us to numerically approximate models based in Stieltjes ordinary differential equations for which no explicit solution is known. We prove several theoretical results related to the consistency, convergence and stability of the numerical method. We also obtain the explicit solution of the Stieltjes linear ordinary differential equation, and we use it to validate the numerical method. Finally, we present some numerical results that we have obtained for a realistic population model based in a Stieltjes differential equation. △ Less

Submitted 19 February, 2020; v1 submitted 29 January, 2020; originally announced January 2020.

Comments: Preprint

MSC Class: 34A36; 28A25; 65L20; 65L70

Hausdorff Measures, Dyadic Approximations and Dobiński Set

Authors: Alberto Dayan, José L. Fernández, María J. González

Abstract: Dobiński set $\mathcal{D}$ is an exceptional set for a certain infinite product identity, whose points are characterized as having exceedingly good approximations by dyadic rationals. We study the Hausdorff dimension and logarithmic measure of $\mathcal{D}$ by means of the Mass Transference Principle and by the construction of certain appropriate Cantor-like sets, termed willow sets, contained in… ▽ More Dobiński set $\mathcal{D}$ is an exceptional set for a certain infinite product identity, whose points are characterized as having exceedingly good approximations by dyadic rationals. We study the Hausdorff dimension and logarithmic measure of $\mathcal{D}$ by means of the Mass Transference Principle and by the construction of certain appropriate Cantor-like sets, termed willow sets, contained in $\mathcal{D}$. △ Less

Submitted 13 November, 2019; originally announced November 2019.

Some remarks on a minimization problem associated to a fourth order nonlinear Schrödinger equation

Authors: Nabile Boussaïd, Antonio J. Fernández, Louis Jeanjean

Abstract: Let $γ> 0\,$, $β> 0\,$, $α> 0$ and $0 < σN < 4$. In the present paper, we study, for $c > 0$ given, the constrained minimization problem \begin{equation*} \label{MinL2fixed} m(c):=\inf_{u\in S (c) }E(u), \end{equation*} where \begin{equation*} E (u):=\fracγ{2}\int_{\mathbb{R}^N}|Δu|^2\, dx -\fracβ{2}\int_{\mathbb{R}^N}|\nabla u|^2\, dx-\fracα{2σ+2}\int_{\mathbb{R}^N}|u|^{2σ+2}\, dx, \end{equation*… ▽ More Let $γ> 0\,$, $β> 0\,$, $α> 0$ and $0 < σN < 4$. In the present paper, we study, for $c > 0$ given, the constrained minimization problem \begin{equation*} \label{MinL2fixed} m(c):=\inf_{u\in S (c) }E(u), \end{equation*} where \begin{equation*} E (u):=\fracγ{2}\int_{\mathbb{R}^N}|Δu|^2\, dx -\fracβ{2}\int_{\mathbb{R}^N}|\nabla u|^2\, dx-\fracα{2σ+2}\int_{\mathbb{R}^N}|u|^{2σ+2}\, dx, \end{equation*} and \begin{equation*} S(c):=\left\{u\in H^2(\mathbb{R}^N):\int_{\mathbb{R}^N}|u|^{2}\, dx=c\right\}. \end{equation*} The aim of our study is twofold. On one hand, this minimization problem is related to the existence and orbital stability of standing waves for the mixed dispersion nonlinear biharmonic Schrödinger equation \begin{equation*} i \partial_t ψ-γΔ^2 ψ- βΔψ+ α|ψ|^{2σ} ψ=0, \quad ψ(0, x)=ψ_0 (x),\quad (t, x) \in \mathbb{R} \times \mathbb{R}^N. \end{equation*} On the other hand, in most of the applications of the Concentration-Compactness principle of P.-L. Lions, the difficult part is to deal with the possible dichotomy of the minimizing sequences. The problem under consideration provides an example for which, to rule out the dichotomy is rather standard while, to rule out the vanishing, here for $c > 0$ small, is challenging. We also provide, in the limit $c \to 0$, a precise description of the behaviour of the minima. Finally, some extensions and open problems are proposed. △ Less

Submitted 15 December, 2020; v1 submitted 29 October, 2019; originally announced October 2019.

Existence and multiplicity for an elliptic problem with critical growth in the gradient and sign-changing coefficients

Authors: Colette De Coster, Antonio J. Fernández

Abstract: Let $Ω\subset \mathbb{R}^N$, $N \geq 2$, be a smooth bounded domain. We consider the boundary value problem \begin{equation} \label{Plambda-Abstract-ch3} \tag{$P_λ$} -Δu = c_λ(x) u + μ|\nabla u|^2 + h(x)\,, \quad u \in H_0^1(Ω) \cap L^{\infty}(Ω)\,, \end{equation} where $c_λ$ and $h$ belong to $L^q(Ω)$ for some $q > N/2$, $μ$ belongs to $\mathbb{R} \setminus \{0\}$ and we write $c_λ$ under the for… ▽ More Let $Ω\subset \mathbb{R}^N$, $N \geq 2$, be a smooth bounded domain. We consider the boundary value problem \begin{equation} \label{Plambda-Abstract-ch3} \tag{$P_λ$} -Δu = c_λ(x) u + μ|\nabla u|^2 + h(x)\,, \quad u \in H_0^1(Ω) \cap L^{\infty}(Ω)\,, \end{equation} where $c_λ$ and $h$ belong to $L^q(Ω)$ for some $q > N/2$, $μ$ belongs to $\mathbb{R} \setminus \{0\}$ and we write $c_λ$ under the form $c_λ:= λc_{+} - c_{-}$ with $c_{+} \gneqq 0$, $c_{-} \geq 0$, $c_{+} c_{-} \equiv 0$ and $λ\in \mathbb{R}$. Here $c_λ$ and $h$ are both allowed to change sign. As a first main result we give a necessary and sufficient condition which guarantees the existence of a unique solution to \eqref{Plambda-Abstract-ch3} when $λ\leq 0$. Then, assuming that $(P_0)$ has a solution, we prove existence and multiplicity results for $λ> 0$. Our proofs rely on a suitable change of variable of type $v = F(u)$ and the combination of variational methods with lower and upper solution techniques. △ Less

Submitted 11 September, 2019; originally announced September 2019.

MSC Class: 35J20; 35J25; 35J62

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