Related papers: Smooth solutions of a class of iterative functiona…
This paper presents a type theory with a form of equality reflection: provable equalities can be used to coerce the type of a term. Coercions and other annotations, including implicit arguments, are dropped during reduction of terms. We…
A convergent iterative process is constructed for solving any solvable linear equation in a Hilbert space.
We show that one-way functions exist if and only if there exists an efficient distribution relative to which almost-optimal compression is hard on average. The result is obtained by combining a theorem of Ilango, Ren, and Santhanam and one…
This article is focused on the asymptotic expansions, as time tends to infinity, of solutions of a system of ordinary differential equations with non-smooth nonlinear terms. The forcing function decays to zero in a very complicated but…
We study multimodal logics over universally first-order definable classes of frames. We show that even for bimodal logics, there are universal Horn formulas that define set of frames such that the satisfiability problem is undecidable, even…
We consider a class of one--dimensional non--convex non--coercive problems in the Calculus of Variations. We prove an existence result for this class of problems using a Liapunov type theorem on the range of non--atomic measures.
The aim of this paper is to give an existence result for a class of one-dimensional, non-convex, non-coercive problems in the Calculus of Variations. The main tools for the proof are an existence theorem in the convex case and the closure…
We prove a uniqueness theorem for a large class of functional equations in the plane, which resembles in form a classical result of Aczel. It is also shown that functional equations in this class are overdetermined in the sense of Paneah.…
We show that any language in nondeterministic time $\exp(\exp(\cdots \exp(n)))$, where the number of iterated exponentials is an arbitrary function $R(n)$, can be decided by a multiprover interactive proof system with a classical…
We study a functional equation whose unknown maps a Euclidean space into the space of probability distributions on [0,1]. We prove existence and uniqueness of its solution under suitable regularity and boundary conditions, we show that it…
A new mathematical notation is proposed for the iteration of functions. It facilitates the application of the iteration of functions in mathematical and logical expressions, definitions of sets, and formulations of algorithms. Illustrations…
We introduce local iterated function systems and present some of their basic properties. A new class of local attractors of local iterated function systems, namely local fractal functions, is constructed. We derive formulas so that these…
We establish the existence and uniqueness of smooth solutions with large vorticity and weak solutions with vortex sheets/entropy waves for the steady Euler equations for both compressible and incompressible fluids in arbitrary infinitely…
We give a direct and elementary proof of the theorem on formal functions by studying the behaviour of the Godement resolution of a sheaf of modules under completion.
In this paper, we present a novel approach to investigate the existence of multiple critical points for a class of nonsmooth functionals. This method provides a robust framework to analyze the existence of solutions for problems involving…
We investigate the time-periodic solutions to the nonlinear wave and beam equations and uncover their intricate, fractal-like structure. In particular, we identify a new class of large-energy solutions with complex mode compositions and…
This article proposes a novel approach for determining exact solutions to nonlinear ordinary differential equations. The recommended iterative method provides the solution via a rapidly converging series that readily approaches a closed…
Let $C$ be a subset of $\mathbb{R}^n$ (not necessarily convex), $f:C\to\mathbb{R}$ be a function, and $G:C\to\mathbb{R}^n$ be a uniformly continuous function, with modulus of continuity $\omega$. We provide a necessary and sufficient…
For the first time, Schr\"odinger equations with cubic and more complex nonlinearities containing the unknown function with constant delay are analyzed. The physical considerations that can lead to the appearance of a delay in such…
This work is devoted to infinite-energy solutions of semi-linear wave equations in unbounded smooth domains of $\mathbb{R}^3$ with fractional damping of the form $(-\Delta_x+1)^\frac{1}{2}\partial_t u$. The work extends previously known…