Several Dimensional θ-Summability and Hardy Spaces

The d-dimensional Hardy spaces H_p ( T × … × T ) (d = d₁ + … + d_kand a general summability method of Fourier series and Fourier transforms are introduced with the help of integrable functions θ_j having integrable Fourier transforms. Under some conditions on θ_j we show that the maximal operator of the θ-means of a distribution is bounded from H_p ( T × … × T ) to L_p ( T ^d) where p₀ < p < ∞ and p₀ < 1 is depending only on the functions θ_j. By an interpolation theorem we get that the maximal operator is also of weak type ( L₁) (i = 1, …, k) where the Hardy space is defined by a hybrid maximal function and if k = 1. As a consequence we obtain that the θ-means of a function (log L)^k–1 converge a.e. to the function in question. If k = 1 then we get this convergence result for all f ∈ L₁. Moreover, we prove that the θ-means are uniformly bounded on the spaces H_p ( T × … × T ) whenever p₀ <p < ∞, thus the θ-means converge to f in ( T × … × T ) norm. The same results are proved for the conjugate θ-means and for d-dimensional Fourier transforms, too. Some special cases of the θ-summation are considered, such as the Weierstrass, Picar, Bessel, Fejér, Riemann, de La Vallée-Poussin, Rogosinski and Riesz summations.     

Construction of Z-cyclic triple whist tournaments

Let p = 2^kt + 1 be a prime where t>1 is an odd integer, k ≥ 2. Methods of constructing a Z-cyclic triple whist tournament TWh(p) are given. By such methods we construct a Z-cyclic TWh(p) for all primes p,p≡1(mod 4), 29 ≤ p ≤ 16097, except p = 257. Let p_i = 2t_i + 1,q = 2t₀ + 3 be primes where t_i;i = 0,1,…, n are odd > 1 and k_i are integers ≥2. We prove that if Z-cyclic TWh(p_i) and TWh(q + 1) exist then Z-cyclic TWh(∏ⁿ_{i = 1} p_i) and TWh(q∏ⁿ_{i = 1} p_i + 1) exist. © 1996 John Wiley & Sons, Inc.     

Blow‐up estimates for a quasi‐linear reaction–diffusion system

In this paper, some sufficient conditions under which the quasilinear elliptic system ‐div(∣?_u∣^p‐2?_u) = uv, ‐div(∣?_u∣^q‐2?_u) = uv in ?^N(N≥3) has no radially symmetric positive solution is derived. Then by using this non‐existence result, blow‐up estimates for a class of quasilinear reaction–diffusion systems u_t = div (∣?_u∣^p‐2?_u)+uv,vt = div(∣?_v∣^q‐2?_v) +uv with the homogeneous Dirichlet boundary value conditions are obtained. Copyright © 2003 John Wiley & Sons, Ltd.     

Z-cyclic triplewhist tournaments—The noncompatible case,part II

Two odd primes p₁ = 2 u₁ + 1, p₂ = 2 u₂ + 1, u₁, u₂ odd, are said to be noncompatible if b₁ ≠ b₂. Let b_i ≥ 2, i = 1, 2 and denote the set {(p₁, p₂): {p₁, p₂} are noncompatible, p_i < 200} by NC. In Part 1 of this study we established the existence of Z-cyclic triplewhist tournaments on 3p₁p₂ + 1 players for all (p₁, p₂) ϵ NC. Here we extend these results and establish Z-cyclic triplewhist tournaments on 3p₁p₂ + 1 players for all (p₁, p₂) ϵ NC and for all α₁ ≥ 1, α₂ ≥ 1. It is believed that these are the first infinite classes of such triplewhist tournaments. © 1997 John Wiley & Sons, Inc. J Combin Designs 5: 189–201, 1997     

Phase transitions for random walk asymptotics on free products of groups

Suppose we are given finitely generated groups Γ₁,…,Γ_m equipped with irreducible random walks. Thereby we assume that the expansions of the corresponding Green functions at their radii of convergence contain only logarithmic or algebraic terms as singular terms up to sufficiently large order (except for some degenerate cases). We consider transient random walks on the free product Γ₁* … *Γ_m and give a complete classification of the possible asymptotic behaviour of the corresponding n‐step return probabilities. They either inherit a law of the form ?^nδn log n from one of the free factors Γ_i or obey a ?^nδn^?3/2‐law, where ? < 1 is the corresponding spectral radius and δ is the period of the random walk. In addition, we determine the full range of the asymptotic behaviour in the case of nearest neighbour random walks on free products of the form $\mathbb{Z}^{d_1}\ast \ldots \ast \mathbb{Z}^{d_m}Suppose we are given finitely generated groups Γ₁,…,Γ_m equipped with irreducible random walks. Thereby we assume that the expansions of the corresponding Green functions at their radii of convergence contain only logarithmic or algebraic terms as singular terms up to sufficiently large order (except for some degenerate cases). We consider transient random walks on the free product Γ₁* … *Γ_m and give a complete classification of the possible asymptotic behaviour of the corresponding n‐step return probabilities. They either inherit a law of the form ?^nδn log n from one of the free factors Γ_i or obey a ?^nδn^?3/2‐law, where ? < 1 is the corresponding spectral radius and δ is the period of the random walk. In addition, we determine the full range of the asymptotic behaviour in the case of nearest neighbour random walks on free products of the form $\mathbb{Z}^{d_1}\ast \ldots \ast \mathbb{Z}^{d_m}$. Moreover, we characterize the possible phase transitions of the non‐exponential types n log n in the case Γ₁ * Γ₂. © 2011 Wiley Periodicals, Inc. Random Struct. Alg., 2012     

On a free boundary problem in electrostatics

Let Ω_i ? ?^N, i = 0, 1, be two bounded separately star-shaped domains such that $ \Omega _0 \supset \bar \Omega _1 $. We consider the electrostatic potential u defined in $ \Omega : = \Omega _0 \backslash \bar \Omega _1 $: The geometry of the two boundary components Γ₀ and Γ₁ is not given, but instead the electrostatic potential u is supposed to satisfy the further boundary conditions Using a best possible maximum principle, we show that this free boundary problem has a unique solution which is radially symmetric.     

On invariant measures of extensions of Markov transition functions

By using the LITTLEWOOD matrices A_2n we generalize CLARKSON' S inequalities, or equivalently, we determine the norms ‖A_2n: l(L_P) → l(L_P)‖ completely. The result is compared with the norms ‖A_2n: l → l‖, which are calculated implicitly in PIETSCH [6].     

Semilinear wave equation with time dependent potential

We consider the following semilinear wave equation: (1) for (t,x) ∈ ?_t × ?. We prove that if the potential V(t,x) is a measurable function that satisfies the following decay assumption: ∣V(t,x)∣?C(1+t)(1+∣x∣) for a.e. (t,x) ∈ ?_t × ? where C, σ₀>0 are real constants, then for any real number λ that satisfies there exists a real number ρ(f,g,λ)>0 such that the equation has a global solution provided that 0<ρ?ρ(f,g,λ). Copyright © 2004 John Wiley & Sons, Ltd.     

Blow‐up rate estimates for a parabolic system with multiple nonlinearities

In this paper, we study the blow‐up behaviors for the solutions of parabolic systems u_t=Δu+δ₁e, v_t=Δv+µ₁u in ?×(0, T) with nonlinear boundary conditions Here δ_i?0, µ_j?0, p_i?0, q_j?0 and at least one of δ_iµ_jp_iq_j>0(i, j=1, 2). We prove that the solutions will blow up in finite time for suitable ‘large’ initial values. The exact blow‐up rates are also obtained. Copyright © 2009 John Wiley & Sons, Ltd.     

Global and blow‐up solutions for non‐linear degenerate parabolic systems

In this paper the degenerate parabolic system u_t=u(u_xx+av). vt=v(v_xx+bu) with Dirichlet boundary condition is studied. For , the global existence and the asymptotic behaviour (α₁=α₂) of solution are analysed. For , the blow‐up time, blow‐up rate and blow‐up set of blow‐up solution are estimated and the asymptotic behaviour of solution near the blow‐up time is discussed by using the ‘energy’ method. Copyright © 2003 John Wiley & Sons, Ltd.     

Finding blocks and other patterns in a random coloring of ℤ

Let ξ = (ξ_k)_k∈? be i.i.d. with P(ξ_k = 0) = P(ξ_k = 1) = 1/2, and let S: = (S_k) be a symmetric random walk with holding on ?, independent of ξ. We consider the scenery ξ observed along the random walk path S, namely, the process (χ_k := ξ). With high probability, we reconstruct the color and the length of blockⁿ, a block in ξ of length ≥ n close to the origin, given only the observations (χ_k). We find stopping times that stop the random walker with high probability at particular places of the scenery, namely on blockⁿ and in the interval [?3ⁿ,3ⁿ]. Moreover, we reconstruct with high probability a piece of ξ of length of the order 3 around blockⁿ, given only 3 observations collected by the random walker starting on the boundary of blockⁿ. © 2005 Wiley Periodicals, Inc. Random Struct. Alg., 2006     

Nullstellensatz effectif et Conjecture de Serre (Théorème de Quillen-Suslin) pour le Calcul Formel

Let k be an arbitrary field, X₁,….,X_n indeterminates over k and F₁…, F₃ ε ∈ k[X₁…,X_n] polynomials of maximal degree $ d: = \mathop {\max }\limits_{1 \le i \le a} \deg $ (F_i). We give an elementary proof of the following effective Nullstellensatz: Assume that F₁,…,F have no common zero in the algebraic closure of k. Then there exist polynomials P₁…, P₃ ε ∈ k[X₁…,X_n] such that $ 1: = \mathop \Sigma \limits_{1 \le i \le a} $ P_iF_i and This result has many applications in Computer Algebra. To exemplify this, we give an effective quantitative and algorithmic version of the Quillen-Suslin Theorem baaed on our effective Nullstellensatz.     

Homogenization of elliptic equations with principal part not in divergence form and hamiltonian with quadratic growth

In this paper, we consider the following problem: Here the coefficients a_ij and b_i are smooth, periodic with respect to the second variable, and the matrix (a_ij)_ij is uniformly elliptic. The Hamiltonian H is locally Lipschitz continuous with respect to u^? and Du^?, and has quadratic growth with respect to Du^?. The Hamilton-Jacobi-Beliman equations of some stochastic control problems are of this type. Our aim is to pass to the limit in (0_?) as ? tends to zero. We assume the coefficients b_i to be centered with respect to the invariant measure of the problem (see the main assumption (3.13)). Then we derive L^∞, H and W, p₀ > 2, estimates for the solutions of (0_?). We also prove the following corrector's result: This allows us to pass to the limit in (0_?) and to obtain This problem is of the same type as the initial one. When (0_?) is the Hamilton-Jacobi-Bellman equation of a stochastic control problem, then (0₀) is also a Hamilton-Jacobi-Bellman equation but one corresponding to a modified set of controls.     

Resonance phenomena for a class of partial differential equations of higher order in cylindrical waveguides

We consider a domain Ω in ?ⁿ of the form Ω = ?^l × Ω′ with bounded Ω′ ? ?^n?l. In Ω we study the Dirichlet initial and boundary value problem for the equation ? u + [(? ? ?… ? ?)^m + (? ? ?… ? ?)^m]u = fe^?iωt. We show that resonances can occur if 2m ≥ l. In particular, the amplitude of u may increase like t^α (α rational, 0<α<1) or like in t as t∞∞. Furthermore, we prove that the limiting amplitude principle holds in the remaining cases.     

Non-linear parabolic problem associated with the penetration of a magnetic field into a substance

We study the following initial and boundary value problem: In section 1, with u₀ in L²(Ω), f continuous such that f(u) + ? non-decreasing for ? positive, we prove the existence of a unique solution on (0,T), for each T > 0. In section 2 it is proved that the unique soluition u belongs to L²(0, T; H ∩ H²) ∩ L^∞(0, T; H) if we assume u₀ in H and f in C¹(?,?). Numerical results are given for these two cases.     

Strengths and Weaknesses of LH Arithmetic

In this paper we provide a new arithmetic characterization of the levels of the og‐time hierarchy (LH). We define arithmetic classes and that correspond to ‐LOGTIME and ‐LOGTIME, respectively. We break and into natural hierarchies of subclasses and . We then define bounded arithmetic deduction systems ′ whose ‐definable functions are precisely B( ‐LOGTIME). We show these theories are quite strong in that (1) LIOpen proves for any fixed m that , (2) TAC, a theory that is slightly stronger than ′ whose (LH)‐definable functions are LH, proves LH is not equal to ‐TIME(s) for any m> 0, where 2^s ∈L, s(n) ∈ ω(log n), and (3) TAC proves LH ≠ for all k and m. We then show that the theory TAC cannot prove the collapse of the polynomial hierarchy. Thus any such proof, if it exists, must be argued in a stronger systems than ours.     

Global solution to the Cauchy problem in non-linear hyperbolic thermoelasticity

We prove the existence of global solutions for small data to the initial value problem for the non-linear hyperbolic system of partial differential equations describing a thermoelastic medium in a three-dimensional space under the assumption that the coefficients in the non-linear terms are smooth functions of their arguments and behave like 0(∣η∣) for k₀ ≥ 2 near the origin. The asymptotic behaviour of the solution as t → ∞ is also described.     

The isoperimetric constant of the random graph process

The isoperimetric constant of a graph G on n vertices, i(G), is the minimum of , taken over all nonempty subsets S ⊂ V (G) of size at most n/2, where ∂S denotes the set of edges with precisely one end in S. A random graph process on n vertices, , is a sequence of graphs, where is the edgeless graph on n vertices, and is the result of adding an edge to , uniformly distributed over all the missing edges. The authors show that in almost every graph process equals the minimal degree of as long as the minimal degree is o(log n). Furthermore, it is shown that this result is essentially best possible, by demonstrating that along the period in which the minimum degree is typically Θ(log n), the ratio between the isoperimetric constant and the minimum degree falls from 1 to , its final value. © 2007 Wiley Periodicals, Inc. Random Struct. Alg., 2008     

On the Additive Group Structure of the Nonstandard Models of the Theory of Integers

Let $\hat \mathbb{Z}$ denote the inverse limit of all finite cyclic groups. Let F, G and H be abelian groups with H ≤ G. Let FβH denote the abelian group (F × H, +^β), where +^βis defined by (a, x) +^β (b, y) = (a + b, x + y + β(a) + β(b) — β(a + b)) for a certain β : F → G linear mod H meaning that β(0) = 0 and β(a) + β(b) — β(a + b) ∈ H for all a, b in F. In this paper we show that the following hold: (1) The additive group of any nonstandard model ℤ* of the ring ℤ is isomorphic to (ℤ*₊/H)βH for a certain β : ℤ*₊/H → $\hat \mathbb{Z}$ linear mod H. (2) $\hat \mathbb{Z}$ is isomorphic to (ℤ₊/H )βH for some β : $\hat \mathbb{Z}$/H →ℚ linear mod H, though $\hat \mathbb{Z}$ is not the additive group of any model of Th(ℤ, +, ×) and the exact sequence H → $\hat \mathbb{Z}$ → $\hat \mathbb{Z}$/H is not splitting.     

Unions and Intersections of Families of Lp-Spaces

Let L^Ψ and E^Ψ be the ORLICZ space and the space of finite elements respectively, on a measure space (Ω, Σ, μ), and let T ? (0, ∞). It is proved that if inf {p: p ? T} ? T or sup {p: p ? T} ? T and μ is an infinite atomless measure, then there is no ORLICZ function Ψ such that: \documentclass{article}\pagestyle{empty}\begin{document}$ L^\varphi = Lin\mathop { \cup L^p }\limits_{p\varepsilon T} $\end{document} or \documentclass{article}\pagestyle{empty}\begin{document}$ E^\varphi = Lin\mathop { \cup L^p }\limits_{p\varepsilon T} $\end{document} and moreover, there is no ORLICZ function Ψ such that: \documentclass{article}\pagestyle{empty}\begin{document}$ L^\varphi = Lin\mathop { \cap L^p }\limits_{p\varepsilon T} $\end{document} or \documentclass{article}\pagestyle{empty}\begin{document}$ E^\varphi = Lin\mathop { \cap L^p }\limits_{p\varepsilon T} $\end{document}.