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}.     

A generalized jacobi theta function

The delta function initial condition solution v^*(x,t;y) at x = y ≥ 0 of the generalized Feller equation is used to define a generalized Jacobi Theta function \documentclass{article}\pagestyle{empty}\begin{document}$ \Theta (x,t) = \upsilon *(x,t;0) + 2\sum\limits_{n = 1}^\infty {v*(x,t;y_n)} $\end{document} for a sufficiently rapidly increasing and unbounded positive sequence {y_y}. It is shown that Θ(x,t) is analytic in each variable in certain regions of the complex x and t planes and that it is a solution of the generalized Feller equation. For those parameters for which this equation reduces to the heat equation, Θ(x,t) reduces to the third Jacobi Theta function.     

The PENROSE Transform for Bundles Non-Trivial on the General Line

Let L₀ be a fixed projective line in CP ³ and let M ? C ⁴ be the complexified MINKOWSKI space interpreted as the manifold of all projective lines L ? CP ³ with L ∩ L ₀ ?? Ø. Let D ? M , D ′ ? CP ³/ L ₀ be open sets such that \documentclass{article}\pagestyle{empty}\begin{document}$ D' = \mathop \cup \limits_{L \in D} $\end{document}. Under certain topological conditions on D, R. S. WARD'S PENROSE transform sets up an 1–1 correspondence between holomorphic vector bundles over D ′ trivial over each L ? D and holomorphic connections with anti-self-dual curvature over D (anti-self-dual YANG-MILLIS fields). In the present paper WARD'S construction is generalized to holomorphic vector bundles E over D′ satisfying the condition that \documentclass{article}\pagestyle{empty}\begin{document}$ E|_L \cong E|_{\tilde L} $\end{document} for all \documentclass{article}\pagestyle{empty}\begin{document}$ L,\tilde L \in D $\end{document}.     

Inversion of the Radon transform with incomplete data

The Radon transform R(p, θ), θ∈S^n?1, p∈?¹, of a compactly supported function f(x) with support in a ball B_a of radius a centred at the origin is given for all $ \theta \in \mathop {S^{n - 1} }\limits^\tilde $, where $ \mathop {S^{n - 1} }\limits^\tilde $ is an open set on S^n?1, and all p∈(? ∞, ∞), n≥2. An approximate formula is given to calculate f(x) from the given data.     

Infinitely Many Positive Solutions to Some Scalar Field Equations with Nonsymmetric Coefficients

In this paper the equation $\font\open=msbm10 at 10pt\def\R{\hbox{\open R}} - \Delta u + a(x)u = |u|^{p - 1} u\;{\rm in }\;{\R}^N $ is considered, when N ≥ 2, p > 1, and $p < {{N + 2} \over {N - 2}}$ if N ≥ 3. Assuming that the potential a(x) is a positive function belonging to $\font\open=msbm10 at 10pt\def\R{\hbox{\open R}}L_{{\rm loc}}^{N/2} ({\R}^N )$ such that a(x) → a_∞ > 0 as |x|→∞ and satisfies slow decay assumptions but does not need to fulfill any symmetry property, the existence of infinitely many positive solutions, by purely variational methods, is proved. The shape of the solutions is described as is, and furthermore, their asymptotic behavior when $\font\open=msbm10 at 10pt\def\R{\hbox{\open R}}|a(x) - a_\infty |_{L_{{\rm loc}}^{N/2} ({\R}^N )} \to 0$ . © 2012 Wiley Periodicals, Inc.     

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.     

What is the smallest number of dicycles in a dicycle decomposition of an eulerian digraph?

