On the positive solutions of some nonlinear diffusion problems

We consider the nonlinear diffusion equationu _t –a(x, u _{x x} )+b(x, u)=g(x, u) with initial boundary conditions andu(t, 0)=u(t, 1)=0. Here,a, b, andg denote some real functions which are monotonically increasing with respect to the second variable. Then, the corresponding stationary problem has a positive solution if and only if(0, ^*) or(0, ^*]. The endpoint ^* can be estimated by , where ₁ u denotes the first eigenvalue of the stationary problem linearized at the pointu. The minimal positive steady state solutions are stable with respect to the nonlinear parabolic equation.

---

Zusammenfassung Wir betrachten die nichtlineare Diffusionsgleichungu _t –a(x, u _x ) _x +b(x, u)=g(x, u) mit Randbedingungen undu (t, 0)=u (t, 1)=0. Dabei sinda, b, undg monoton wachsende Funktionen bzgl. des zweiten Argumentes. Das zugehörige stationäre Problem hat genau dann eine positive Lösung, falls (0, ^*) oder(0, ^*]. Der Endpunkt ^* kann durch abgeschätzt werden, wobei ₁ u den ersten Eigenwert des an der Stelleu linearisierten stationären Problems bezeichnet. Die minimale positive stationäre Lösung ist stabil bzgl. der obigen nichtlinearen parabolischen Gleichung.

     

Singular perturbations in foliations

Summary We define a constraint system , [0,₀), which is a kind of family of vector fields on a manifold. This is a generalized version of the family of the equations , [0,₀),x ^m ,y ⁿ . Finally, we prove a singular perturbation theorem for the system , [0,₀).Dedicated to Professor Kenichi Shiraiwa on his 60th birthday     

Continuous Quotients for Lattice Actions on Compact Spaces

Let < SL _n ( ) be a subgroup of finite index, where n 5. Suppose acts continuously on a manifold M, where ₁(M) = ⁿ , preserving a measure that is positive on open sets. Further assume that the induced action on H ¹(M) is non-trivial. We show there exists a finite index subgroup < and a equivariant continuous map : M ⁿ that induces an isomorphism on fundamental group. We prove more general results providing continuous quotients in cases where ₁(M) surjects onto a finitely generated torsion free nilpotent group. We also give some new examples of manifolds with actions.     

Extremal problems of Bloch function spaces

Letf be analytic in a hyperbolic region . The Bloch constant _f off is defined by , where (z)|dz| is the Poincaré metric in . Suppose is hyperbolic and where . Then for allf withf() , we have _f 1/(). In this paper we study the extremal functions defined by _f =1/() and the existence of those functions.Supported by the National Natural Science Foundation of China.     

On the Solvability and Asymptotics of Solutions of One Functional Differential Equation with Singularity

We prove the existence of continuously differentiable solutions with required asymptotic properties as t +0 and determine the number of solutions of the following Cauchy problem for a functional differential equation:

A structure theorem for weak buildings of spherical type

Following earlier work of Tits [8], this paper deals with the structure of buildings which are not necessarily thick; that is, possessing panels (faces of codimension 1) which are contained in two chambers, only. To every building , there is canonically associated a thick building whose Weyl group W( ) can be considered as a reflection subgroup of the Weyl group W() of . One can reconstruct from together with the embedding W( ) W(). Conversely, if is any thick building and W any reflection group containing W( ) as a reflection subgroup, there exists a weak building with Weyl group W and associated thick building .     

Limit Theorems for the Maximum Terms of a Sequence of Random Variables with Marginal Geometric Distributions

Let X _n1 ^* , ... X _nn ^* be a sequence of n independent random variables which have a geometric distribution with the parameter p _n = 1/n, and M _n ^* = \max\{X _n1 ^* , ... X _nn ^* }. Let Z ₁, Z₂, Z₃, ... be a sequence of independent random variables with the uniform distribution over the set N _n = {1, 2, ... n}. For each j N _n let us denote X _nj = min{k : Z_k = j}, M _n = max{X_n1, ... X_nn}, and let S _n be the 2nd largest among X _n1, X_n2, ... X_nn. Using the methodology of verifying D(u_n) and D'(u_n) mixing conditions we prove herein that the maximum M _n has the same type I limiting distribution as the maximum M _n ^* and estimate the rate of convergence. The limiting bivariate distribution of (S_n, M_n) is also obtained. Let _n, _n N_n, , and T _n = min{M(A_n), M(B_n)}. We determine herein the limiting distribution of random variable T _n in the case _n , _n/_n > 0, as n .     

