Some Infinite Families of Locally Partial Geometries Generalizing the Classical Laguerre Planes

Starting with a subgeometry Ω embedded in a β-dimensional projective space PG(β, q), β 1, we construct inductively a series of rank n residually connected geometries Γ^{(n, β, Ω)}, n β, by putting Γ^{(β, β, Ω)} = Ω and extending Γ^{(n - 1, β, Ω)} with a partial geometry.     

Some results on embeddings of algebras, after de Bruijn and McKenzie

In 1957, N.G. de Bruijn showed that the symmetric group Sym(Ω) on an infinite set Ω contains a free subgroup on 2^card(Ω) generators, and proved a more general statement, a sample consequence of which is that for any group A of cardinality card(Ω), the group Sym(Ω) contains a coproduct of 2^card(Ω) copies of A, not only in the variety of all groups, but in any variety of groups to which A belongs. His key lemma is here generalized to an arbitrary variety of algebras V, and formulated as a statement about functors Set V. From this one easily obtains analogs of the results stated above with “group” and Sym(Ω) replaced by “monoid” and the monoid Self(Ω) of endomaps of Ω, by “associative K-algebra” and the K-algebra End_K (V) of endomorphisms of a K-vector-space V with basis Ω, and by “lattice” and the lattice Equiv(Ω) of equivalence relations on Ω. It is also shown, extending another result from de Bruijn's 1957 paper, that each of Sym(Ω), Self(Ω) and End_K(V) contains a coproduct of 2^card(Ω) copies of itself.That paper also gave an example of a group of cardinality 2^card(Ω) that was not embeddable in Sym(Ω), and R. McKenzie subsequently established a large class of such examples. Those results are shown here to be instances of a general property of the lattice of solution sets in Sym(Ω) of sets of equations with constants in Sym(Ω). Again, similar results - this time of varying strengths - are obtained for Self(Ω), End_K(V), and Equiv(Ω), and also for the monoid Rel(Ω) of binary relations on Ω.Many open questions and areas for further investigation are noted.     

The heat flow in nonlinear Hodge theory

We study the nonlinear Hodge system dω=0 and δ(ρ(|ω|²)ω)=0 for an exterior form ω on a compact oriented Riemannian manifold M, where ρ(Q) is a given positive function. The solutions are called ρ-harmonic forms. They are the stationary points on cohomology classes of the functional with e′(Q)=ρ(Q)/2. The ρ-codifferential of a form ω is defined as δ_ρω=ρ⁻¹δ(ρω) with ρ=ρ(|ω|²).We evolve a given closed form ω₀ by the nonlinear heat flow system for a time-dependent exterior form ω(x,t) on M. This system is the differential of the normalized gradient flow for E(ω) with ω=ω₀+du. Under a technical assumption on the function 2ρ′(Q)Q/ρ(Q), we show that the nonlinear heat flow system , with initial condition ω(·,0)=ω₀, has a unique solution for all times, which converges to a ρ-harmonic form in the cohomology class of ω₀. This yields a nonlinear Hodge theorem that every cohomology class of M has a unique ρ-harmonic representative.     

Canonical forms of Borel-measurable mappings Δ: [ω] →

We show that for every Borel-measurable mapping Δ: [ω]^ω → there exists A [ω]^ω and there exists a continuous mapping Γ: [A]^ω → [A]^ω with Γ(X) X such that for all X, Y [A]^ω it follows that Δ(X) = Δ(Y) if Γ(X) = Γ(Y). In a sense, this is generalization of the Erdös-Rado canonization theorem     

Existence of three solutions for a class of elliptic eigenvalue problems

In this paper, we consider a problem of the type −Δu = λ(f(u) + μg(u)) in Ω, u¦∂Ω = 0, where Ω Rⁿ is an open-bounded set, f, g are continuous real functions on R, and λ, μ ε R. As an application of a new approach to nonlinear eigenvalues problems, we prove that, under suitable hypotheses, if ¦μ¦ is small enough, then there is some λ > 0 such that the above problem has at least three distinct weak solutions in W₀^1,2(Ω).     

