Continuous spectrum for a class of nonhomogeneous differential operators

We study the boundary value problem in Ω, u = 0 on ∂Ω, where Ω is a bounded domain in with smooth boundary, λ is a positive real number, and the continuous functions p ₁, p ₂, and q satisfy 1 < p ₂(x) < q(x) < p ₁(x) < N and for any . The main result of this paper establishes the existence of two positive constants λ₀ and λ₁ with λ₀ ≤ λ₁ such that any is an eigenvalue, while any is not an eigenvalue of the above problem.     

Threshold θ ≥ 2 contact processes on homogeneous trees

We study the threshold θ ≥ 2 contact process on a homogeneous tree of degree κ = b + 1, with infection parameter λ ≥ 0 and started from a product measure with density p. The corresponding mean-field model displays a discontinuous transition at a critical point and for it survives iff , where this critical density satisfies , . For large b, we show that the process on has a qualitatively similar behavior when λ is small, including the behavior at and close to the critical point . In contrast, for large λ the behavior of the process on is qualitatively distinct from that of the mean-field model in that the critical density has . We also show that , where 1 < Φ₂ < Φ₃ < ..., , and . The work of L.R.F. was partially supported by the Brazilian CNPq through grants 307978/2004-4 and 475833/2003-1, and by FAPESP through grant 04/07276-2. The work of R.H.S. was partially supported by the American N.S.F. through grant DMS-0300672.     

Partitions of large Rado graphs

Let κ be a cardinal which is measurable after generically adding many Cohen subsets to κ and let be the κ-Rado graph. We prove, for 2 ≤ m < ω, that there is a finite value such that the set [κ] ^m can be partitioned into classes such that for any coloring of any of the classes C _i in fewer than κ colors, there is a copy of in such that is monochromatic. It follows that , that is, for any coloring of with fewer than κ colors there is a copy of such that has at most colors. On the other hand, we show that there are colorings of such that if is any copy of then for all , and hence . We characterize as the cardinality of a certain finite set of types and obtain an upper and a lower bound on its value. In particular, and for m > 2 we have where r _m is the corresponding number of types for the countable Rado graph. Research of M. Džamonja and J. A. Larson were partially supported by Engineering and Physical Sciences Research Council and research of W. J. Mitchell was partly supported by grant number DMS 0400954 from the United States National Science Foundation.     

The semiflow of a reaction diffusion equation with a singular potential

We study the semiflow defined by a semilinear parabolic equation with a singular square potential . It is known that the Hardy-Poincaré inequality and its improved versions, have a prominent role on the definition of the natural phase space. Our study concerns the case 0 < μ ≤ μ*, where μ* is the optimal constant for the Hardy-Poincaré inequality. On a bounded domain of , we justify the global bifurcation of nontrivial equilibrium solutions for a reaction term f(s) = λs − |s|^2γ s, with λ as a bifurcation parameter. We remark some qualitative differences of the branches in the subcritical case μ < μ* and the critical case μ = μ*. The global bifurcation result is used to show that any solution , initiating form initial data tends to the unique nonnegative equilibrium.     

Discontinuous implicit generalized quasi-variational inequalities in Banach spaces

We consider the following implicit quasi-variational inequality problem: given two topological vector spaces E and F, two nonempty sets X E and C F, two multifunctions Γ : X → 2 ^X and Ф : X → 2 ^C , and a single-valued map ψ : , find a pair such that , Ф and for all . We prove an existence theorem in the setting of Banach spaces where no continuity or monotonicity assumption is required on the multifunction Ф. Our result extends to non-compact and infinite-dimensional setting a previous results of the authors (Theorem 3.2 of Cubbiotti and Yao [15] Math. Methods Oper. Res. 46, 213–228 (1997)). It also extends to the above problem a recent existence result established for the explicit case (C = E ^* and ).     

Model theory of the regularity and reflection schemes

Abstract  This paper develops the model theory of ordered structures that satisfy Keisler’s regularity scheme and its strengthening REF (the reflection scheme) which is an analogue of the reflection principle of Zermelo-Fraenkel set theory. Here is a language with a distinguished linear order <, and REF consists of formulas of the form

