相关论文: A Picard-Lindel\"of theorem for smooth PDE

In this work we study $p$-adic continuous functions in several variables taking values on $\mathbb{Z}_p$. We describe the orthonormal van der Put base of these functions and study various Lipschitz conditions in several variables,…

We prove that, under the H\"ormander criterion on an It\^{o} process, all its martingale observables are smooth. As a consequence, we also obtain a generalized Feynman-Kac formula providing smooth solutions to certain PDE boundary-value…

Consider the differential equation $y'=F(x,y)$. We determine the weakest possible upper bound on $|F(x,y)-F(x,z)|$ which guarantees that this equation has for all initial values a unique solution, which exists globally.

Fixed point iterations are a fundamental tool in numerical analysis and scientific computing for the approximation of solutions to nonlinear problems. Their convergence is often established via the Banach fixed point theorem, provided that…

We prove Banach, Newton-Raphson and Brouwer fixed point theorems in the framework of generalized smooth functions, a minimal extension of Colombeau's theory (and hence of classical distribution theory) which makes it possible to model…

The strong convergence of Euler approximations of stochastic delay differential equations is proved under general conditions. The assumptions on drift and diffusion coefficients have been relaxed to include polynomial growth and only…

We study the computational difficulty of the problem of finding fixed points of nonexpansive mappings in uniformly convex Banach spaces. We show that the fixed point sets of computable nonexpansive self-maps of a nonempty, computably weakly…

We prove the following new characterization of $C^p$ (Lipschitz) smoothness in Banach spaces. An infinite-dimensional Banach space $X$ has a $C^p$ smooth (Lipschitz) bump function if and only if it has another $C^p$ smooth (Lipschitz) bump…

In this paper we investigate iteration of maps on lattices and the corresponding polynomial-like iterative equation. Since a lattice need not have a metric space structure, neither the Schauder fixed point theorem nor the Banach fixed point…

The classical McShane-Whitney extension theorem for Lipschitz functions is refined by showing that for a closed subset of the domain, it remains valid for any interval of the real line. This result is also extended to the setting of locally…

This paper focuses on second-order necessary optimality conditions for constrained optimization problems on Banach spaces. For problems in the classical setting, where the objective function is $C^2$-smooth, we show that strengthened…

We prove that every continuous function on a separable infinite-dimensional Hilbert space X can be uniformly approximated by smooth functions with no critical points. This kind of result can be regarded as a sort of very strong approximate…

We study path-dependent SDEs in Hilbert spaces. By using methods based on contractions in Banach spaces, we prove existence and uniqueness of mild solutions, continuity of mild solutions with respect to perturbations of all the data of the…

We employ the pinching theorem, ensuring that some operators A admit any sequence of contractions as an operator diagonal of A, to deduce/improve two recent theorems of Kennedy-Skoufranis and Loreaux-Weiss for conditional expectations onto…

We develop an invariant local theory of Lorentz surfaces in pseudo-Euclidean 4-space by use of a linear map of Weingarten type. We find a geometrically determined moving frame field at each point of the surface and obtain a system of…

We consider the consensus problem in a decentralized network, focusing on a compact submanifold that acts as a nonconvex constraint set. By leveraging the proximal smoothness of the compact submanifold, which encompasses the local singleton…

We establish generic uniform convergence guarantees for Gaussian data in terms of the Rademacher complexity of the hypothesis class and the Lipschitz constant of the square root of the scalar loss function. We show how these guarantees…

Using a modification of a generalized Takagi-van der Waerden function on a metric space we prove that for any closed subset of a metric space without isolated points there exists a continuous function such that its big and local Lipschitz…

We introduce and study an approximate solution of the p-Laplace equation, and a linearlization $L_{\epsilon}$ of a perturbed p-Laplace operator. By deriving an $L_{\epsilon}$-type Bochner's formula and a Kato type inequality, we prove a…

We study the logical and computational properties of basic theorems of uncountable mathematics, in particular Pincherle's theorem, published in 1882. This theorem states that a locally bounded function is bounded on certain domains, i.e.…