Related papers: On a theorem by Browder and its application to non…
Consider a scalar conservation law with a spatially discontinuous flux at a single point x=0, and assume that the flux is uniformly convex when x\neq 0. Given an interface connection (A,B), we define a backward solution operator consistent…
In this paper, we introduce a new type of Darbo's fixed point theorem by using concept of function sequences with shifting distance property. Afterward, we investigate existence of fixed point under this the theorem. Also we are going to…
The pull-back, push-forward and multiplication of smooth functions can be extended to distributions if their wave front set satisfies some conditions. Thus, it is natural to investigate the topological properties of these operations between…
This paper establishes an existence theory for discrete second-order boundary value problems on non-uniform time grids using the upper and lower solution method. We consider difference equations of the form $u^{\Delta\Delta}(t_{i-1}) +…
Starting from Sinclair's 1976 work {\it Automatic Continuity of Linear Operators}, Cambridge University Press, (1976), on automatic continuity of linear operators on Banach spaces, we prove that sequences of intertwining continuous linear…
Following the definition of perturbed metric space, in this paper, some fixed point theorems are established for $ F $-perturbed mappings in complete perturbed metric spaces and justify the result by counter example. Finally, an application…
We introduce the boundary measure at scale r of a compact subset of the n-dimensional Euclidean space. We show how it can be computed for point clouds and suggest these measures can be used for feature detection. The main contribution of…
We consider a one-dimensional free boundary problem governed by a nonlinear diffusion - convection equation with a Neumann condition at fixed face $x=0$, which is variable in time and a like Stefan convective condition on the free boundary.…
We establish a simple and powerful lemma that provides a criterion for sequences in metric spaces to be Cauchy. Using the lemma, it is then easily verified that the Picard iterates $\{T^nx\}$, where $T$ is a contraction or asymptotic…
We establish existence and uniqueness results for nonlinear elliptic Dirichlet boundary value problems on n-dimensional time scale domains. Time scales provide a unified framework that encompasses continuous, discrete, and hybrid settings.…
This article is concerned with the existence and uniqueness of solutions to some fractional order boundary value problems. Our results are based on some fixed point theorems. For the applicability of our results, we provide an example.
It is solved the problem on constructed of separately continuous functions on product of two topological spaces with given restriction. In particular, it is shown that for every topological space $X$ and first Baire class function $g:X\to…
A basic question about regularity of Boltzmann solutions in the presence of physical boundary conditions has been open due to characteristic nature of the boundary as well as the non-local mixing of the collision operator. Consider the…
A function $f:X\to \mathbb R$ defined on a topological space $X$ is called returning if for any point $x\in X$ there exists a positive real number $M_x$ such that for every path-connected subset $C_x\subset X$ containing the point $x$ and…
A nonlinear operator equation $F(x)=0$, $F:H\to H,$ in a Hilbert space is considered. Continuous Newton's-type procedures based on a construction of a dynamical system with the trajectory starting at some initial point $x_0$ and becoming…
For a topological space $X$ we study continuous maps $f : X\to \mathbb R^m$ such that images of every pairwise distinct $k$ points are affinely (linearly) independent. Such maps are called affinely (linearly) $k$-regular embeddings. We…
In an unbounded plane, straight lines are used extensively for mathematical analysis. They are tools of convenience. However, those with high slope values become unbounded at a faster rate than the independent variable. So, straight lines,…
We prove a criterion for continuity of bilinear maps on countable direct sums of topological vector spaces. As a first application, we get a new proof for the fact (due to Hirai et al. 2001) that the map taking a pair of test functions on…
We show that if $X$ is an arc-like continuum, then for every point $x \in X$ there is a plane embedding of $X$ in which $x$ is an accessible point. This answers a question posed by Nadler in 1972, which has become known as the Nadler-Quinn…
We combine Homotopy Type Theory with axiomatic cohesion, expressing the latter internally with a version of "adjoint logic" in which the discretization and codiscretization modalities are characterized using a judgmental formalism of "crisp…