Local and global existence in L^{p} for the inhomogeneous nonlinear Schrödinger equation

This paper investigates the local and global existence for the inhomogeneous nonlinear Schrödinger equation with the nonlinearity λ|x|^{-b}|u|^{β}u. It is show that a global solution exists in the mass-subcritical for large data in the spaces L^{p}, p < 2 under some suitable conditions on b,β and p. The solution is established using a data-decomposition argument, two kinds of generalized Strichartz estimates in Lorentz spaces and a interpolation theorem.

Model Theory in a Paraconsistent Environment

The purpose of this thesis is to develop a paraconsistent Model Theory. The basis for such a theory was launched by Walter Carnielli, Marcelo Esteban Coniglio, Rodrigo Podiack, and Tarcísio Rodrigues in the article ‘On the Way to a Wider Model Theory: Completeness Theorems for First-Order Logics of Formal Inconsistency’ [The Review of Symbolic Logic, vol. 7 (2014)].Naturally, a complete theory cannot be fully developed in a single work. Indeed, the goal of this work is to show that a paraconsistent Model Theory is a sound and worthy possibility. The pursuit of this goal is divided in three tasks: The first one is to give the theory a philosophical meaning. The second one is to transpose as many results from the classical theory to the new one as possible. The third one is to show an application of the theory to practical science.The response to the first task is a Paraconsistent Reasoning System. The start point is that paraconsistency is an epistemological concept. The pursuit of a deeper understanding of the phenomenon of paraconsistency from this point of view leads to a reasoning system based on the Logics of Formal Inconsistency. Models are regarded as states of knowledge and the concept of isomorphism is reformulated so as to give raise to a new concept that preserves a portion of the whole knowledge of each state. Based on this, a notion of refinement is created which may occur from inside or from outside the state.In order to respond to the second task, two important classical results, namely the Omitting Types Theorem and Craig’s Interpolation Theorem are shown to hold in the new system and it is also shown that, if classical results in general are to hold in a paraconsistent system, then such a system should be in essence how it was developed here.Finally, the response to the third task is a proposal of what a Paraconsistent Logic Programming may be. For that, the basis for a paraconsistent PROLOG is settled in the light of the ideas developed so far.Abstract prepared by Bruno Costa Coscarelli.E-mail: [email protected]: http://repositorio.unicamp.br/jspui/handle/REPOSIP/331697

On non-separated zero sequences of solutions of a linear differential equation

Let $(z_k)$ be a sequence of distinct points in the unit disc $\mathbb {D}$ without limit points there. We are looking for a function $a(z)$ analytic in $\mathbb {D}$ and such that possesses a solution having zeros precisely at the points $z_k$ , and the resulting function $a(z)$ has ‘minimal’ growth. We focus on the case of non-separated sequences $(z_k)$ in terms of the pseudohyperbolic distance when the coefficient $a(z)$ is of zero order, but $\sup _{z\in {\mathbb D}}(1-|z|)^p|a(z)| = + \infty$ for any $p > 0$ . We established a new estimate for the maximum modulus of $a(z)$ in terms of the functions $n_z(t)=\sum \nolimits _{|z_k-z|\le t} 1$ and $N_z(r) = \int_0^r {{(n_z(t)-1)}^ + } /t{\rm d}t.$ The estimate is sharp in some sense. The main result relies on a new interpolation theorem.

An Interpolation Theorem for Quasimartingales in Noncommutative Symmetric Spaces

Let E be a separable symmetric space on 0 , ∞ and E M the corresponding noncommutative space. In this paper, we introduce a kind of quasimartingale spaces which is like but bigger than E M and obtain the following interpolation result: let E ^ M be the space of all bounded E M -quasimartingales and 1 < p < p E < q E < q < ∞ . Then, there exists a symmetric space F on 0 , ∞ with nontrivial Boyd indices such that E ^ M = L ^ p M , L ^ q M F , K .

Theory of discrete Muckenhoupt weights and discrete Rubio de Francia extrapolation theorems

In this paper, we will prove a discrete Rubio De Francia extrapolation theorem in the theory of discrete Ap-Muckenhoupt weights for which the discrete Hardy-Littlewood maximal operator is bounded on lpw (Z+). The results will be proved by employing the self-improving property of the discrete Ap-Muckenhoupt weights and the Marcinkiewicz Interpolation Theorem.

Interpolation theorem for Nikol’skii-Besov type spaceswith mixed metric

In this paper we study the interpolation properties of Nikol’skii-Besov spaces with a dominant mixed derivative and mixed metric with respect to anisotropic and complex interpolation methods. An interpolation theorem is proved for a weighted discrete space of vector-valued sequences l^α_q(A). It is shown that the Nikol’skii-Besov space under study is a retract of the space l^α_q(Lp). Based on the above results, interpolation theorems were obtained for Nikol’skii-Besov spaces with the dominant mixed derivative and mixed metric.