-
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.
-
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.
-
Stieltjes analytical 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 19 January, 2023;
originally announced January 2023.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
An optimization problem related to water artificial recirculation for controlling eutrophication
Authors:
Francisco J. Fernández,
Aurea Martínez,
Lino J. Alzarez-Vázquez
Abstract:
In this work, the artificial recirculation of water is presented and analyzed, from the perspective of the optimal control of partial differential equations, as a tool to prevent eutrophication effects in large waterbodies. A novel formulation of the environmental problem, based on the coupling of nonlinear models for hydrodynamics, water temperature and concentrations of the different species inv…
▽ More
In this work, the artificial recirculation of water is presented and analyzed, from the perspective of the optimal control of partial differential equations, as a tool to prevent eutrophication effects in large waterbodies. A novel formulation of the environmental problem, based on the coupling of nonlinear models for hydrodynamics, water temperature and concentrations of the different species involved in the eutrophication processes, is introduced. After a complete and rigorous analysis of the existence of optimal solutions, a full numerical algorithm for their computation is proposed. Finally, some numerical results for a realistic scenario are shown, in order to prove the efficiency of our approach.
△ Less
Submitted 22 July, 2020; v1 submitted 1 February, 2019;
originally announced February 2019.
-
Mathematical analysis and numerical resolution of a heat transfer problem arising in water recirculation
Authors:
Francisco J. Fernández,
Lino J. Alvarez-Vázquez,
Aurea Martínez
Abstract:
This work is devoted to the analysis and resolution of a well-posed mathematical model for several processes involved in the artificial circulation of water in a large waterbody. This novel formulation couples the convective heat transfer equation with the modified Navier-Stokes system following a Smagorinsky turbulence model, completed with a suitable set of mixed, nonhomogeneous boundary conditi…
▽ More
This work is devoted to the analysis and resolution of a well-posed mathematical model for several processes involved in the artificial circulation of water in a large waterbody. This novel formulation couples the convective heat transfer equation with the modified Navier-Stokes system following a Smagorinsky turbulence model, completed with a suitable set of mixed, nonhomogeneous boundary conditions of diffusive, convective and radiative type. We prove several theoretical results related to existence of solution, and propose a full algorithm for its computation, illustrated with some realistic numerical examples.
△ Less
Submitted 19 February, 2020; v1 submitted 1 February, 2019;
originally announced February 2019.
-
On existence and uniqueness of solution for a hydrodynamic problem related to water artificial circulation in a lake
Authors:
Francisco J. Fernández,
Lino J. Álvarez-Vázquez,
Aurea Martínez
Abstract:
In this work we introduce a well-posed mathematical model for the processes involved in the artificial circulation of water, in order to avoid eutrophication phenomena, for instance, in a lake. This novel and general formulation is based on the modified Navier-Stokes equations following the Smagorinsky model of turbulence, and presenting a suitable nonhomogeneous Dirichlet boundary condition. For…
▽ More
In this work we introduce a well-posed mathematical model for the processes involved in the artificial circulation of water, in order to avoid eutrophication phenomena, for instance, in a lake. This novel and general formulation is based on the modified Navier-Stokes equations following the Smagorinsky model of turbulence, and presenting a suitable nonhomogeneous Dirichlet boundary condition. For the analytical study of the problem, we prove several theoretical results related to existence, uniqueness and smoothness for the solution of this recirculation model.
△ Less
Submitted 1 February, 2019;
originally announced February 2019.
-
Report: Error estimation of recovered solution in FE analysis
Authors:
Enrique Nadal Soriano,
Octavio Andrés González Estrada,
Juan José Ródenas García,
Francisco Javier Fuenmayor Fernández
Abstract:
The recovery type error estimators introduced by Zienkiewicz and Zhu use a recovered stress field evaluated from the Finite Element (FE) solution. Their accuracy depends on the quality of the recovered field. In this sense, accurate results are obtained using recovery procedures based on the Superconvergent Patch recovery technique (SPR). These error estimators can be easily implemented and provid…
▽ More
The recovery type error estimators introduced by Zienkiewicz and Zhu use a recovered stress field evaluated from the Finite Element (FE) solution. Their accuracy depends on the quality of the recovered field. In this sense, accurate results are obtained using recovery procedures based on the Superconvergent Patch recovery technique (SPR). These error estimators can be easily implemented and provide accurate estimates. Another important feature is that the recovered solution is of a better quality than the FE solution and can therefore be used as an enhanced solution. We have developed an SPR-type recovery technique that considers equilibrium and displacements constraints to obtain a very accurate recovered displacements field from which a recovered stress field can also be evaluated. We propose the use of these recovered fields as the standard output of the FE code instead of the raw FE solution. Techniques to quantify the error of the recovered solution are therefore needed. In this report we present an error estimation technique that accurately evaluates the error of the recovered solution both at global and local levels in the FEM and XFEM frameworks. We have also developed an h-adaptive mesh refinement strategy based on the error of the recovered solution. As the converge rate of the error of the recovered solution is higher than that of the FE one, the computational cost required to obtain a solution with a prescribed accuracy is smaller than for traditional h-adaptive processes.
△ Less
Submitted 16 November, 2012;
originally announced November 2012.
-
Doubling Properties of Caloric Functions
Authors:
L. Escauriaza,
F. J. FernÁndez,
S. Vessella
Abstract:
We prove local quantitative estimates of unique continuation for solutions to parabolic equations: doubling properties and two-sphere one-cylinder inequalities.
We prove local quantitative estimates of unique continuation for solutions to parabolic equations: doubling properties and two-sphere one-cylinder inequalities.
△ Less
Submitted 15 November, 2006;
originally announced November 2006.