Schatten-von Neumann Properties in the Weyl Calculus, and Calculus of Metrics on Symplectic Vector Spaces

Let s ^w p be the set of all a ∈ ? such that a ^w (x, D) is Schatten p-operator on L ². Then we prove the following:

• $S(m,g)\subseteq s_p^wLet s ^w p be the set of all a ∈ ℓ such that a ^w (x, D) is Schatten p-operator on L ². Then we prove the following:

  •	iff . Furthermore, when . Consequently, when ;
  •	if , then is symplectically invariantly defined. Moreover, if and is slowly varying (and σ-temperate), then the same is true for G;
  •	a generalization of sharp G?rding's inequality.

  Mathematics Subject Classifications (2000) Primary: 35S05, 47B10, 47L15 Secondary: 32F45, 16W80     

A solution to Curry and Hindley’s problem on combinatory strong reduction

It has often been remarked that the metatheory of strong reduction , the combinatory analogue of βη-reduction in λ-calculus, is rather complicated. In particular, although the confluence of is an easy consequence of being confluent, no direct proof of this fact is known. Curry and Hindley’s problem, dating back to 1958, asks for a self-contained proof of the confluence of , one which makes no detour through λ-calculus. We answer positively to this question, by extending and exploiting the technique of transitivity elimination for ‘analytic’ combinatory proof systems, which has been introduced in previous papers of ours. Indeed, a very short proof of the confluence of immediately follows from the main result of the present paper, namely that a certain analytic proof system G _e [] , which is equivalent to the standard proof system CL _ext of Combinatory Logic with extensionality, admits effective transitivity elimination. In turn, the proof of transitivity elimination—which, by the way, we are able to provide not only for G _e [] but also, in full generality, for arbitrary analytic combinatory systems with extensionality—employs purely proof-theoretical techniques, and is entirely contained within the theory of combinators.      

Infinite-Time Quenching in a Fast Diffusion Equation with Strong Absorption

This work is concerned with the fast diffusion equation , where 0 < m < 1 and κ < 1. A global positive solution is said to quench regularly in infinite time if for some bounded sequence and some , and if for all compact . It is shown that such regular quenching in infinite time occurs for a large class of initial data if κ > m , whereas it is impossible in one space dimension when κ < −m and the solution is radially symmetric and nondecreasing for x > 0.      

Degrees of difficulty of generalized r.e. separating classes

Important examples of classes of functions are the classes of sets (elements of ^ω 2) which separate a given pair of disjoint r.e. sets: . A wider class consists of the classes of functions f ∈ ^ω k which in a generalized sense separate a k-tuple of r.e. sets (not necessarily pairwise disjoint) for each k ∈ ω: . We study the structure of the Medvedev degrees of such classes and show that the set of degrees realized depends strongly on both k and the extent to which the r.e. sets intersect. Let denote the Medvedev degrees of those such that no m + 1 sets among A ₀,...,A _k-1 have a nonempty intersection. It is shown that each is an upper semi-lattice but not a lattice. The degree of the set of k-ary diagonally nonrecursive functions is the greatest element of . If 2 ≤ l < k, then 0 _M is the only degree in which is below a member of . Each is densely ordered and has the splitting property and the same holds for the lattice it generates. The elements of are exactly the joins of elements of for . Supported by National Science Foundation grants DMS 0554841, 0532644 and 0652732.     

Asymptotic behaviour of renormalized solutions to elliptic equations with measure data and G-converging operators

We study the limit as n goes to +∞ of the renormalized solutions u ⁿ to the nonlinear elliptic problems

Duality of chordal SLE

We derive some geometric properties of chordal SLE(κ;) processes. Using these results and the method of coupling two SLE processes, we prove that the outer boundary of the final hull of a chordal SLE(κ;) process has the same distribution as the image of a chordal SLE(κ’;’) trace, where κ>4, κ’=16/κ, and the forces and ’ are suitably chosen. We find that for κ≥8, the boundary of a standard chordal SLE(κ) hull stopped on swallowing a fixed is the image of some SLE(16/κ;) trace started from x. Then we obtain a new proof of the fact that chordal SLE(κ) trace is not reversible for κ>8. We also prove that the reversal of SLE(4;) trace has the same distribution as the time-change of some SLE(4;’) trace for certain values of and ’.     

