Related papers: Separating Bounded Arithmetics by Herbrand Consist…

We prove the homogenization of the Dirichlet problem for fully nonlinear elliptic operators with periodic oscillation in the operator and of the boundary condition for a general class of smooth bounded domains. This extends the previous…

This paper considers the time-harmonic Maxwell equations with impedance boundary condition.We present $H^2$-norm bound and other high-order norm bounds for strong solutions. The $H^2$-estimate have been derived in [M. Dauge, M. Costabel and…

A classical result from 1861 due to Hermite says that every separable equation of degree 5 can be transformed into an equation of the form x^5 + b x^3 + c x + d = 0. Later this was generalized to equations of degree 6 by Joubert. We show…

The main focus of this contribution is on the harmonic Bergman spaces $\mathcal{B}_{\alpha}^{p}$ on the $q$-homogeneous tree $\mathfrak{X}_q$ endowed with a family of measures $\sigma_\alpha$ that are constant on the horocycles tangent to a…

Classical boundary Hardy inequality, that goes back to 1988, states that if $1 < p < \infty, \ ~\Omega$ is bounded Lipschitz domain, then for all $u \in C^{\infty}_{c}(\Omega)$, $$\int_{\Omega} \frac{|u(x)|^{p}}{\delta^{p}_{\Omega}(x)} dx…

This paper is devoted to the proof of uniform H\"older and Lipschitz estimates close to oscillating boundaries, for divergence form elliptic systems with periodically oscillating coefficients. Our main point is that no structure is assumed…

This paper investigates the concept of harmonic functions of bounded mean oscillation, starting from John-Nirenberg's pioneering studies, under a renewed formalism, suitable for bringing out some fundamental properties inherent in it. In…

The algebraic intersection type unification problem is an important component in proof search related to several natural decision problems in intersection type systems. It is unknown and remains open whether the algebraic intersection type…

This is the first article of a series of two where we study the problem of bounded deviations for homeomorphisms of closed surfaces of genus $\ge 2$. This first part studies bounded deviations with respect to closed geodesics. As a…

In any infinite dimensional Hilbert space H, a sequence P_n...P_1 x diverges in norm for some x \in H and orthogonal projections P_n \in {Q_1,..., Q_5}.

Homogenization of a spectral problem in a bounded domain with a high contrast in both stiffness and density is considered. For a special critical scaling, two-scale asymptotic expansions for eigenvalues and eigenfunctions are constructed.…

Results concerning recurrence and ergodicity are proved in an abstract Hilbert space setting based on the proof of Khintchine's recurrence theorem for sets, and on the Hilbert space characterization of ergodicity. These results are carried…

While there has been progress in establishing the unprovability of complexity statements in lower fragments of bounded arithmetic, understanding the limits of Je\v{r}\'abek's theory $APC_1$ (2007) and of higher levels of Buss's hierarchy…

Due to the corresponding fact concerning Hilbert spaces, it is natural to ask if the linearity and the orthogonality structure of a Hilbert $C^*$-module determine its $C^*$-algebra-valued inner product. We verify this in the case when the…

We show that one can force over $L$ that $\Sigma^1_3$-separation holds, while $\Pi^1_3$-reduction fails, thus separating these two principles for the first time. The construction can be lifted to canonical inner models $M_n$ with $n$-many…

We investigate the first-order theory of closed subspaces of complex Hilbert spaces in the signature $(\lor,\perp,0,1)$, where `$\perp$' is the orthogonality relation. Our main result is that already its quasi-identities are undecidable:…

We study structural limitations of purely algebraic reasoning in the analysis of arithmetic dynamical systems. Rather than addressing the truth of specific conjectures, we introduce a fragment - relative notion of algebraic refutability for…

Classical (or ``global'') Bernstein theory establishes sharp control on entire functions of exponential type that are bounded and real-valued on the real axis. We localize some of this theory to rectangular regions $\{ x+iy: x \in I, 0 \leq…

Large and moderate deviation principles are proved for Engel continued fractions, a new type of continued fraction expansion with non-decreasing partial quotients in number theory.

Let $u:A\to B$ be a bounded linear operator between two $C^*$-algebras $A,B$. The following result was proved by the second author. Theorem 0.1. There is a numerical constant $K_1$ such that for all finite sequences $x_1,\ldots, x_n$ in $A$…