相关论文: Addendum to "On the $p^{\lambda}$ problem"

In this paper, we establish the existence of a bounded, linear extension operator $T: L^{2,p}(E) \to L^{2,p}(\mathbb{R}^2)$ when $1<p<2$ and $E$ is a finite subset of $\mathbb{R}^2$ contained in a line.

We proceed with the investigation of the problem $(P_\lambda): $ $-\Delta u = \lambda b(x)|u|^{q-2}u +a(x)|u|^{p-2}u \ \mbox{ in } \Omega, \ \ \frac{\partial u}{\partial \mathbf{n}} = 0 \ \mbox{ on } \partial \Omega$, where $\Omega$ is a…

Mainly, we correct the uniqueness result by adding a projection requirement to condition X and give a better proof for the equivalence of commutator density, 2/4-generation and 3/4-generation.

Let 2<n\leq l<m< \omega. Let L_n denote first order logic restricted to the first n variables. We show that the omitting types theorem fails dramatically for the n--variable fragments of first order logic with respect to clique guarded…

We consider the problem $-\Delta u+\lambda u=u^{p-1}$, where $u\in H^1_0(\Omega)$ verifies $\|u\|_{L^2}=m>0$, and $\lambda\in [0,+\infty)$. Here, $\mathbb{R}^N\setminus\Omega$ is nonempty and compact. We prove the existence of a solution…

We consider an abstract version of the Cauchy-Kowalewski Problem with the right hand side being free from the Lipschitz type conditions and prove the existence theorem.

We verify that $\liminf_{q\to\infty} q\cdot |q|_p\cdot ||qx||<\epsilon$ for all real $x$, small primes $p$ and relatively small $\epsilon$. This result supports the famous $p$-adic Littlewood conjecture which states that the above lower…

We give a counterexample to Theorem 9 in [T.K. Subrahmonian Moothathu, Syndetically proximal pairs, J. Math. Anal. Appl. 379 (2011) 656--663]. We also provide sufficient conditions for the conclusion of Theorem 9 to hold.

From the perspective of expectations of randomly stopped sums, Wald's equation and the Optional Sampling Theorem identify situations in which the stopping time can be decoupled from the stopping place, acting as if the two were independent.…

We consider the linear eigenvalue problem \tag{1} -u" = \lambda u, \quad \text{on $(-1,1)$}, where $\lambda \in \mathbb{R}$, together with the general multi-point boundary conditions \tag{2} \alpha_0^\pm u(\pm 1) + \beta_0^\pm u'(\pm 1) =…

We correct an inaccuracy in the original proof

The paper has been withdrawn due to numerical error.

We obtain the classical Ambarzumyan's theorem for the Sturm-Liouville operators $L_{t}(q)$ with $q\in L^{1}[0,1]$ and quasi-periodic boundary conditions, $t\in [0,2\pi)$, when there is not any additional condition on the potential $q$.

We introduce the logics GLP(\Lambda), a generalization of Japaridze's polymodal provability logic GLP(\omega) where \Lambda is any linearly ordered set representing a hierarchy of provability operators of increasing strength. We shall…

Let lambda_1, \lambda_2, \lambda_3, \lambda_4 be non-zero real numbers, not all negative, with \lambda_1/\lambda_2 irrational and algebraic. Suppose that \mathcal{V} is a well-spaced sequence and \delta >0. In this paper, it is proved that…

Assume that the generalized Ramanujan conjecture holds on the automorphic $L$-function $L(s, \pi)$ on $\GL_d$ over $\mathbb{Q}$ with $d\geq 3$, we can obtain a small log-saving non-trivial bound on the second integral moment of $L(1/2+it,…

In this paper we present a Calder\'{o}n-Zygmund approach for a large class of parabolic equations with pseudo-differential operators $\mathcal{A}(t)$ of arbitrary order $\gamma\in(0,\infty)$. It is assumed that $\cA(t)$ is merely measurable…

We analyse a simple model with just a $\Lambda$ term present. Differing results are obtained depending on the boundary conditions applied. HH boundary conditions give the factor exp(1/Lambda) but in agreement with Rubakov et al. is badly…

We present $\cal L$, an extension of Parigot's $\lambda\mu$-calculus by adding negation as a type constructor, together with syntactic constructs that represent negation introduction and elimination. We will define a notion of reduction…

The Lambek calculus can be considered as a version of non-commutative intuitionistic linear logic. One of the interesting features of the Lambek calculus is the so-called "Lambek's restriction," that is, the antecedent of any provable…