A digraph D with n vertices is said to be decomposable into a set S of dicycles if every arc of D is contained in exactly one member of S. Counterexamples are given to the following conjectures which are generalizations of three well-known conjectures by G. Hajós, P. Erd?s, and P.J. Kelly: (1) [B. Jackson] Every eulerian-oriented graph is decomposable into at most \documentclass{article}\pagestyle{empty}\begin{document}$ \frac{n}{2} $\end{document} dicycles. (2) [W. Bienia & H. Meyniel] Every eulerian digraph is decomposable into at most n dicycles. Certain observations lead us to make three other conjectures: (a) Every eulerian-oriented graph is decomposable into at most \documentclass{article}\pagestyle{empty}\begin{document}$ \frac{{2n}}{3} $\end{document} dicycles. (b) Every symmetric digraph with n > 1 is decomposable into at most 2n – 3 dicycles. (c) Every eulerian digraph with n > 1 is decomposable into at most \documentclass{article}\pagestyle{empty}\begin{document}$ \frac{{8n}}{3} $\end{document} – 3 dicycles.     

A Weak Convergence Theorem for Functionals of Sums of Martingale Differences

For each n, let (S_nk), 1 ≦ k ≦ k_n, be a mean zero square — integrable martingale adapted to increasing s?-fields (b_nk), 0 ≦ k ≦ k_n, and let (b_nk), 0 ≦ k ≦ k_n, be a system of random variables such that b_n0 = 0 < b_n1 <…< b = 1 and such that b_nk is b_{n, k?1} measurable for each k. We present sufficient conditions under which \documentclass{article}\pagestyle{empty}\begin{document}$ \sum\limits_{i = 0}^{k_n - 1} {f_n (b_{ni,\;} S_{ni})\;(S_{n,i + 1} \; - \;S_{ni})\; \to \int\limits_0^1 {f(t,\;W(t))\;d{\rm W(t)}} } $\end{document} as n → ∞, where {W(t) : 0 ≦ t ≦ 1} is a standard WIENER process.     

On the number of subtrees for almost all graphs

In this article it is shown that the number of common edges of two random subtrees of K_n having r and s vertices, respectively, has a Poisson distribution with expectation 2λμ if $\mathop {\lim }\limits_{n \to \infty } r/n = \lambda$ and $\mathop {\lim }\limits_{n \to \infty } s/n = \mu$. Also, some estimations of the number of subtrees for almost all graphs are made by using Chebycheff's inequality. © 1994 John Wiley & Sons, Inc.     

The phase transition in the evolution of random digraphs

Let $ \mathop {\rm D}\limits^ \to $(n, M) denote a digraph chosen at random from the family of all digraphs on n vertices with M arcs. We shall prove that if M/n ≤ c < 1 and ω(n) → ∞, then with probability tending to 1 as n → ∞ all components of $ \mathop {\rm D}\limits^ \to $(n, M) are smaller than ω(n), whereas when M/n ≥ c > 1 the largest component of $ \mathop {\rm D}\limits^ \to $(n, M) is of the order n with probability 1 - o(1).     

Fourth-order accurate one-step integration methods with large imaginary stability limits

One-step integration methods of fourth-order accuracy using an odd number of function evaluations K, to solve dy/dt = A · y, are proposed. These methods have an imaginary stability limit \documentclass{article}\pagestyle{empty}\begin{document}$ S_{1\;} = \sqrt {(K - 1)^2 - 4} $\end{document}. In the case K = 5 the Kutta-Merson method results.     

Asymptotic behavior of the solutions of certain parabolic equations

Some laws in physics describe the change of a flux and are represented by parabolic equations of the form (*) \documentclass{article}\pagestyle{empty}\begin{document}$$\frac{{\partial u}}{{\partial t}}=\frac{\partial}{{\partial x_j }}(\eta \frac{{\partial u}}{{ax_j}}-vju),$$\end{document} j≤m, where η and v_j are functions of both space and time. We show under quite general assumptions that the solutions of equation (*) with homogeneous Dirichlet boundary conditions and initial condition u(x, 0) = u_o(x) satisfy The decay rate d > 0 only depends on bounds for η, v and G § R^m the spatial domain, while the constant c depends additionally on which norm is considered. For the solutions of equation (*) with homogeneous Neumann boundary conditions and initial condition u₀(x) ≥ 0 we derive bounds d₁u₁ ≤ u(x, t) ≤ d₂u₂, Where d_i, i = 1, 2, depend on bounds for η, v and G, and the u_i are bounds on the initial condition u₀.     

