相关论文: Ekeland's variational principle in weak and strong…

We propose probabilistic representations for inverse Stein operators (i.e. solutions to Stein equations) under general conditions; in particular we deduce new simple expressions for the Stein kernel. These representations allow to deduce…

We consider a hydrodynamic model of self-organized evolution of agents, with singular interaction kernel $\phi_\alpha(x)=1/|x|^{1+\alpha}$ ($0<\alpha<2$), in the presence of an additional external force. Well-posedness results are already…

We prove that several versions of the Tietze extension theorem for functions with moduli of uniform continuity are equivalent to WKL_0 over RCA_0. This confirms a conjecture of Giusto and Simpson that was also phrased as a question in…

We give a short, self-contained, and elementary proof of the strong law of large numbers under a power law decay hypothesis for joint second moments. The result is related to the classical one by Lyons. However, we also provide a rate of…

Strictly positive logics recently attracted attention both in the description logic and in the provability logic communities for their combination of efficiency and sufficient expressivity. The language of Reflection Calculus RC consists of…

We consider two evolution equations involving space fractional Laplace operator of order $0<s<1$. We first establish some existence and uniqueness results for the considered evolution equations. Next, we give some comparison theorems and…

We consider Borwein-Preiss and Ekeland variational principles using distance functions that neither is symmetric nor enjoy the triangular inequality. All the given results rely exclusively on the convergence and continuity behaviors induced…

We analyze the pointwise convergence of a sequence of computable elements of L^1(2^omega) in terms of algorithmic randomness. We consider two ways of expressing the dominated convergence theorem and show that, over the base theory RCA_0,…

It is known that for a sequence of independent and identically distributed random variables $(X_{n})$ the regular variation condition is equivalent to weak convergence of partial maxima $M_{n}= \max\{X_{1}, \ldots, X_{n}\}$, appropriately…

This work is devoted to averaging principle of a two-time-scale stochastic partial differential equation on a bounded interval $[0, l]$, where both the fast and slow components are directly perturbed by additive noises. Under some regular…

We show a very simple and general total second variation formula for Perelman's $\mathcal{W}$-functional at arbitrary points in the space of Riemannian metrics. Moreover we perform a study of the properties of the variations of K\"ahler…

In this paper, we introduce a hierarchy dividing the set $\{\sigma \in \Pi^1_2 : \Pi^1_1$-$\mathsf{CA}_0 \vdash \sigma\}$. Then, we give some characterizations of this set using weaker variants of some principles equivalent to…

In [MT2] the Vafa-Witten theory of complex projective surfaces is lifted to oriented $\mathbb C^*$-equivariant cohomology theories. Here we study the K-theoretic refinement. It gives rational functions in $t^{1/2}$ invariant under…

We study the computational expressivity of proof systems with fixed point operators, within the 'proofs-as-programs' paradigm. We start with a calculus muLJ (due to Clairambault) that extends intuitionistic logic by least and greatest…

We provide a framework to derive a variational formulation for $-\log\mathbb{E}_\nu\left[e^{-f}\right]$ for a large class of measures $\nu$. We use a family of perturbations of the identity $(W^u)$ whose invertibility we characterize thanks…

This paper presents a self-contained new theory of weak fractional differential calculus and fractional Sobolev spaces in one-dimension. The crux of this new theory is the introduction of a weak fractional derivative notion which is a…

We prove the existence of a weakly dependent strictly stationary solution of the equation $ X_t=F(X_{t-1},X_{t-2},X_{t-3},...;\xi_t)$ called {\em chain with infinite memory}. Here the {\em innovations} $\xi_t$ constitute an independent and…

We introduce a stochastic fractional calculus. As an application, we present a stochastic fractional calculus of variations, which generalizes the fractional calculus of variations to stochastic processes. A stochastic fractional…

We introduce a weak notion of $2\times 2$-minors of gradients of a suitable subclass of $BV$ functions. In the case of maps in $BV(\mathbb{R}^2;\mathbb{R}^2)$ such a notion extends the standard definition of Jacobian determinant to…

We show that Nash-Williams' theorem asserting that the countable transfinite sequences of elements of a better-quasi-ordering ordered by embeddability form a better-quasi-ordering is provable in the subsystem of second order arithmetic…