Stabilization of the Brylinski-Kostant filtration and limit of Lusztig <Emphasis Type="Italic">q</Emphasis> -analogues

Let G be a simple complex classical Lie group with Lie algebra of rank n. We show that the coefficient of degree k in the Lusztig q -analogue associated to the fixed partitions λ and μ stabilizes for n sufficiently large. As a consequence, we obtain the stabilization of the dimensions in the Brylinski-Kostant filtration associated to any dominant weight. We then introduce, for each pair of partitions (λ,μ), formal series which can be regarded as natural limits of the Lusztig q-analogues. We give a duality property for these limits and recurrence formulas which permit notably to derive explicit expressions when λ is a row or a column partition.     

Bound states for a coupled Schrödinger system

We consider the existence of bound states for the coupled elliptic system

Non-linear sampling recovery based on quasi-interpolant wavelet representations

We investigate a problem of approximate non-linear sampling recovery of functions on the interval expressing the adaptive choice of n sampled values of a function to be recovered, and of n terms from a given family of functions Φ. More precisely, for each function f on , we choose a sequence of n points in , a sequence of n functions defined on and a sequence of n functions from a given family Φ. By this choice we define a (non-linear) sampling recovery method so that f is approximately recovered from the n sampled values f(ξ ¹), f(ξ ²),..., f(ξ ⁿ ), by the n-term linear combination

Existence of solutions of the very fast diffusion equation in bounded and unbounded domain

We prove the existence of a unique solution of the following Neumann problem , u > 0, in (a, b) × (0, T), u(x, 0) = u ₀(x) ≥ 0 in (a, b), and , where if m < 0, if m = 0, and m≤ 0, , and the case −1 < m ≤ 0, , for some constant p > 1 − m. We also obtain a similar result in higher dimensions. As a corollary we will give a new proof of a result of A. Rodriguez and J.L. Vazquez on the existence of infinitely many finite mass solutions of the above equation in for any −1 < m ≤ 0. We also obtain the exact decay rate of the solution at infinity.     

Boundary Limits for Bounded Quasiregular Mappings

In this paper we establish results on the existence of nontangential limits for weighted -harmonic functions in the weighted Sobolev space , for some q>1 and w in the Muckenhoupt A _q class, where is the unit ball in . These results generalize the ones in Sect. 3 of Koskela et al., Trans. Am. Math. Soc. 348(2), 755–766, 1996, where the weight was identically equal to one. Weighted -harmonic functions are weak solutions of the partial differential equation

Splitting lemma at infinity and a strongly resonant problem with periodic nonlinearity

In this paper we study the following problem:with periodic nonlinearity g, where and λ₂ is the second eigenvalue of −Δ, on H ¹ ₀(B). We proved that the problem has infinitely many solutions under some additional conditions on g and h. The method we used is a new variational reduction method. Mathematics Subject Classi cation (2000) 35J20, 35J70     

Inequalities of the Brunn–Minkowski type for Gaussian measures

Let be an integer, let γ be the standard Gaussian measure on , and let . Given this paper gives a necessary and sufficient condition such that the inequality is true for all Borel sets A ₁,...,A _m in of strictly positive γ-measure or all convex Borel sets A ₁,...,A _m in of strictly positive γ-measure, respectively. In particular, the paper exhibits inequalities of the Brunn–Minkowski type for γ which are true for all convex sets but not for all measurable sets.      

Supercompactness and level by level equivalence are compatible with indestructibility for strong compactness

It is known that if are such that κ is indestructibly supercompact and λ is 2^λ supercompact, then level by level equivalence between strong compactness and supercompactness fails. We prove a theorem which points towards this result being best possible. Specifically, we show that relative to the existence of a supercompact cardinal, there is a model for level by level equivalence between strong compactness and supercompactness containing a supercompact cardinal κ in which κ’s strong compactness is indestructible under κ-directed closed forcing. The author’s research was partially supported by PSC-CUNY Grant 66489-00-35 and a CUNY Collaborative Incentive Grant.