Nonnegative Hall Polynomials

The number of subgroups of type and cotype in a finite abelian p-group of type is a polynomialg with integral coefficients. We prove g has nonnegative coefficients for all partitions and if and only if no two parts of differ by more than one. Necessity follows from a few simple facts about Hall-Littlewood symmetric functions; sufficiency relies on properties of certain order-preserving surjections that associate to each subgroup a vector dominated componentwise by . The nonzero components of (H) are the parts of , the type of H; if no two parts of differ by more than one, the nonzero components of – (H) are the parts of , the cotype of H. In fact, we provide an order-theoretic characterization of those isomorphism types of finite abelian p-groups all of whose Hall polynomials have nonnegative coefficients.     

Random rotations of the Wiener path

Summary Let (W, H, ) be an abstract Wiener space and letR(w) be a strongly measurable random variable with values in the set of isometries onH. Suppose that Rh is smooth in the Sobolev sense and that it is a quasi-nilpotent operator onH for everyhH. It is shown that (R(w)h) is again a Gaussian (0, |h| _H ² )-random variable. Consequently, if (e _i ,i)W ^* is a complete, orthonormal basis ofH, then defines a measure preserving transformation, a rotation, onW. It is also shown that if for some strongly measurable, operator valued (onH) random variableR, (R(w+k)h) is (0, |h| _H ² )-Gaussian for allk, hH, thenR is an isometry and Rh is quasi-nilpotent for allHH. The relation between the stochastic calculi for these Wiener pathsw and , as well as the conditions of the inverbibility of the map are discussed and the problem of the absolute continuity of the image of the Wiener measure under Euclidean motion on the Wiener space (i.e. composed with a shift) is studied.The research of the second author was supported by the Fund for the Promotion of Research at the TechnionDedicated to the memory of Albert Badrikian     

Quotient Groups of Groups of Certain Classes

For an arbitrary variety of groups and an arbitrary class of groups that is closed on quotient groups, we prove that a quotient group G/N of the group G possesses an invariant system with - and -factors (respectively, is a residually -group) if G possesses an invariant system with - and -factors (respectively, is a residually -group) and N (respectively, N is a maximal invariant -subgroup of the group G).     

A Full Characterization of Multipliers for the Strong ϱ-Integral in the Euclidean Space

We study a generalization of the classical Henstock-Kurzweil integral, known as the strong -integral, introduced by Jarník and Kurzweil. Let be the space of all strongly -integrable functions on a multidimensional compact interval E, equipped with the Alexiewicz norm We show that each element in the dual space of can be represented as a strong -integral. Consequently, we prove that fg is strongly -integrable on E for each strongly -integrable function f if and only if g is almost everywhere equal to a function of bounded variation (in the sense of Hardy-Krause) on E.     

Interpolation theorems for a family of spanning subgraphs