Local and Global LIPSCHITZian Mappings on Ordered Metric Spaces

We consider the set ?? of nonhomogeneous Markov fields on T = N or T = Z with finite state spaces E_n, n ? T , with fixed local characteristics. For T = N we show that ?? has at most \documentclass{article}\pagestyle{empty}\begin{document}$ \mathop N\nolimits_\infty = \mathop {\lim \inf}\limits_{n \to \infty} \left| {\mathop E\nolimits_n} \right| $\end{document} phases. If T = Z , ?? has at most N_-∞ · N_∞; phases, where \documentclass{article}\pagestyle{empty}\begin{document}$ \mathop N\nolimits_{-\infty} = \mathop {\lim \inf}\limits_{n \to -\infty} \left| {\mathop E\nolimits_n} \right| $\end{document}. We give examples, that for T = N for any number k, 1 ≦ k ≦ N_∞, there are local characteristics with k phases, whereas for T = Z every number l · k, 1 ≦ l ≦ N_-∞, 1 ≦ k ≦ N_∞ occurs. We describe the inner structure of ??, the behaviour at infinity and the connection between the one-sided and the two-sided tail-fields. Simple examples of Markov fields which are no Markov processes are given.     

Functions of Vanishing Mean Oscillation

Let X_i, i = 1, 2,…, be i.i.d. symmetric random variables in the domain of attraction of a symmetric stable distribution G_α with 0 < α < 2. Let Y_i, i = 1, 2, …, be i.i.d. symmetric stable random variables with the common distribution G_α. It is known that under certain conditions the sequences {X_i} and {Y_i} can be reconstructed on a new probability space without changing the distribution of each such that \documentclass{article}\pagestyle{empty}\begin{document}$ \sum\limits_{i = 1}^n {(X_i - Y_i) = o(n^{1/\gamma})} $\end{document} a.s. as n → ∞, where α ≦ γ < 2 (see Stout [10]). We will give a second approximation by partial sums of i.i.d. stable (with characteristic exponent α*, α < α* ≦ 2) random variables U_i, i = 1, 2,…, n, and we will obtain strong upperbounds for the differences \documentclass{article}\pagestyle{empty}\begin{document}$ \sum\limits_{i = 1}^n {(X_i - Y_i - U_i)} $\end{document}.     

Projective limits of finite decomposition systems

Special finite topological decomposition systems were used to get compactifications of topological spaces in [6]. In this paper the notion of finite decomposition systems is applied for topological measure spaces. We get two canonical topological measure spaces X_∞ and X_∞^d being projective limits of (discrete) finite decomposition systems for each topological measure space X = (X, O, A, P) and each net (A_α) α ? I of upward filtering finite σ-algebras in A. X_∞ is a compact topological measure space and the idea to construct is the same as used in [6]. The compactifications of [6] are cases of some special X_∞. Further on we obtain that each measurable set of the remainder of X_∞ has measure zero with respect to the limit measure P_∞ (Theorem 1). X_∞^d is the STONE representation space X(\documentclass{article}\pagestyle{empty}\begin{document}$ \mathop \cup \limits_{\alpha \in I} A\alpha $\end{document}) of \documentclass{article}\pagestyle{empty}\begin{document}$ \mathop \cup \limits_{\alpha \in I} A\alpha $\end{document} A_α, hence a Boolean measure space with regular Borel measure. Some measure theoretical and topological relations between X, X(\documentclass{article}\pagestyle{empty}\begin{document}$ \mathop \cup \limits_{\alpha \in I} A\alpha $\end{document}) and x(A) where x(A) is the Stone representation space of A, are given in Theorem 2. and 4. As a corollary from Theorem 2. we get a measure theoretical-topological version to the Theorem of Alexandroff Hausdorff for compact T₂ measure spaces x with regular Borel measure (Theorem 3.).     

Non-autonomous stochastic evolution equations and applications to stochastic partial differential equations

