-
Sketching Low-Rank Plus Diagonal Matrices
Authors:
Andres Fernandez,
Felix Dangel,
Philipp Hennig,
Frank Schneider
Abstract:
Many relevant machine learning and scientific computing tasks involve high-dimensional linear operators accessible only via costly matrix-vector products. In this context, recent advances in sketched methods have enabled the construction of *either* low-rank *or* diagonal approximations from few matrix-vector products. This provides great speedup and scalability, but approximation errors arise due…
▽ More
Many relevant machine learning and scientific computing tasks involve high-dimensional linear operators accessible only via costly matrix-vector products. In this context, recent advances in sketched methods have enabled the construction of *either* low-rank *or* diagonal approximations from few matrix-vector products. This provides great speedup and scalability, but approximation errors arise due to the assumed simpler structure. This work introduces SKETCHLORD, a method that simultaneously estimates both low-rank *and* diagonal components, targeting the broader class of Low-Rank *plus* Diagonal (LoRD) linear operators. We demonstrate theoretically and empirically that this joint estimation is superior also to any sequential variant (diagonal-then-low-rank or low-rank-then-diagonal). Then, we cast SKETCHLORD as a convex optimization problem, leading to a scalable algorithm. Comprehensive experiments on synthetic (approximate) LoRD matrices confirm SKETCHLORD's performance in accurately recovering these structures. This positions it as a valuable addition to the structured approximation toolkit, particularly when high-fidelity approximations are desired for large-scale operators, such as the deep learning Hessian.
△ Less
Submitted 27 September, 2025;
originally announced September 2025.
-
An Improved Robin-Robin Coupling Method for Parabolic-Parabolic Interface Problems
Authors:
Erik Burman,
Miguel A. Fernandez,
Johnny Guzman,
Sijing Liu
Abstract:
We consider a loosely coupled, non-iterative Robin-Robin coupling method proposed and analyzed in [Numer. Algorithms, 99:921-948, 2025] for a parabolic-parabolic interface problem. We modify the first step of the scheme so that several error difference quantities remain higher order convergence without requiring additional assumptions. Numerical results are presented to support our findings.
We consider a loosely coupled, non-iterative Robin-Robin coupling method proposed and analyzed in [Numer. Algorithms, 99:921-948, 2025] for a parabolic-parabolic interface problem. We modify the first step of the scheme so that several error difference quantities remain higher order convergence without requiring additional assumptions. Numerical results are presented to support our findings.
△ Less
Submitted 9 September, 2025;
originally announced September 2025.
-
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.
-
A mathematical perspective on the paradox that chemotherapy sometimes works backwards
Authors:
Luis A. Fernández,
Isabel Lasheras,
Cecilia Pola
Abstract:
Doctors are well aware that sometimes cancer treatments not only fail, but even work backwards, i.e. they make the treated tumor grow. In this work we present a mathematical perspective on this paradox in the case of chemotherapy, by studying a minimally parameterized mathematical model for the system composed of the tumor and the surrounding vasculature. To this end, we will use a system of two w…
▽ More
Doctors are well aware that sometimes cancer treatments not only fail, but even work backwards, i.e. they make the treated tumor grow. In this work we present a mathematical perspective on this paradox in the case of chemotherapy, by studying a minimally parameterized mathematical model for the system composed of the tumor and the surrounding vasculature. To this end, we will use a system of two well-established nonlinear ordinary differential equations, which incorporates the cytotoxic (via the Norton-Simon hypothesis) and antiangiogenic effects of chemotherapy. Finally, we provide two theoretical ways to avoid these anomalies.
△ Less
Submitted 10 March, 2025;
originally announced March 2025.
-
Canonical quotients in model theory
Authors:
Adrián Portillo Fernández
Abstract:
We study canonical quotients in model theory, mainly stable quotients of type-definable groups and invariant types in NIP theories. We extend the modelling property to continuous theories and use it to study $n$-dependence in hyperdefinable sets. Furthermore, we study maximal WAP and tame quotients of $S_X(\mathfrak{C})$, where $\mathfrak{C}$ is a monster model of a complete theory $T$ and $X$ is…
▽ More
We study canonical quotients in model theory, mainly stable quotients of type-definable groups and invariant types in NIP theories. We extend the modelling property to continuous theories and use it to study $n$-dependence in hyperdefinable sets. Furthermore, we study maximal WAP and tame quotients of $S_X(\mathfrak{C})$, where $\mathfrak{C}$ is a monster model of a complete theory $T$ and $X$ is an $\emptyset$-type-definable set and show that the Ellis groups of the maximal WAP quotient flow and the maximal tame quotient flow do not depend on the choice of the monster model $\mathfrak{C}$.
△ Less
Submitted 19 December, 2024;
originally announced December 2024.
-
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.
-
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.
-
n-dependent continuous theories and hyperdefinable sets
Authors:
Adrián Portillo Fernández
Abstract:
We define the continuous modeling property for first-order structures and show that a first-order structure has the continuous modelling property if and only if its age has the embedding Ramsey property. We use generalized indiscernible sequences in continuous logic to study and characterize $n$-dependence for continuous theories and first-order hyperdefinable sets in terms of the collapse of indi…
▽ More
We define the continuous modeling property for first-order structures and show that a first-order structure has the continuous modelling property if and only if its age has the embedding Ramsey property. We use generalized indiscernible sequences in continuous logic to study and characterize $n$-dependence for continuous theories and first-order hyperdefinable sets in terms of the collapse of indiscernible sequences.
△ Less
Submitted 30 May, 2024;
originally announced May 2024.
-
A second-order correction method for loosely coupled discretizations applied to parabolic-parabolic interface problems
Authors:
Erik Burman,
Rebecca Durst,
Miguel A. Fernández,
Johnny Guzmán,
Sijing Liu
Abstract:
We consider a parabolic-parabolic interface problem and construct a loosely coupled prediction-correction scheme based on the Robin-Robin splitting method analyzed in [J. Numer. Math., 31(1):59--77, 2023]. We show that the errors of the correction step converge at $\mathcal O((Δt)^2)$, under suitable convergence rate assumptions on the discrete time derivative of the prediction step, where $Δt$ st…
▽ More
We consider a parabolic-parabolic interface problem and construct a loosely coupled prediction-correction scheme based on the Robin-Robin splitting method analyzed in [J. Numer. Math., 31(1):59--77, 2023]. We show that the errors of the correction step converge at $\mathcal O((Δt)^2)$, under suitable convergence rate assumptions on the discrete time derivative of the prediction step, where $Δt$ stands for the time-step length. Numerical results are shown to support our analysis and the assumptions.
△ Less
Submitted 1 April, 2024;
originally announced April 2024.
-
Estimates of discrete time derivatives for the parabolic-parabolic Robin-Robin coupling method
Authors:
Erik Burman,
Rebecca Durst,
Miguel A. Fernández,
Johnny Guzmán,
Sijing Liu
Abstract:
We consider a loosely coupled, non-iterative Robin-Robin coupling method proposed and analyzed in [J. Numer. Math., 31(1):59--77, 2023] for a parabolic-parabolic interface problem and prove estimates for the discrete time derivatives of the scalar field in different norms. When the interface is flat and perpendicular to two of the edges of the domain we prove error estimates in the $H^2$-norm. Suc…
▽ More
We consider a loosely coupled, non-iterative Robin-Robin coupling method proposed and analyzed in [J. Numer. Math., 31(1):59--77, 2023] for a parabolic-parabolic interface problem and prove estimates for the discrete time derivatives of the scalar field in different norms. When the interface is flat and perpendicular to two of the edges of the domain we prove error estimates in the $H^2$-norm. Such estimates are key ingredients to analyze a defect correction method for the parabolic-parabolic interface problem. Numerical results are shown to support our findings.
△ Less
Submitted 10 September, 2025; v1 submitted 1 April, 2024;
originally announced April 2024.
-
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.
-
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.
-
Flow map parameterization methods for invariant tori in quasi-periodic Hamiltonian systems
Authors:
Álvaro Fernández,
Alex Haro,
Josep-Maria Mondelo
Abstract:
The purpose of this paper is to present a method to compute parameterizations of invariant tori and bundles in non-autonomous quasi-periodic Hamiltonian systems. We generalize flow map parameterization methods to the quasi-periodic setting. To this end, we introduce the notion of fiberwise isotropic tori and sketch definitions and results on fiberwise symplectic deformations and their moment maps.…
▽ More
The purpose of this paper is to present a method to compute parameterizations of invariant tori and bundles in non-autonomous quasi-periodic Hamiltonian systems. We generalize flow map parameterization methods to the quasi-periodic setting. To this end, we introduce the notion of fiberwise isotropic tori and sketch definitions and results on fiberwise symplectic deformations and their moment maps. These constructs are vital to work in a suitable setting and lead to the proofs of magic cancellations that guarantee the existence of solutions of cohomological equations. We apply our algorithms in the Elliptic Restricted Three Body Problem and compute non-resonant 3-dimensional invariant tori and their invariant bundles around the L1 point.
△ Less
Submitted 1 December, 2022;
originally announced December 2022.
-
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.
-
Prabhakar-type linear differential equations with variable coefficients
Authors:
Arran Fernandez,
Joel E. Restrepo,
Durvudkhan Suragan
Abstract:
Linear differential equations with variable coefficients and Prabhakar-type operators featuring Mittag-Leffler kernels are solved. In each case, the unique solution is constructed explicitly as a convergent infinite series involving compositions of Prabhakar fractional integrals. We also extend these results to Prabhakar operators with respect to functions. As an important illustrative example, we…
▽ More
Linear differential equations with variable coefficients and Prabhakar-type operators featuring Mittag-Leffler kernels are solved. In each case, the unique solution is constructed explicitly as a convergent infinite series involving compositions of Prabhakar fractional integrals. We also extend these results to Prabhakar operators with respect to functions. As an important illustrative example, we consider the case of constant coefficients, and give the solutions in a more closed form by using multivariate Mittag-Leffler functions.
△ Less
Submitted 25 May, 2022;
originally announced May 2022.
-
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.
-
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.
-
Weighted fractional calculus: a general class of operators
Authors:
Arran Fernandez,
Hafiz Muhammad Fahad
Abstract:
The operators of fractional calculus come in many different types, which can be categorised into general classes according to their nature and properties. We conduct a formal study of the class known as weighted fractional calculus and its extension to the larger class known as weighted fractional calculus with respect to functions. These classes contain tempered, Hadamard-type, and Erdélyi--Kober…
▽ More
The operators of fractional calculus come in many different types, which can be categorised into general classes according to their nature and properties. We conduct a formal study of the class known as weighted fractional calculus and its extension to the larger class known as weighted fractional calculus with respect to functions. These classes contain tempered, Hadamard-type, and Erdélyi--Kober operators as special cases, and in general they can be related to the classical Riemann--Liouville fractional calculus via conjugation relations. Considering the corresponding modifications of the Laplace transform and convolution operations enables differential equations to be solved in the setting of these general classes of operators.
△ Less
Submitted 10 February, 2022; v1 submitted 8 January, 2022;
originally announced January 2022.
-
CFD simulations of turbulent dust dispersion in the 20 L vessel using OpenFOAM
Authors:
Alain Islas,
Andrés Rodróguez Fernández,
Covadonga Betegón,
Emilio Martínez-Pañeda,
Adrián Pandal
Abstract:
Dust explosions are among the most hazardous accidents affecting industrial facilities processing particulate solids. Describing the severity parameters of dust clouds is critical to the safety management and risk assessment of dust explosions. These parameters are determined experimentally in a 20L spherical vessel, following the ASTM E1226 or UNE 14034 standards. Since their reproducibility depe…
▽ More
Dust explosions are among the most hazardous accidents affecting industrial facilities processing particulate solids. Describing the severity parameters of dust clouds is critical to the safety management and risk assessment of dust explosions. These parameters are determined experimentally in a 20L spherical vessel, following the ASTM E1226 or UNE 14034 standards. Since their reproducibility depends on the levels of turbulence associated with the dust cloud, a computational model of the multi-phase (gas-solid) flow is used to simulate the dispersion process with the open-source CFD code OpenFOAM. The model is successfully validated against experimental measurements from the literature and numerical results of a commercial CFD code. In addition, this study considers the impact of particle size on the turbulence of the carrier phase, suggesting that particles attenuate its turbulence intensity. Moreover, the model predicts well the formation of a two-vortex flow pattern, which has a negative impact on the distribution of the particle-laden flows with d<=100 um, as most of the particles concentrate at the near-wall region. Contrarily, an improved homogeneity of dust cloud is observed for a case fed with larger particles (d=200 um), as the increased inertia of these particles allows them to enter into the re-circulation regions.
△ Less
Submitted 8 December, 2021;
originally announced January 2022.
-
A mathematical justification for metronomic chemotherapy in oncology
Authors:
Luis A. Fernández,
Cecilia Pola,
Judith Sáinz-Pardo
Abstract:
We mathematically justify metronomic chemotherapy as the best strategy to apply most cytotoxic drugs in oncology for both curative and palliative approaches, assuming the classical pharmacokinetic model together with the Emax pharmacodynamic and the Norton-Simon hypothesis.
From the mathematical point of view, we will consider two mixed-integer nonlinear optimization problems, where the unknowns…
▽ More
We mathematically justify metronomic chemotherapy as the best strategy to apply most cytotoxic drugs in oncology for both curative and palliative approaches, assuming the classical pharmacokinetic model together with the Emax pharmacodynamic and the Norton-Simon hypothesis.
From the mathematical point of view, we will consider two mixed-integer nonlinear optimization problems, where the unknowns are the number of the doses and the quantity of each one, adjusting the administration times a posteriori
△ Less
Submitted 14 October, 2021;
originally announced October 2021.
-
Associahedra minimize $f$-vectors of secondary polytopes of planar point sets
Authors:
Antonio Fernández,
Francisco Santos
Abstract:
Kupavskii, Volostnov, and Yarovikov have recently shown that any set of $n$ points in general position in the plane has at least as many (partial) triangulations as the convex $n$-gon. We generalize this in two directions: we show that regular triangulations are enough, and we extend the result to all regular subdivisions, graded by the dimension of their corresponding face in the secondary polyto…
▽ More
Kupavskii, Volostnov, and Yarovikov have recently shown that any set of $n$ points in general position in the plane has at least as many (partial) triangulations as the convex $n$-gon. We generalize this in two directions: we show that regular triangulations are enough, and we extend the result to all regular subdivisions, graded by the dimension of their corresponding face in the secondary polytope.
△ Less
Submitted 9 May, 2025; v1 submitted 1 October, 2021;
originally announced October 2021.
-
Lipschitz and Fourier type conditions with moduli of continuity in rank 1 symmetric spaces
Authors:
Arran Fernandez,
Joel E. Restrepo,
Durvudkhan Suragan
Abstract:
Sufficient and necessary results have been proven on Lipschitz type integral conditions and bounds of its Fourier transform for an $L^2$ function, in the setting of Riemannian symmetric spaces of rank $1$ whose growth depends on a $k$th-order modulus of continuity.
Sufficient and necessary results have been proven on Lipschitz type integral conditions and bounds of its Fourier transform for an $L^2$ function, in the setting of Riemannian symmetric spaces of rank $1$ whose growth depends on a $k$th-order modulus of continuity.
△ Less
Submitted 23 September, 2021;
originally announced September 2021.
-
On tempered fractional calculus with respect to functions and the associated fractional differential equations
Authors:
Ashwini D. Mali,
Kishor D. Kucche,
Arran Fernandez,
Hafiz Muhammad Fahad
Abstract:
The prime aim of the present paper is to continue developing the theory of tempered fractional integrals and derivatives of a function with respect to another function. This theory combines the tempered fractional calculus with the $Ψ$-fractional calculus, both of which have found applications in topics including continuous time random walks. After studying the basic theory of the $Ψ$-tempered ope…
▽ More
The prime aim of the present paper is to continue developing the theory of tempered fractional integrals and derivatives of a function with respect to another function. This theory combines the tempered fractional calculus with the $Ψ$-fractional calculus, both of which have found applications in topics including continuous time random walks. After studying the basic theory of the $Ψ$-tempered operators, we prove mean value theorems and Taylor's theorems for both Riemann--Liouville type and Caputo type cases of these operators. Furthermore, we study some nonlinear fractional differential equations involving $Ψ$-tempered derivatives, proving existence-uniqueness theorems by using the Banach contraction principle, and proving stability results by using Grönwall type inequalities.
△ Less
Submitted 18 February, 2022; v1 submitted 13 August, 2021;
originally announced August 2021.
-
Matching arc complexes: connectedness and hyperbolicity
Authors:
Javier Aramayona,
Rodrigo de Pool,
Alejandro Fernández
Abstract:
Addressing a question of Zaremsky, we give conditions on a finite simplicial graph which guarantee that the associated matching arc complex is connected and hyperbolic.
Addressing a question of Zaremsky, we give conditions on a finite simplicial graph which guarantee that the associated matching arc complex is connected and hyperbolic.
△ Less
Submitted 12 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.
-
Discrete Lagrange Problems with Constraints Valued in a Lie Group
Authors:
Pablo M. Chacón,
Antonio Fernández,
Pedro L. García
Abstract:
The Lagrange problem is established in the discrete field theory subject to constraints with values in a Lie group. For the admissible sections that satisfy a certain regularity condition, we prove that the critical sections of such problems are the solutions of a canonically unconstrained variational problem associated with the Lagrange problem (discrete Lagrange multiplier rule). This variationa…
▽ More
The Lagrange problem is established in the discrete field theory subject to constraints with values in a Lie group. For the admissible sections that satisfy a certain regularity condition, we prove that the critical sections of such problems are the solutions of a canonically unconstrained variational problem associated with the Lagrange problem (discrete Lagrange multiplier rule). This variational problem has a discrete Cartan 1-form, from which a Noether theory of symmetries and a multisymplectic form formula are established. The whole theory is applied to the Euler-Poincaré reduction in the discrete field theory, concluding as an illustration with the remarkable example of the harmonic maps of the discrete plane in the Lie group $SO(n)$.
△ Less
Submitted 3 January, 2023; v1 submitted 3 June, 2021;
originally announced June 2021.
-
A new representation for the solutions of fractional differential equations with variable coefficients
Authors:
Arran Fernandez,
Joel E. Restrepo,
Durvudkhan Suragan
Abstract:
A recent development in the theory of fractional differential equations with variable coefficients has been a method for obtaining an exact solution in the form of an infinite series involving nested fractional integral operators. This solution representation is constructive but difficult to calculate in practice. Here we show a new representation of the solution function, as a convergent series o…
▽ More
A recent development in the theory of fractional differential equations with variable coefficients has been a method for obtaining an exact solution in the form of an infinite series involving nested fractional integral operators. This solution representation is constructive but difficult to calculate in practice. Here we show a new representation of the solution function, as a convergent series of single fractional integrals, which will be easier to use for computational work and applications. In the particular case of constant coefficients, the solution is given in terms of the Mittag-Leffler function. We also show some applications in Cauchy problems for partial differential equations involving both time-fractional and space-fractional operators and with time-dependent coefficients.
△ Less
Submitted 29 April, 2021;
originally announced May 2021.
-
A mechanically consistent model for fluid-structure interactions with contact including seepage
Authors:
Erik Burman,
Miguel A. Fernández,
Stefan Frei,
Fannie M. Gerosa
Abstract:
We present a new approach for the mechanically consistent modelling and simulation of fluid-structure interactions with contact. The fundamental idea consists of combining a relaxed contact formulation with the modelling of seepage through a porous layer of co-dimension 1 during contact. For the latter, a Darcy model is considered in a thin porous layer attached to a solid boundary in the limit of…
▽ More
We present a new approach for the mechanically consistent modelling and simulation of fluid-structure interactions with contact. The fundamental idea consists of combining a relaxed contact formulation with the modelling of seepage through a porous layer of co-dimension 1 during contact. For the latter, a Darcy model is considered in a thin porous layer attached to a solid boundary in the limit of infinitesimal thickness. In combination with a relaxation of the contact conditions the computational model is both mechanically consistent and simple to implement. We analyse the approach in detailed numerical studies with both thick- and thin-walled solids, within a fully Eulerian and an immersed approach for the fluid-structure interaction and using fitted and unfitted finite element discretisations.
△ Less
Submitted 20 March, 2021;
originally announced March 2021.
-
Accretive Computation of Global Transformations
Authors:
Alexandre Fernandez,
Luidnel Maignan,
Antoine Spicher
Abstract:
Global transformations form a categorical framework adapting graph transformations to describe fully synchronous rule systems on a given data structure.In this work we focus on data structures that can be captured as presheaves and study the computational aspects of such synchronous rule systems.To obtain an online algorithm, a complete study of the sub-steps within each synchronous step is done a…
▽ More
Global transformations form a categorical framework adapting graph transformations to describe fully synchronous rule systems on a given data structure.In this work we focus on data structures that can be captured as presheaves and study the computational aspects of such synchronous rule systems.To obtain an online algorithm, a complete study of the sub-steps within each synchronous step is done at the semantic level.This leads to the definition of accretive rule systems and a local criterion to characterize these systems.Finally an online computation algorithm for theses systems is given.
△ Less
Submitted 16 August, 2021; v1 submitted 17 March, 2021;
originally announced March 2021.
-
Cellular Automata and Kan Extensions
Authors:
Alexandre Fernandez,
Luidnel Maignan,
Antoine Spicher
Abstract:
In this paper, we formalize precisely the sense in which the application of cellular automaton to partial configuration is a natural extension of its local transition function through the categorical notion of Kan extension. In fact, the two possible ways to do such an extension and the ingredients involved in their definition are related through Kan extensions in many ways. These relations provid…
▽ More
In this paper, we formalize precisely the sense in which the application of cellular automaton to partial configuration is a natural extension of its local transition function through the categorical notion of Kan extension. In fact, the two possible ways to do such an extension and the ingredients involved in their definition are related through Kan extensions in many ways. These relations provide additional links between computer science and category theory, and also give a new point of view on the famous Curtis-Hedlung theorem of cellular automata from the extended topological point of view provided by category theory. These relations provide additional links between computer science and category theory. No prior knowledge of category theory is assumed.
△ Less
Submitted 4 March, 2021; v1 submitted 24 February, 2021;
originally announced February 2021.
-
Analytical solution to the radiotherapy fractionation problem including dose bound constraints
Authors:
Luis Alberto Fernández,
Lucía Fernández
Abstract:
This paper deals with the classic radiotherapy dose fractionation problem for cancer tumors concerning the following goals:
a) To maximize the effect of radiation on the tumor, restricting the effect produced to the organs at risk (healing approach).
b) To minimize the effect of radiation on the organs at risk, while maintaining enough effect of radiation on the tumor (palliative approach).…
▽ More
This paper deals with the classic radiotherapy dose fractionation problem for cancer tumors concerning the following goals:
a) To maximize the effect of radiation on the tumor, restricting the effect produced to the organs at risk (healing approach).
b) To minimize the effect of radiation on the organs at risk, while maintaining enough effect of radiation on the tumor (palliative approach).
We will assume the linear-quadratic model to characterize the radiation effect and consider the stationary case (that is, without taking into account the timing of doses and the tumor growth between them).
The main novelty with respect to previous works concerns the presence of minimum and maximum dose fractions, to achieve the minimum effect and to avoid undesirable side effects, respectively.
We have characterized in which situations is more convenient the hypofractionated protocol (deliver few fractions with high dose per fraction) and in which ones the hyperfractionated regimen (deliver a large number of lower doses of radiation) is the optimal strategy.
In all cases, analytical solutions to the problem are obtained in terms of the data. In addition, the calculations to implement these solutions are elementary and can be carried out using a pocket calculator.
△ Less
Submitted 16 February, 2021;
originally announced February 2021.
-
The Bicategory of Open Functors
Authors:
Alexandre Fernandez,
Luidnel Maignan,
Antoine Spicher
Abstract:
We want to replace categories, functors and natural transformations by categories, open functors and open natural transformations. In analogy with open dynamical systems, the adjective open is added here to mean that some external information is taken into account. For the particular use of the authors, such an open functor is described by two components: a presheaf representing the possible exter…
▽ More
We want to replace categories, functors and natural transformations by categories, open functors and open natural transformations. In analogy with open dynamical systems, the adjective open is added here to mean that some external information is taken into account. For the particular use of the authors, such an open functor is described by two components: a presheaf representing the possible external influences for each input, and a classical functor from the category of elements of this presheaf to the category of results. Considering the appropriate notion of composition then leads to a bicategory. This report describes this bicategory with as little auxiliary constructions as possible and gives all the details of all the proofs needed to establish the bicategory, as explicitly as possible. Subsequent reports will give other presentations of this bicategory and compare it to other existing constructions, e.g. spans, fibrations, pseudoadjunctions, Kleisli bicategories of pseudo-monads, and profunctors (or distributors).
△ Less
Submitted 16 February, 2021;
originally announced February 2021.
-
On fractional calculus with analytic kernels with respect to functions
Authors:
Christian Maxime Steve Oumarou,
Hafiz Muhammad Fahad,
Jean-Daniel Djida,
Arran Fernandez
Abstract:
Many different types of fractional calculus have been proposed, which can be organised into some general classes of operators. For a unified mathematical theory, results should be proved in the most general possible setting. Two important classes of fractional-calculus operators are the fractional integrals and derivatives with respect to functions (dating back to the 1970s) and those with general…
▽ More
Many different types of fractional calculus have been proposed, which can be organised into some general classes of operators. For a unified mathematical theory, results should be proved in the most general possible setting. Two important classes of fractional-calculus operators are the fractional integrals and derivatives with respect to functions (dating back to the 1970s) and those with general analytic kernels (introduced in 2019). To cover both of these settings in a single study, we can consider fractional integrals and derivatives with analytic kernels with respect to functions, which have never been studied in detail before. Here we establish the basic properties of these general operators, including series formulae, composition relations, function spaces, and Laplace transforms. The tools of convergent series, from fractional calculus with analytic kernels, and of operational calculus, from fractional calculus with respect to functions, are essential ingredients in the analysis of the general class that covers both.
△ Less
Submitted 22 December, 2020;
originally announced January 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.
-
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.
-
Splitting schemes for a Lagrange multiplier formulation of FSI with immersed thin-walled structure: stability and convergence analysis
Authors:
Michele Annese,
Miguel A. Fernández,
Lucia Gastaldi
Abstract:
The numerical approximation of incompressible fluid-structure interaction problems with Lagrange multiplier is generally based on strongly coupled schemes. This delivers unconditional stability but at the expense of solving a computationally demanding coupled system at each time-step. For the case of the coupling with immersed thin-walled solids, we introduce a class of semi-implicit coupling sche…
▽ More
The numerical approximation of incompressible fluid-structure interaction problems with Lagrange multiplier is generally based on strongly coupled schemes. This delivers unconditional stability but at the expense of solving a computationally demanding coupled system at each time-step. For the case of the coupling with immersed thin-walled solids, we introduce a class of semi-implicit coupling schemes which avoids strongly coupling without compromising stability and accuracy. A priori energy and error estimates are derived. The theoretical results are illustrated through numerical experiments in an academic benchmark.
△ Less
Submitted 9 July, 2020;
originally announced July 2020.
-
Fully discrete loosely coupled Robin-Robin scheme for incompressible fluid-structure interaction: stability and error analysis
Authors:
Erik Burman,
Rebecca Durst,
Miguel A. Fernández,
Johnny Guzmán
Abstract:
We consider a fully discrete loosely coupled scheme for incompressible fluid-structure interaction based on the time semi-discrete splitting method introduced in {\emph{[Burman, Durst \& Guzmán, arXiv:1911.06760]}}. The splittling method uses a Robin-Robin type coupling that allows for a segregated solution of the solid and the fluid systems, without inner iterations. For the discretisation in spa…
▽ More
We consider a fully discrete loosely coupled scheme for incompressible fluid-structure interaction based on the time semi-discrete splitting method introduced in {\emph{[Burman, Durst \& Guzmán, arXiv:1911.06760]}}. The splittling method uses a Robin-Robin type coupling that allows for a segregated solution of the solid and the fluid systems, without inner iterations. For the discretisation in space we consider piecewise affine continuous finite elements for all the fields and ensure the inf-sup condition by using a Brezzi-Pitkäranta type pressure stabilization. The interfacial fluid-stresses are evaluated in a variationally consistent fashion, that is shown to admit an equivalent Lagrange multiplier formulation. We prove that the method is unconditionally stable and robust with respect to the amount of added-mass in the system. Furthermore, we provide an error estimate that shows the error in the natural energy norm for the system is $\mathcal O\big(\sqrt{T}(\sqrt{Δt} + h)\big)$ where $T$ is the final time, $Δt$ the time-step length and $h$ the space discretization parameter.
△ Less
Submitted 7 July, 2020;
originally announced July 2020.
-
Fractional differential relations for the Lerch zeta function
Authors:
Arran Fernandez,
Jean-Daniel Djida
Abstract:
Starting from a recent result expressing the Lerch zeta function as a fractional derivative, we consider further fractional derivatives of the Lerch zeta function with respect to different variables. We establish a partial differential equation, involving an infinite series of fractional derivatives, which is satisfied by the Lerch zeta function.
Starting from a recent result expressing the Lerch zeta function as a fractional derivative, we consider further fractional derivatives of the Lerch zeta function with respect to different variables. We establish a partial differential equation, involving an infinite series of fractional derivatives, which is satisfied by the Lerch zeta function.
△ Less
Submitted 22 May, 2020;
originally announced June 2020.
-
A naturally emerging bivariate Mittag-Leffler function and associated fractional-calculus operators
Authors:
Arran Fernandez,
Cemaliye Kürt,
Mehmet Ali Özarslan
Abstract:
We define an analogue of the classical Mittag-Leffler function which is applied to two variables, and establish its basic properties. Using a corresponding single-variable function with fractional powers, we define an associated fractional integral operator which has many interesting properties. The motivation for these definitions is twofold: firstly their link with some fundamental fractional di…
▽ More
We define an analogue of the classical Mittag-Leffler function which is applied to two variables, and establish its basic properties. Using a corresponding single-variable function with fractional powers, we define an associated fractional integral operator which has many interesting properties. The motivation for these definitions is twofold: firstly their link with some fundamental fractional differential equations involving two independent fractional orders, and secondly the fact that they emerge naturally from certain applications in bioengineering.
△ Less
Submitted 26 February, 2020;
originally announced February 2020.
-
3D-2D Stokes-Darcy coupling for the modelling of seepage with an application to fluid-structure interaction with contact
Authors:
Erik Burman,
Miguel A. Fernández,
Stefan Frei,
Fannie M. Gerosa
Abstract:
In this note we introduce a mixed dimensional Stokes-Darcy coupling where a $d$ dimensional Stokes' flow is coupled to a Darcy model on the $d-1$ dimensional boundary of the domain. The porous layer introduces tangential creeping flow along the boundary and allows for the modelling of boundary flow due to surface roughness. This leads to a new model of flow in fracture networks with reservoirs in…
▽ More
In this note we introduce a mixed dimensional Stokes-Darcy coupling where a $d$ dimensional Stokes' flow is coupled to a Darcy model on the $d-1$ dimensional boundary of the domain. The porous layer introduces tangential creeping flow along the boundary and allows for the modelling of boundary flow due to surface roughness. This leads to a new model of flow in fracture networks with reservoirs in an impenetrable bulk matrix. Exploiting this modelling capability, we then formulate a fluid-structure interaction method with contact, where the porous layer allows for mechanically consistent contact and release. Physical seepage in the contact zone due to rough surfaces is modelled by the porous layer. Some numerical examples are reported, both on the Stokes'-Darcy coupling alone and on the fluid-structure interaction with contact in the porous boundary layer.
△ Less
Submitted 18 December, 2019;
originally announced December 2019.
-
On some analytic properties of tempered fractional calculus
Authors:
Arran Fernandez,
Ceren Ustaoglu
Abstract:
We consider the integral and derivative operators of tempered fractional calculus, and examine their analytic properties. We discover connections with the classical Riemann-Liouville fractional calculus and demonstrate how the operators may be used to obtain special functions such as hypergeometric and Appell's functions. We also prove an analogue of Taylor's theorem and some integral inequalities…
▽ More
We consider the integral and derivative operators of tempered fractional calculus, and examine their analytic properties. We discover connections with the classical Riemann-Liouville fractional calculus and demonstrate how the operators may be used to obtain special functions such as hypergeometric and Appell's functions. We also prove an analogue of Taylor's theorem and some integral inequalities to enrich the mathematical theory of tempered fractional calculus.
△ Less
Submitted 11 December, 2019;
originally announced December 2019.
-
Orlicz spaces associated to a quasi-Banach function space. Applications to vector measures and interpolation
Authors:
Ricardo del Campo,
Antonio Fernández,
Fernando Mayoral,
Francisco Naranjo
Abstract:
We characterize the relatively compact subsets of $L^1\left(\| m \| \right),$ the quasi-Banach function space associated to the semivariation of a given vector measure $m$ showing that the strong connection between compactness, uniform absolute continuity, uniform integrability, almost order boundedness and L-weak compactness that appears in the classic setting of Lebesgue spaces remains almost in…
▽ More
We characterize the relatively compact subsets of $L^1\left(\| m \| \right),$ the quasi-Banach function space associated to the semivariation of a given vector measure $m$ showing that the strong connection between compactness, uniform absolute continuity, uniform integrability, almost order boundedness and L-weak compactness that appears in the classic setting of Lebesgue spaces remains almost invariant in this new context of the Choquet integration. Also we present a de la Vallée-Poussin type theorem in the context of these spaces $L^1\left(\|m\|\right)$ that allows us to locate each compact subset of $L^1\left(\|m\|\right)$ as a compact subset of a smaller quasi-Banach Orlicz space $L^Φ\left(\|m\|\right)$ associated to the semivariation of the measure $m.$
△ Less
Submitted 29 October, 2019;
originally announced October 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.
-
Tempered and Hadamard-type fractional calculus with respect to functions
Authors:
Hafiz Muhammad Fahad,
Arran Fernandez,
Mujeeb ur Rehman,
Maham Siddiqi
Abstract:
Many different types of fractional calculus have been defined, which may be categorised into broad classes according to their properties and behaviours. Two types that have been much studied in the literature are the Hadamard-type fractional calculus and tempered fractional calculus. This paper establishes a connection between these two definitions, writing one in terms of the other by making use…
▽ More
Many different types of fractional calculus have been defined, which may be categorised into broad classes according to their properties and behaviours. Two types that have been much studied in the literature are the Hadamard-type fractional calculus and tempered fractional calculus. This paper establishes a connection between these two definitions, writing one in terms of the other by making use of the theory of fractional calculus with respect to functions. By extending this connection in a natural way, a generalisation is developed which unifies several existing fractional operators: Riemann--Liouville, Caputo, classical Hadamard, Hadamard-type, tempered, and all of these taken with respect to functions. The fundamental calculus of these generalised operators is established, including semigroup and reciprocal properties as well as application to some example functions. Function spaces are constructed in which the new operators are defined and bounded. Finally, some formulae are derived for fractional integration by parts with these operators.
△ Less
Submitted 9 December, 2020; v1 submitted 10 July, 2019;
originally announced July 2019.
-
On Laplace transforms with respect to functions and their applications to fractional differential equations
Authors:
Hafiz Muhammad Fahad,
Mujeeb ur Rehman,
Arran Fernandez
Abstract:
An important class of fractional differential and integral operators is given by the theory of fractional calculus with respect to functions, sometimes called $Ψ$-fractional calculus. The operational calculus approach has proved useful for understanding and extending this topic of study. Motivated by fractional differential equations, we present an operational calculus approach for Laplace transfo…
▽ More
An important class of fractional differential and integral operators is given by the theory of fractional calculus with respect to functions, sometimes called $Ψ$-fractional calculus. The operational calculus approach has proved useful for understanding and extending this topic of study. Motivated by fractional differential equations, we present an operational calculus approach for Laplace transforms with respect to functions and their relationship with fractional operators with respect to functions. This approach makes the generalised Laplace transforms much easier to analyse and to apply in practice. We prove several important properties of these generalised Laplace transforms, including an inversion formula, and apply it to solve some fractional differential equations, using the operational calculus approach for efficient solving.
△ Less
Submitted 10 August, 2020; v1 submitted 10 July, 2019;
originally announced July 2019.
-
A complex analysis approach to Atangana-Baleanu fractional calculus
Authors:
Arran Fernandez
Abstract:
The standard definition for the Atangana-Baleanu fractional derivative involves an integral transform with a Mittag-Leffler function in the kernel. We show that this integral can be rewritten as a complex contour integral which can be used to provide an analytic continuation of the definition to complex orders of differentiation. We discuss the implications and consequences of this extension, incl…
▽ More
The standard definition for the Atangana-Baleanu fractional derivative involves an integral transform with a Mittag-Leffler function in the kernel. We show that this integral can be rewritten as a complex contour integral which can be used to provide an analytic continuation of the definition to complex orders of differentiation. We discuss the implications and consequences of this extension, including a more natural formula for the Atangana-Baleanu fractional integral and for iterated Atangana-Baleanu fractional differintegrals.
△ Less
Submitted 16 May, 2019;
originally announced May 2019.
-
Analytical Development of Incomplete Riemann-Liouville Fractional Calculus
Authors:
Arran Fernandez,
Ceren Ustaoğlu,
Mehmet Ali Özarslan
Abstract:
The theory of fractional calculus has developed in a number of directions over the years, including: the formulation of multiple different definitions of fractional differintegration; the extension of various properties of standard calculus into the fractional scenario; the application of fractional differintegrals to assorted special functions. Recently, a new variant of fractional calculus has a…
▽ More
The theory of fractional calculus has developed in a number of directions over the years, including: the formulation of multiple different definitions of fractional differintegration; the extension of various properties of standard calculus into the fractional scenario; the application of fractional differintegrals to assorted special functions. Recently, a new variant of fractional calculus has arisen, namely incomplete fractional calculus. In two very recent papers, incomplete versions of the Riemann-Liouville and Caputo fractional differintegrals have been formulated and applied to several important special functions.
In the current work, we develop the theory of incomplete fractional calculus in more depth, investigating further properties of the incomplete Riemann-Liouville fractional differintegrals and answering some fundamental questions about these operators. By considering appropriate function spaces, we formulate rigorously the definitions of incomplete Riemann-Liouville fractional integration, and justify how this model may be used to analyse a wider class of functions than classical fractional calculus. By using analytic continuation, we formulate definitions for incomplete Riemann-Liouville fractional differentiation, hence extending the incomplete integrals to a fully-fledged model of fractional calculus.
We also investigate and analyse these operators further, in order to prove new properties. These include a Leibniz rule for incomplete differintegrals of products, and composition properties of incomplete differintegrals with classical calculus operations. These are natural and expected issues to investigate in any new model of fractional calculus, and in the incomplete Riemann-Liouville model the results emerge naturally from the definition previously proposed.
△ Less
Submitted 4 April, 2019;
originally announced April 2019.
-
On fractional calculus with general analytic kernels
Authors:
Arran Fernandez,
Mehmet Ali Ozarslan,
Dumitru Baleanu
Abstract:
Many possible definitions have been proposed for fractional derivatives and integrals, starting from the classical Riemann-Liouville formula and its generalisations and modifying it by replacing the power function kernel with other kernel functions. We demonstrate, under some assumptions, how all of these modifications can be considered as special cases of a single, unifying, model of fractional c…
▽ More
Many possible definitions have been proposed for fractional derivatives and integrals, starting from the classical Riemann-Liouville formula and its generalisations and modifying it by replacing the power function kernel with other kernel functions. We demonstrate, under some assumptions, how all of these modifications can be considered as special cases of a single, unifying, model of fractional calculus. We provide a fundamental connection with classical fractional calculus by writing these general fractional operators in terms of the original Riemann-Liouville fractional integral operator. We also consider inversion properties of the new operators, prove analogues of the Leibniz and chain rules in this model of fractional calculus, and solve some fractional differential equations using the new operators.
△ Less
Submitted 1 March, 2019;
originally announced March 2019.
-
On a new class of fractional difference-sum operators based on discrete Atangana-Baleanu sums
Authors:
Thabet Abdeljawad,
Arran Fernandez
Abstract:
We formulate a new class of fractional difference and sum operators, study their fundamental properties, and find their discrete Laplace transforms. The method depends on iterating the fractional sum operators corresponding to fractional differences with discrete Mittag-Leffler kernels. The iteration process depends on the binomial theorem. We note in particular the fact that the iterated fraction…
▽ More
We formulate a new class of fractional difference and sum operators, study their fundamental properties, and find their discrete Laplace transforms. The method depends on iterating the fractional sum operators corresponding to fractional differences with discrete Mittag-Leffler kernels. The iteration process depends on the binomial theorem. We note in particular the fact that the iterated fractional sums have a certain semigroup property and hence the new introduced iterated fractional difference-sum operators have this semigroup property as well.
△ Less
Submitted 24 January, 2019;
originally announced January 2019.
