Related papers: Proper forcing remastered
We study resonances of nonlinear systems of differential equations, including but not limited to the equations of motion of a particle moving in a potential. We use the calculus of variations to determine the minimal additive forcing…
It is well-known since the work of Pardoux and Peng [12] that Backward Stochastic Differential Equations provide probabilistic formulae for the solution of (systems of) second order elliptic and parabolic equations, thus providing an…
We establish the existence of positive solutions for a system of coupled fourth-order partial differential equations on a bounded domain $\Omega \subset \mathbb{R}^n$\begin{align*} \left\{\begin{array}{l} \Delta^2u_1 +\beta_1 \Delta…
The $L^2$ theory of the $\bar\partial$ operator on domains in $\mathbb{C}^n$ is predicated on establishing a good basic estimate. Typically, one proves not a single basic estimate but a family of basic estimates that we call a family of…
In the first part of this paper, we establish some results around generalized Borel's Theorem. As an application, in the second part, we construct example of smooth surface of degree $d\geq 19$ in $\mathbb{CP}^3$ whose complements is…
For every uncountable regular $\kappa$, we give two examples of proper posets which turn improper in some $\kappa$-closed forcing extension.
I introduce a new family of axioms extending ZFC set theory, the $\Sigma_n$-correct forcing axioms. These assert roughly that whenever a forcing name $\dot{a}$ can be forced by a poset in some forcing class $\Gamma$ to have some $\Sigma_n$…
We analyze some posets involved in forcing constructions for dense ideals, showing that the Anonymous Collapse and the Dual Shioya Collapse are equivalent for collapsing a large cardinal to $\omega_2$. We also give a somewhat simplified…
Using topological methods, we study the structure of the set of forced oscillations of a class of parametric, implicit ordinary differential equations with a generalized $\Phi$-Laplacian type term. We work in the Carath\'eodory setting.…
The forced soliton equation is the starting point for semiclassical computations with solitons away from the small momentum transfer regime. This paper develops necessary analytical and numerical tools for analyzing solutions to the forced…
We propose developing the theory of consequences of morasses relevant in mathematical applications in the language alternative to the usual one, replacing commonly used structures by families of sets originating with Velleman's neat…
We formalize the theory of forcing in the set theory framework of Isabelle/ZF. Under the assumption of the existence of a countable transitive model of ZFC, we construct a proper generic extension and show that the latter also satisfies…
The present paper has three themes. First, we continue the investigations started in Judah, Roslanowski and Shelah \math.LO/9310224 and Roslanowski and Shelah math.LO/9807172, math.LO/9703222, and we investigate the method of norms on…
We precisely characterize the relationships between the reverse H\"older inequality, the Fujii-Wilson condition, the B\'ekoll\'e-Bonami $\mathrm{B}_p$ condition, the $\mathrm{B}_\infty$ condition, and the reverse Jensen inequality, for…
We develop an efficient and reliable adaptive finite element method (AFEM) for the nonlinear Poisson-Boltzmann equation (PBE). We first examine the regularization technique of Chen, Holst, and Xu; this technique made possible the first a…
We determine necessary conditions for when powers corresponding to positive/negative coefficients of $\Phi_{n}$ are in arithmetic progression. When $n = pq$ for any primes $q>p>2$, our conditions are also sufficient. Finally, we generalize…
We develop an operator-theoretical method for the analysis on well posedness of partial differential equations that can be modeled in the form \begin{equation*} \left\{ \begin{array}{rll} \Delta^{\alpha} u(n) &= Au(n+2) + f(n,u(n)), \quad n…
In this article we study optimal control problems for systems that are affine with respect to some of the control variables and nonlinear in relation to the others. We consider finitely many equality and inequality constraints on the…
In this paper we discuss the adjoint stabilised finite element method introduced in, E. Burman, Stabilized finite element methods for nonsymmetric, noncoercive and ill-posed problems. Part I: elliptic equations, SIAM Journal on Scientific…
Based on works of Saharon Shelah, Jakob Kellner, and Anda T\u{a}nasie for controlling the cardinal characteristics of the continuum in ccc forcing extensions, in the author's master's thesis was introduced a new combinatorial notion: the…