Related papers: A note on Fredholm integral equation
We provide a type theoretic treatment of the paper "On Tarski's fixed point theorem" by Giovanni Curi. There are benefits to having a type theoretic formulation apart from routine implementation in a proof assistant. By taking advantage of…
This paper aims to investigate the existence and uniqueness of solutions for a sixth order differential equation involving nonlocal and integral boundary conditions. Firstly, we obtain the properties of the relevant Green's functions. The…
As Fredholm determinants are more and more frequent in the context of stochastic integrability, we unveil the existence of a common framework in many integrable systems where they appear. This consists in a quasi-universal hierarchy of…
In this paper we study well posedness of a certain nonlinear Volterra-Fredholm dynamic integral and integro-dynamic equations on unbounded interval from arbitrary time scale. We derive the time scale analogue of certain integral…
This work obtains a fixed-point equation for the solution of linear parabolic partial differential problems based on solutions to heat problems. This is a pointwise equality, so we have required non-standard techniques that involve the…
We provide an existence and uniqueness result for mild solutions to semilinear stochastic partial differential equations in the framework of the semigroup approach with locally monotone coefficients. An important component of the proof is…
We consider an inverse problem for a Westervelt type nonlinear wave equation with fractional damping. This equation arises in nonlinear acoustic imaging, and we show the forward problem is locally well-posed. We prove that the smooth…
A trigonometric interpolation algorithm for non-periodic functions has been recently proposed and applied to study general ordinary differential equation (ODE). This paper enhances the algorithm to approximate functions in $2$-dim space.…
In this paper, we prove some common coupled fixed point theorems for mappings satisfying different contractive conditions in the context of complete $C^*$-algebra-valued metric spaces. Moreover, the paper provides an application to prove…
This paper analyses a Kirchhoff type quasilinear space-time fractional integro-differential equation with memory $(\mathcal{K}^{s}_{\alpha})$. Various a priori bounds are derived in different norms on the solution of the considered…
In this paper, we propose and analyze a spectral Chebyshev-Legendre approximation for fractional order integro-differential equations of Fredholm type. The fractional derivative is described in the Caputo sense. Our proposed method is…
We obtain quantified versions of Ingham's classical Tauberian theorem and some of its variants by means of a natural modification of Ingham's own simple proof. As corollaries of the main general results, we obtain quantified decay estimates…
We investigate the existence of positive solutions to the nonlinear second-order three-point integral boundary value problem \begin{equation*} \label{eq-1} \begin{gathered} {u^{\prime \prime}}(t)+f(t, u(t))=0,\ 0<t<T, \\…
The paper concerns nonlocal time-periodic boundary value problems for first-order Volterra integro-differential hyperbolic systems with boundary inputs. The systems are subjected to integral boundary conditions. Under natural regularity…
The purpose of this paper is to study the existence of (weak) periodic solutions for nonlocal fractional equations with periodic boundary conditions. These equations have a variational structure and, by applying a critical point result…
In this paper, we study the existence of random periodic solutions for semilinear stochastic differential equations. We identify these as the solutions of coupled forward-backward infinite horizon stochastic integral equations in general…
This paper is devoted to a nonlinear singular Riemann-Liouville type fractional differential equation, the local existence of whose continuous solutions under the weakest condition remained as an open problem until now. The singularity of…
In this paper, we develop an Isabelle/HOL library of order-theoretic fixed-point theorems. We keep our formalization as general as possible: we reprove several well-known results about complete orders, often with only antisymmetry or…
We consider some applications of the non-homogeneous second order integral equation of Fox. Some new solutions to Fox's integral equation are discussed in relation to number theory.
By means of classical fixed point index, we prove new results on the existence, non-existence, localization and multiplicity of nontrivial solutions for systems of Hammerstein integral equations where the nonlinearities are allowed to…