Borel ideals vs. Borel sets of countable relations and trees

For every μ < ω₁, let I_μ be the ideal of all sets S ω^μ whose order type is <ω^μ. If μ = 1, then I₁ is simply the ideal of all finite subsets of ω, which is known to be Σ⁰₂-complete. We show that for every μ < ω₁, I_μ is Σ⁰_2μ-complete. As corollaries to this theorem, we prove that the set WO_ωμ of well orderings Rω × ω of order type <ω^μ is Σ⁰_2μ-complete, the set LP_μ of linear orderings R ω × ω that have a μ-limit point is Σ⁰_2μ+1-complete. Similarly, we determine the exact complexity of the set LT_μ of trees T ^<ωω of Luzin height <μ, the set WR_μ of well-founded partial orderings of height <μ, the set LR_μ of partial orderings of Luzin height <μ, the set WF_μ of well-founded trees T ^<ωω of height <μ(the latter is an old theorem of Luzin). The proofs use the notions of Wadge reducibility and Wadge games. We also present a short proof to a theorem of Luzin and Garland about the relation between the height of ‘the shortest tree’ representing a Borel set and the complexity of the set.     

On optimal simultaneous rational approximation to with being some kind of cubic algebraic function

It is shown that each rational approximant to (ω,ω²)^τ given by the Jacobi–Perron algorithm (JPA) or modified Jacobi–Perron algorithm (MJPA) is optimal, where ω is an algebraic function (a formal Laurent series over a finite field) satisfying ω³+kω-1=0 or ω³+kdω-d=0. A result similar to the main result of Ito et al. [On simultaneous approximation to (α,α²) with α³+kα-1=0, J. Number Theory 99 (2003) 255–283] is obtained.     

Existence of maximal solutions