In this paper we study the following non-autonomous stochastic evolution equation on a Banach space E: $({\rm SE})\quad \left\{\begin{array}{ll} {\rm d}U(t) = (A(t)U(t) +F(t,U(t)))\,{\rm d}t + B(t,U(t))\,{\rm d}W_H(t), \quad t\in [0,T], \\ U(0) = u_0.\end{array}\right.$ Here, ${(A(t))_{t\in [0,T]}}In this paper we study the following non-autonomous stochastic evolution equation on a Banach space E:

(SE)    {ll dU(t) = (A(t)U(t) +F(t,U(t))) dt + B(t,U(t)) dWH(t),     t ? [0,T], U(0) = u0.({\rm SE})\quad \left\{\begin{array}{ll} {\rm d}U(t) = (A(t)U(t) +F(t,U(t)))\,{\rm d}t + B(t,U(t))\,{\rm d}W_H(t), \quad t\in [0,T], \\ U(0) = u_0.\end{array}\right.      18. A Self‐Dual Polar Factorization for Vector Fields      Nassif Ghoussoub  Abbas Moameni 《纯数学与应用数学通讯》2013,66(6):905-933 We show that any nondegenerate vector field u in \begin{align*}L^{\infty}(\Omega, \mathbb{R}^N)\end{align*}, where Ω is a bounded domain in \begin{align*}\mathbb{R}^N\end{align*}, can be written as \begin{align*}u(x)= \nabla_1 H(S(x), x)\quad {\text for a.e.\ x \in \Omega}\end{align*}}, where S is a measure‐preserving point transformation on Ω such that \begin{align*}S^2=I\end{align*} a.e. (an involution), and \begin{align*}H: \mathbb{R}^N \times \mathbb{R}^N \to \mathbb{R}\end{align*} is a globally Lipschitz antisymmetric convex‐concave Hamiltonian. Moreover, u is a monotone map if and only if S can be taken to be the identity, which suggests that our result is a self‐dual version of Brenier's polar decomposition for the vector field as \begin{align*}u(x)=\nabla \phi (S(x))\end{align*}, where ? is convex and S is a measure‐preserving transformation. We also describe how our polar decomposition can be reformulated as a (self‐dual) mass transport problem. © 2012 Wiley Periodicals, Inc.      19. Turánnical hypergraphs      Peter Allen  Julia Böttcher  Jan Hladký  Diana Piguet 《Random Structures and Algorithms》2013,42(1):29-58 This paper is motivated by the question of how global and dense restriction sets in results from extremal combinatorics can be replaced by less global and sparser ones. The result we consider here as an example is Turán's theorem, which deals with graphs G = ([n],E) such that no member of the restriction set \begin{align*}\mathcal {R}\end{align*} = \begin{align*}\left( {\begin{array}{*{20}c} {[n]} \\ r \\ \end{array} } \right)\end{align*} induces a copy of Kr. Firstly, we examine what happens when this restriction set is replaced by \begin{align*}\mathcal {R}\end{align*} = {X∈ \begin{align*}\left( {\begin{array}{*{20}c} {[n]} \\ r \\ \end{array} } \right)\end{align*}: X ∩ [m]≠??}. That is, we determine the maximal number of edges in an n ‐vertex such that no Kr hits a given vertex set. Secondly, we consider sparse random restriction sets. An r ‐uniform hypergraph \begin{align*}\mathcal R\end{align*} on vertex set [n] is called Turánnical (respectively ε ‐Turánnical), if for any graph G on [n] with more edges than the Turán number tr(n) (respectively (1 + ε)tr(n) ), no hyperedge of \begin{align*}\mathcal {R}\end{align*} induces a copy of Kr in G. We determine the thresholds for random r ‐uniform hypergraphs to be Turánnical and to be ε ‐Turánnical. Thirdly, we transfer this result to sparse random graphs, using techniques recently developed by Schacht [Extremal results for random discrete structures] to prove the Kohayakawa‐?uczak‐Rödl Conjecture on Turán's theorem in random graphs.© 2012 Wiley Periodicals, Inc. Random Struct. Alg., 2012      20. H?lder estimates for parabolic p(x, t)-Laplacian systems      Verena B?gelein  Frank Duzaar 《Mathematische Annalen》2012,354(3):907-938 In this paper we establish the local H?lder continuity of the spatial gradient of weak solutions to the parabolic p(x, t)-Laplacian system $$\begin{array}{lll}\partial_{t}u - {\rm div} \left( a(x, t)|Du|^{p(x, t)-2}Du \right) = 0.\end{array}$$ More precisely, we prove that $$\begin{array}{lll}Du \in C_{\rm loc}^{0;\alpha,\alpha/2} \quad {\rm for\; some} \; \alpha \in (0, 1],\end{array}$$ provided p(·) and a(·) are H?lder-continuous.

A Self‐Dual Polar Factorization for Vector Fields

We show that any nondegenerate vector field u in \begin{align*}L^{\infty}(\Omega, \mathbb{R}^N)\end{align*}, where Ω is a bounded domain in \begin{align*}\mathbb{R}^N\end{align*}, can be written as \begin{align*}u(x)= \nabla_1 H(S(x), x)\quad {\text for a.e.\ x \in \Omega}\end{align*}}, where S is a measure‐preserving point transformation on Ω such that \begin{align*}S^2=I\end{align*} a.e. (an involution), and \begin{align*}H: \mathbb{R}^N \times \mathbb{R}^N \to \mathbb{R}\end{align*} is a globally Lipschitz antisymmetric convex‐concave Hamiltonian. Moreover, u is a monotone map if and only if S can be taken to be the identity, which suggests that our result is a self‐dual version of Brenier's polar decomposition for the vector field as \begin{align*}u(x)=\nabla \phi (S(x))\end{align*}, where ? is convex and S is a measure‐preserving transformation. We also describe how our polar decomposition can be reformulated as a (self‐dual) mass transport problem. © 2012 Wiley Periodicals, Inc.     

Turánnical hypergraphs

This paper is motivated by the question of how global and dense restriction sets in results from extremal combinatorics can be replaced by less global and sparser ones. The result we consider here as an example is Turán's theorem, which deals with graphs G = ([n],E) such that no member of the restriction set \begin{align*}\mathcal {R}\end{align*} = \begin{align*}\left( {\begin{array}{*{20}c} {[n]} \\ r \\ \end{array} } \right)\end{align*} induces a copy of K_r. Firstly, we examine what happens when this restriction set is replaced by \begin{align*}\mathcal {R}\end{align*} = {X∈ \begin{align*}\left( {\begin{array}{*{20}c} {[n]} \\ r \\ \end{array} } \right)\end{align*}: X ∩ [m]≠??}. That is, we determine the maximal number of edges in an n ‐vertex such that no K_r hits a given vertex set. Secondly, we consider sparse random restriction sets. An r ‐uniform hypergraph \begin{align*}\mathcal R\end{align*} on vertex set [n] is called Turánnical (respectively ε ‐Turánnical), if for any graph G on [n] with more edges than the Turán number t_r(n) (respectively (1 + ε)t_r(n) ), no hyperedge of \begin{align*}\mathcal {R}\end{align*} induces a copy of K_r in G. We determine the thresholds for random r ‐uniform hypergraphs to be Turánnical and to be ε ‐Turánnical. Thirdly, we transfer this result to sparse random graphs, using techniques recently developed by Schacht [Extremal results for random discrete structures] to prove the Kohayakawa‐?uczak‐Rödl Conjecture on Turán's theorem in random graphs.© 2012 Wiley Periodicals, Inc. Random Struct. Alg., 2012     

H?lder estimates for parabolic p(x, t)-Laplacian systems

In this paper we establish the local H?lder continuity of the spatial gradient of weak solutions to the parabolic p(x, t)-Laplacian system $$\begin{array}{lll}\partial_{t}u - {\rm div} \left( a(x, t)|Du|^{p(x, t)-2}Du \right) = 0.\end{array}$$ More precisely, we prove that $$\begin{array}{lll}Du \in C_{\rm loc}^{0;\alpha,\alpha/2} \quad {\rm for\; some} \; \alpha \in (0, 1],\end{array}$$ provided p(·) and a(·) are H?lder-continuous.