相关论文: Ekeland's variational principle in weak and strong…
We consider an inverse extremal problem for variational functionals on arbitrary time scales. Using the Euler-Lagrange equation and the strengthened Legendre condition, we derive a general form for a variational functional that attains a…
This paper presents two types of results related to hyperarithmetic analysis. First, we introduce new variants of the dependent choice axiom, namely $\mathrm{unique}~\Pi^1_0(\mathrm{resp.}~\Sigma^1_1)\text{-}\mathsf{DC}_0$ and…
Working in the context of reverse mathematics, we give a fine-grained characterization result on the strength of two possible definitions for Effective Transfinite Recursion used in literature. Moreover, we show that $\Pi^0_2$-induction…
This paper investigates the logical strength of completeness theorems for modal propositional logic within second-order arithmetic. We demonstrate that the weak completeness theorem for modal propositional logic is provable in…
We give a variational formulation for $-\log\mathbb{E}_\nu\left[e^{-f}|\mathcal{F}_t\right]$ for a large class of measures $\nu$. We give a refined entropic characterization of the invertibility of some perturbations of the identity. We…
We introduce ordinal collapsing principles that are inspired by proof theory but have a set theoretic flavor. These principles are shown to be equivalent to iterated $\Pi^1_1$-comprehension and the existence of admissible sets, over weak…
Reverse mathematics studies which subsystems of second order arithmetic are equivalent to key theorems of ordinary, non-set-theoretic mathematics. The main philosophical application of reverse mathematics proposed thus far is foundational…
We introduce the notions of triviality and order-triviality for global invariant types in an arbitrary first-order theory and show that they are well behaved in the NIP context. We show that these two notions agree for invariant global…
We prove that the bisimulation-invariant fragment of weak monadic second-order logic (WMSO) is equivalent to the fragment of the modal $\mu$-calculus where the application of the least fixpoint operator $\mu p.\varphi$ is restricted to…
In this paper, we obtain almost sure invariance principles with rate of order $n^{1/p}\log^\beta n$, $2< p\le 4$, for sums associated to a sequence of reverse martingale differences. Then, we apply those results to obtain similar…
We show a new functional limit theorem for weakly dependent regularly varying sequences of random vectors. As it turns out, the convergence takes place in the space of R^d valued c\`{a}dl\`{a}g functions endowed with the so-called weak M1…
We investigate the statement "the order topology of every countable complete linear order is compact" in the framework of reverse mathematics, and we find that the statement's strength depends on the precise formulation of compactness. If…
In this paper the lightface $\Pi^{1}_{1}$-Comprehension axiom is shown to be proof-theoretically strong even over $\mbox{RCA}_{0}^{*}$, and we calibrate the proof-theoretic ordinals of weak fragments of the theory $\mbox{ID}_{1}$ of…
The article concerns the problem if a~given system of differential equations is identical with the Euler--Lagrange system of an~appropriate variational integral. Elementary approach is applied. The main results involve the determination of…
We develop a functional analytic approach to the study of the Kramers and kinetic Fokker-Planck equations which parallels the classical $H^1$ theory of uniformly elliptic equations. In particular, we identify a function space analogous to…
Via a symmetric version of Ekeland's principle recently obtained by the author we improve, in a ball or an annulus, a result of Boccardo-Ferone-Fusco-Orsina on the properties of minimizing sequences of functionals of calculus of variations…
We approach uncertainty principles of Cowling-Price-Heis-\\enberg-type as a variational principle on modulation spaces. In our discussion we are naturally led to compact localization operators with symbols in modulation spaces. The optimal…
In my former paper "A pre-order principle and set-valued Ekeland variational principle" (see: arXiv: 1311.4951[math.FA]), we established a general pre-order principle. From the pre-order principle, we deduced most of the known set-valued…
We present a comparison of real-space methods based on regular grids for electronic structure calculations that are designed to have basis set variational properties, using as a reference the conventional method of finite differences (a…
We study the reverse mathematics of pigeonhole principles for finite powers of the ordinal $\omega$. Four natural formulations are presented and their relative strengths are compared. In the analysis of the pigeonhole principle for…