Let Ω be a plane bounded region. Let U = {U_μ(P):μ(P)εL∞(Ω), u_μ ε H²_{2, 0}(Ω) and a(P, μ(P))u_μ,xx + 2b(P, μ(P))u_μ,xy + c(P, μ(P))u_μ,vv = ƒ(P) for P ε Ω; here we are given a(P, X), b(P, X), c(P, X) ε L_∞(Ω × E¹), ƒ(P) ε L_p(Ω) with p > 2, and our partial differential equation is uniformly elliptic. The functions μ(P) are called profiles. We establish sufficient conditions—which when they apply are constructive—that there exist a μ₀ ε L_∞(Ω) such that u_μ0 (P) u_μ(P) for all P ε Ω and for each μ ε L_∞(Ω). Similar results are obtained for a difference equation and convergence is proved.     

-continuity of the generalized four-point scheme

We show that the interpolatory four-point-scheme with tension parameter ω generates C¹-limit curves if and only if 0<ω<ω^*, where ω^*≈0.19273 is the unique real solution of the cubic equation 32ω³+4ω-1=0.     

Nonhomogeneous Neumann problem for the Poisson equation in domains with an external cusp

In this work we analyze the existence and regularity of the solution of a nonhomogeneous Neumann problem for the Poisson equation in a plane domain Ω with an external cusp. In order to prove that there exists a unique solution in H¹(Ω) using the Lax–Milgram theorem we need to apply a trace theorem. Since Ω is not a Lipschitz domain, the standard trace theorem for H¹(Ω) does not apply, in fact the restriction of H¹(Ω) functions is not necessarily in L²(∂Ω). So, we introduce a trace theorem by using weighted Sobolev norms in Ω. Under appropriate assumptions we prove that the solution of our problem is in H²(Ω) and we obtain an a priori estimate for the second derivatives of the solution.     

The Norm and Regularized Trace of the Cauchy Transform

In this paper, the norm of the Cauchy transform C is obtained on the space L ²(D, dμ), where dμ = ω(|z|) dA(z). Also, (for the case ω ≡ 1), the first regularized trace of the operator C* C on L ²(Ω) is obtained. The results are illustrated by examples, with different specific choices of the function ω and the domain Ω.__________Translated from Matematicheskie Zametki, vol. 77, no. 6, 2005, pp. 844–853.Original Russian Text Copyright ©2005 by M. R. Dostanic.     

Path coupling without contraction

Path coupling is a useful technique for simplifying the analysis of a coupling of a Markov chain. Rather than defining and analysing the coupling on every pair in Ω×Ω, where Ω is the state space of the Markov chain, analysis is done on a smaller set SΩ×Ω. If the coefficient of contraction β is strictly less than one, no further analysis is needed in order to show rapid mixing. However, if β=1 then analysis (of the variance) is still required for all pairs in Ω×Ω. In this paper we present a new approach which shows rapid mixing in the case β=1 with a further condition which only needs to be checked for pairs in S, greatly simplifying the work involved. We also present a technique applicable when β=1 and our condition is not met.     

The asymptotic behavior of the solutions of the Cauchy problem generated by -accretive operators

The purpose of this paper is to study the asymptotic behavior of the solutions of certain type of differential inclusions posed in Banach spaces. In particular, we obtain the abstract result on the asymptotic behavior of the solution of the boundary value problem

where Ω is a bounded open domain in with smooth boundary ∂Ω, f(t,x) is a given L¹-function on ]0,∞[×Ω, γ1 and 1p<∞. Δ_p represents the p-Laplacian operator, is the associated Neumann boundary operator and β a maximal monotone graph in with 0β(0).     

Front Propagation Problems with Nonlocal Terms, II

We study the propagation of hyper surfaces Σ_t of ^N satisfying the equation V = h(x, Ω_t), where V is the normal velocity of Σ_t at x, Ω_t is the interior of Σ_t, and h is a given evolution law. We prove the existence of generalized solutions and an inclusion principle for these generalized solutions. Copyright 2001 Academic Press.Dans cet article nous étudions certains problèmes de propagation d'hypersurfaces Σ_t de ^N suivant des lois de la forme: V = h(x, Ω_t), où V est la vitesse normale à Σ_t en x, Ω_t est l'intérieur de Σ_t et h est une loi d'évolution. On définit une notion de solutions généralisées, et on montre l'existence de telles solutions. De plus on démontre un principe d'inclusion pour ces solutions.     

Maximum principle for elliptic operators and applications

Let f be a signed function defined on some bounded domain Ω. We give sufficient conditions ensuring the positivity of u, solution of the following equation: −Δu=f in Ω, u|_∂Ω=0.     

A Modification of the Blowup Technique for Variational Integrals with Subquadratic Growth

We present a version of the blowup technique which applies to local minimizersu: Ω → ^N, Ω open in ⁿ, of strictly convex variational integralsJ(u) ∫_Ω f(u) dx, wherefis of p-growth for some 1 < p < 2. This provides an alternative approach towards the partial regularity theorem of Anzellotti and Giaquinta. For two-dimensional problems we obtain everywhereC^{1, α}-regularity.     

Dense non-reflection for stationary collections of countable sets

We present several forcing posets for adding a non-reflecting stationary subset of P_ω1(λ), where λ≥ω₂. We prove that PFA is consistent with dense non-reflection in P_ω1(λ), which means that every stationary subset of P_ω1(λ) contains a stationary subset which does not reflect to any set of size ₁. If λ is singular with countable cofinality, then dense non-reflection in P_ω1(λ) follows from the existence of squares.     

Orientations Acycliques et le Polynôme Chromatique

On attache à tout graphe G son polynôme chromatiqueχ_G (λ), qui dénombre ses colorations régulières avecλ couleurs. D’après Stanley, on sait que |χ_G ( − 1)| est égal au nombre d’orientations acycliques du graphe, un résultat qui fut raffiné par Greene et Zaslavsky. Nous nous proposons de l’affiner davantage en interprétant, avec l’aide de certaines orientations acycliques, les coefficients deχ_G (λ) développé en puissances de λ et surtout en puissances de (λ −  1). L’utilisation systématique des fonctions génératrices des fonctions d’ensembles permet d’avoir des démonstrations très courtes et explicatives. Elles se veulent une réponse à la suggestion faite par Gebhard et Sagan, qui ont déjà trouvé des démonstrations combinatoires de deux résultats de Greene et Zaslavsky. Les fonctions d’ensembles permettent aussi d’établir une série d’interprétations nouvelles de l’invariant β_Gde Crapo. Cet article donne également un nouvel éclat aux résultats classiques de Cartier, Foata, Viennot, Brenti, Gessel et Stanley. The chromatic polynomialχ_G (λ), which is associated with each graph G, enumerates its regular colorations with λ colors. Stanley showed that |χ_G ( − 1)| is equal to the number of acyclic orientations of the graph, a result that was refined by Greene and Zaslavsky. The purpose of the paper is to show that a further refinement can be obtained by interpreting each coefficient of χ_G(λ), when the polynomial is developed with respect to powers of λ and (λ −  1). A systematic use of the generating functions for set functions enables us to have very short and instructive proofs. Gebhard and Sagan, who had already found combinatorial proofs of two results by Greene and Zaslavsky, suggested that further proofs were to be found. Finally, the set functions algebra allows us to establish a series of new interpretations for Crapo’sβ_G invariant. This paper also brings a new light to the classical results due to Cartier, Foata, Viennot, Brenti, Gessel and Stanley.     

Universal Overconvergence of Polynomial Expansions of Harmonic Functions

For each compact subset K of ^N let (K) denote the space of functions that are harmonic on some neighbourhood of K. The space (K) is equipped with the topology of uniform convergence on K. Let Ω be an open subset of ^N such that 0Ω and ^N\Ω is connected. It is shown that there exists a series ∑H_n, where H_n is a homogeneous harmonic polynomial of degree n on ^N, such that (i) ∑H_n converges on some ball of centre 0 to a function that is continuous on Ω and harmonic on Ω, (ii) the partial sums of ∑H_n are dense in (K) for every compact subset K of ^N\Ω with connected complement. Some refinements are given and our results are compared with an analogous theorem concerning overconvergence of power series.     

On the asymptotic behaviour of a semigroup of linear operators

Let T = {T(t)}_{t ≥ 0} be a C₀-semigroup on a Banach space X. In this paper, we study the relations between the abscissa ω_Lp(T) of weak p-integrability of T (1 ≤ p < ∞), the abscissa ω^p_R(A) of p-boundedness of the resolvent of the generator A of T (1 ≤ p ≤ ∞), and the growth bounds ω_β(T), β ≥ 0, of T. Our main results are as follows.

1. (i) Let T be a C₀-semigroup on a B-convex Banach space such that the resolvent of its generator is uniformly bounded in the right half plane. Then ω_{1 − ε}(T) < 0 for some ε > 0.

2. (ii) Let T be a C₀-semigroup on L^p such that the resolvent of the generator is uniformly bounded in the right half plane. Then ω_β(T) < 0 for all β>¦1/p − 1/p′¦, 1/p + 1/p′ = 1.

3. (iii) Let 1 ≤ p ≤ 2 and let T be a weakly L^p-stable C₀-semigroup on a Banach space X. Then for all β>1/p we have ω_β(T) ≤ 0.

Further, we give sufficient conditions in terms of ω^q_R(A) for the existence of L^p-solutions and W^1,p-solutions (1 ≤ p ≤ ∞) of the abstract Cauchy problem for a general class of operators A on X.