Let G be a graph with order p, size q and component number . For each i between p – and q, let be the family of spanning i-edge subgraphs of G with exactly components. For an integer-valued graphical invariant if H H is an adjacent edge transformation (AET) implies |(H)-(H^')|1 then is said to be continuous with respect to AET. Similarly define the continuity of with respect to simple edge transformation (SET). Let M _j() and m _j() be the invariants defined by . It is proved that both M _p–() and m _p–(;) interpolate over , if is continuous with respect to AET, and that M _j() and m _j() interpolate over , if is continuous with respect to SET. In this way a lot of known interpolation results, including a theorem due to Schuster etc., are generalized.     

On Dirichlet Processes Associated with Second Order Divergence Form Operators

Let be a d - dimensional Markov family corresponding to a uniformly elliptic second order divergence form operator. We show that for any quasi continuous in the Sobolev space the process (X) admits under P ^x a decomposition into a martingale additive functional (AF) M and a continuous AF A of zero quadratic variation for almost every starting point x if q=2, for quasi every x if q>2 and for every if is continuous, d=1 and or d>1 and q>d. Our decomposition enables us to show that in the case of symmetric operator the energy of A equals zero if q=2 and that the decomposition of (X) into the martingale AF M and the AF of zero energy A is strict if for some q>d. Moreover, our decomposition provides a probabilistic representation of A .     

On sequences of Dirichlet polynomials uniformly bounded on half planes

Given and a sequence of Dirichlet polynomials estimates for the coefficientsa _n are proved if {_n} is uniformly bounded on a region containing a half plane. Thereby a result is obtained which is an analogue of a known result for polynomials, that is for theA-transforms of the geometric sequence; moreover a Jentzsch type theorem for {_n(z)} is derived.     

Lattices of interpretability types of varieties

Let be the set of all primes, the field of all algebraic numbers, and Z the set of square-free natural numbers. We consider partially ordered sets of interpretability types such as , and , where AD is a variety of -divisible Abelian groups with unique taking of the pth root _p(x) for every p , is a variety of -modules over a normal field , contained in , and G_n is a variety of n-groupoids defined by a cyclic permutation (12 ...n). We prove that , and are distributive lattices, with and where ub and ub_f are lattices (w.r.t. inclusion) of all subsets of the set and of finite subsets of , respectively.Deceased.__________Translated from Algebra i Logika, Vol. 44, No. 2, pp. 198–210, March–April, 2005.     

Conditions of Local Asymptotic Normality for Gaussian Stationary Processes

Let {\bold x}[] be a stationary Gaussian process with zero mean and spectral density f, let be the -algebra induced by the random variables {\bold x}[], D(R¹), and let _t, t > 0, be the -algebra induced by the random variables x[],supp [-t,t]. Denote by (f) the Gaussian measure on generated by {\bold x}. Let _t(f) be the restriction of (f) to _t. Let f and g be nonnegative functions such that the measures _t(f) and _t(g) are absolutely continuous. Put

Finitely Valued f-Modules, An Addendum

In an -group M with an appropriate operator set it is shown that the -value set (M) can be embedded in the value set (M). This embedding is an isomorphism if and only if each convex -subgroup is an -subgroup. If (M) has a.c.c. and M is either representable or finitely valued, then the two value sets are identical. More generally, these results hold for two related operator sets ₁ and ₂ and the corresponding -value sets and . If R is a unital -ring, then each unital -module over R is an f-module and has exactly when R is an f-ring in which 1 is a strong order unit.     

The Kreîn-Langer problem for Hilbert space operator valued functions on the band

We deal with the Kreîn-Langer problem for -valued functions on the band (–2a, 2a)×, where is the algebra of continuous linear operators on a Hilbert space ,a a finite positive number and a topological Abelian group. We show that every weakly continuous -indefinite function admits a strongly continuous -indefinite continuation to × with the same indefiniteness index . We give a parametrization of the extensions in terms of operator-valued Schur functions.     

Win probabilities and simple majorities in probabilistic voting situations

This paper considers an election between candidatesA andB in which (1) voters may be uncertain about which candidate they will vote for, and (2) the winner is to be determined by a lottery betweenA andB that is based on their vote totals. This lottery is required to treat voters equally, to treat candidates equally, and to respond nonnegatively to increased support for a candidate. The set _n of all such lottery rules based on a total ofn voters is the convex hull of aboutn/2 basic lottery rules which include the simple majority rule. For odd values ofn 3 let , and for even values ofn 4 let . With the average of then voters probabilities of voting forA, it is shown that within _n the simple majority rule maximizes candidateA's overall win probability whenever , and that(n) is the smallest number for which this is true. Similarly, the simple majority rule maximizesB's overall win probability whenever (the average of the voters probabilities of voting forB) is as large as(n). This research was supported by the National Science Foundation, Grant SOC 75-00941.     

Spin Models and Strongly Hyper-Self-Dual Bose-Mesner Algebras

We introduce the notion of hyper-self-duality for Bose-Mesner algebras as a strengthening of formal self-duality. Let denote a Bose-Mesner algebra on a finite nonempty set X. Fix p X, and let and denote respectively the dual Bose-Mesner algebra and the Terwilliger algebra of with respect to p. By a hyper-duality of , we mean an automorphism of such that for all ; and is a duality of . is said to be hyper-self-dual whenever there exists a hyper-duality of . We say that is strongly hyper-self-dual whenever there exists a hyper-duality of which can be expressed as conjugation by an invertible element of . We show that Bose-Mesner algebras which support a spin model are strongly hyper-self-dual, and we characterize strong hyper-self-duality via the module structure of the associated Terwilliger algebra.