A Functional Equation Of J.A. Baker Involving Integral Means

The functional equation $$f(x)={1\over 2}\int^{x+1}_{x-1}f(t)\ dt\ \ \ {\rm for}\ \ \ x\ \in\ {\rm R}$$ has the linear functions ?(x) = a + bx (a, b ∈ ?) as trivial solutions. It is shown that there are two kinds of nontrivial solutions, (i) ?(x) = eλ_i ^x (i = 1, 2, …), where the λ_i∈ ? are the fixed points of the map z ? sinh z, and (ii) C^∞-solutions ? for which the values in the interval [?1,1] can be prescribed arbitrarily, but with the provision that ?^(j)(? 1) = ?^(j)(0) = ?^(j)(1) = 0 for all j = 0, 1, 2 …     

Almost global existence for solution of semilinear klein-gordon equations with small weakly decaying cauchy data

Let T_∈ be the time of exisstence of a semilinear Klein-Gordon equation with small,smooth,Cauchy data of size ∈ in space dimension d≥2 If the Cauchy data are decaying rapidly enough at infinity,and the nonlinearity vanishes at least at order 2 at 0,it is well known that T_∈=+∞ for∈ small enough. The aim of this paper is to show that if one assumes only a weak decay of the Cauchy data at infinity,one has a lower bound T_∈≤Cexp(c∈^?μ)(μ=2/3 if d =2,μ=1 id d≤3) when the nonlinearity satisfies a convenient "null condition"     

Analysis of bounded sets in a topological tensor product

The aim of this paper is to investigate the nature of bounded sets in a topological ∈-tensor product EX_∈* F of any two locally convex topological vector spaces E and F over the same scalar field K. Next, we apply the results of this investigation to the study of each of the following:

1. Totally summable families in EX_∈*F;
2. ∈-tensor product of DF-spaces;
3. Topological nature of the dual of E X_∈*F, where E and F are strong duals of Banach spaces;
4. Properties of bounded sets in an ∈-tensor product of metrizable spaces.

Forπ-tensor product, the result corresponding to (b) is well known (see Grothendieck¹) that if E and F are DF-spaces then EX_π* F and EX_π* F are DF-spaces and that the strong topology on the topological dual (EX_π*F)′, which equals the space of continuous bilinear forms on EXF, coincides with the bibounded topology. We study each of the problems from (a) to (d) for ∈-tensor products. For terminology, notations and the well-known results in the theory of topological vector spaces and the topological tensor products we refer to [1–11]. However, for convenience in presentation of the results of our investigation we give a brief survey of notations and fundamental theorems which are needed throughout this paper.     

On oscillation of solutions of a nonautonomous quasilinear second-order equation

Sufficient conditions are obtained for the initial values of nontrivial oscillating (for t=ω) solutions of the nonautonomous quasilinear equation $$y'' \pm \lambda (t)y = F(t,y,y'),$$ wheret ∈ Δ=[a, ω[,-∞ <a < ω ≤+ ∞, λ(t) > 0, λ(t) ∈ C _Δ ⁽¹⁾ , |F((t,x,y))|≤L(t)(|x|+|y|)^1+α, L(t) ≥-0, α ∈ [0,+∞[, F: Δ × R² →R,F ∈C _Δ×R ²,R is the set of real numbers, and R² is the two-dimensional real Euclidean space.     

Note On the core of a collection of coalitions

. For a collection Ω of subsets of a finite set N we define its core to be equal to the polyhedral cone {x∈IR ^N : ∑ _i∈N x _i =0 and ∑ _i∈S x _i ≥0 for all S∈Ω}. This note describes several applications of this concept in the field of cooperative game theory. Especially collections Ω are considered with core equal to {0}. This property of a one-point core is proved to be equivalent to the non-degeneracy and balancedness of Ω. Further, the notion of exact cover is discussed and used in a second characterization of collections Ω with core equal to {0}.     

A Dini type test on the pointwise convergence of double Fourier integrals

We give sufficient conditions for the convergence of the double Fourier integral of a complex-valued function f ∈ L ¹(?²) with bounded support at a given point (x ₀,y ₀) ∈ ?². It turns out that this convergence essentially depends on the convergence of the single Fourier integrals of the marginal functions f(x,y ₀), x ∈ ?, and f(x ₀,y), y ∈ ?, at the points x:= x ₀ and y:= y ₀, respectively. Our theorem applies to functions in the multiplicative Zygmund classes of functions in two variables.     

The Weierstrass-Jacobi transform

The Weierstrass-Jacobi transform of a function ?, defined by $$f \left( n \right) = \sum\limits_{m = 0}^\infty { h \left( {n, m; 1} \right) \phi \left( m \right) h_{\alpha ,\beta } \left( m \right)} $$ is considered. It is inverted by means of a suitable difference operator e^?∈_n. In terms of Jacobi difference operator ∈_n a theory analogous to that of hormonic functions is presented. A characterization of those functions which are Weierstrass-Jacobi transform of positive functions is given.     

Singular integrals along Lipschitz curves with holomorphic kernels

If γ(x)=x+iA(x),tan ^?1‖A′‖_∞<ω<π/2,S _ω ⁰ ={z∈C}| |argz|<ω, or, |arg(-z)|<ω} We have proved that if φ is a holomorphic function in S _ω ⁰ and \(\left| {\varphi (z)} \right| \leqslant \frac{C}{{\left| z \right|}}\) , denotingT f (z)= ∫?(z-ζ)f(ζ)dζ, ?f∈C ₀(γ), ?z∈suppf, where C_c(γ) denotes the class of continuous functions with compact supports, then the following two conditions are equivalent:

1. T can be extended to be a bounded operator on L²(γ);
2. there exists a function ?₁ ∈H ^∞(S _ω ⁰ ) such that ?′₁(z)=?(z)+?(-z), ?z∈S _ω ⁰ ?z∈S _w ⁰ .

     

The Dirichlet problem with a volume constraint

For B the open unit disk in R², let W₁(B) denote the Sobolev space of vector functions x: B→R³ such that x and its first partial derivatives are square integrable. For any y∈W₁(B), S(y) is the set of all x in W₁(B) for which x-y∈W₁₀(B), the closure in W₁(B) of C ₀ ^∞ (B). Assume that for all x ∈ S(y) the area functional A(x)>0. For a given constant K, we show that there is an x_o∈S(y) minimizing the “Dirichlet Integral” $$D(x) = \iint_B {(|x_u |^2 } + |x_v |^2 )dudv$$ in the subset of all x ∈ S(y) for which the oriented volume enclosed by y and x, V(y,x)=K. x_o is analytic on B and is a solution to the differential equation Δx=2H(x_u∧x_v) for some constant H.     

Pringsheim type tests on the pointwise convergence of integrals conjugate to double fourier integrals

We prove sufficient conditions for the convergence of the integrals conjugate to the double Fourier integral of a complex-valued function f ∈ L ¹ (?²) with bounded support at a given point (x ₀, g ₀) ∈ ?². It turns out that this convergence essentially depends on the convergence of the integral conjugate to the single Fourier integral of the marginal functions f(x, y ₀), x ∈ ?, and f(x ₀, y), y ∈ ?, at x:= x ₀ and y:= y ₀, respectively. Our theorems apply to functions in the multiplicative Lipschitz and Zygmund classes introduced in this paper.     

L p-approximation by Kantorovič operators

Оператор Канторович а дляf∈L _p(I), I=[0,1], определяе тся соотношением $$P_n (f,x) = (n + 1)\sum\limits_{k = 0}^n {\left( {\begin{array}{*{20}c} n \\ k \\ \end{array} } \right)} x^k (1 - x)^{n - 1} \int\limits_{I_k } {f(t)dt,} $$ гдеI _k=[k/(n}+1),(k+1)/(n+ 1)],n∈N. Доказывается, что есл ир>1 иf∈W _p ² (I), т.е.f абсол ютно непрерывна наI иf″∈L _p(I), то $$\left\| {P_n f - f} \right\|_p = O(n^{ - 1} ).$$ Далее, установлено, чт о еслиf∈L _p(I),p>1 и ∥P _n f-f∥_р=О(n ^?1), тоf∈S, гдеS={f∶f аб-солютно непрерывна наI, x(1?x)f′(x)=∝ ₀ ^x h(t)dt, гдеh∈L _p(I) и ∝ ₀ ¹ h(t)dt=0}. Если жеf∈L_p(I),p>1, то из условия ∥P _n(f)?f∥_pL=o(n^?1) вытекает, чтоf постоянна почти всюду.     

Epsilon Nielsen coincidence theory

We construct an epsilon coincidence theory which generalizes, in some aspect, the epsilon fixed point theory proposed by Robert Brown in 2006. Given two maps f, g: X → Y from a well-behaved topological space into a metric space, we define µ ^∈ (f, g) to be the minimum number of coincidence points of any maps f ₁ and g ₁ such that f ₁ is ∈ ₁-homotopic to f, g ₁ is ∈ ₂-homotopic to g and ∈ ₁ + ∈ ₂ < ∈. We prove that if Y is a closed Riemannian manifold, then it is possible to attain µ ^∈ (f, g) moving only one rather than both of the maps. In particular, if X = Y is a closed Riemannian manifold and id _Y is its identity map, then µ ^∈ (f, id _Y ) is equal to the ∈-minimum fixed point number of f defined by Brown. If X and Y are orientable closed Riemannian manifolds of the same dimension, we define an ∈-Nielsen coincidence number N ^∈ (f, g) as a lower bound for µ ^∈ (f, g). Our constructions and main results lead to an epsilon root theory and we prove a Minimum Theorem in this special approach.     

Gauge theories as matrix models

We discuss the relation between the Seiberg-Witten prepotentials, Nekrasov functions, and matrix models. On the semiclassical level, we show that the matrix models of Eguchi-Yang type are described by instantonic contributions to the deformed partition functions of supersymmetric gauge theories. We study the constructed explicit exact solution of the four-dimensional conformal theory in detail and also discuss some aspects of its relation to the recently proposed logarithmic beta-ensembles. We also consider “quantizing” this picture in terms of two-dimensional conformal theory with extended symmetry and stress its difference from the well-known picture of the perturbative expansion in matrix models. Instead, the representation of Nekrasov functions using conformal blocks or Whittaker vectors provides a nontrivial relation to Teichmüller spaces and quantum integrable systems.     

The shift on the inverse limit of a covering projection

A group endomorphismα : G → G is said to beweakly shift equivalent to the group endomorphismβ : H → H if there existsh ∈ H such thatα is shift equivalent to Ad[h] °β. Given covering projectionsa : X → X, b : Y → Y of compact, connected, locally path connected, semilocally simply connected metric spaces with fixed pointsx ₀ ∈X,y ₀ ∈Y respectively, the inverse limits $$\begin{array}{l} \sum\nolimits_a { = \lim } (X,a) = \{ (x_i )_{i \in Z^ + } ax_{i + 1} = x_1 ,i \in Z^ + \} , \\ \sum\nolimits_a { = \lim } (Y,b) = \{ (y_i )_{i \in Z^ + } by_{i + 1} = y_1 ,i \in Z^ + \} , \\ \end{array}$$ and the “shift” mapsσ _a : Σ _a → Σ _a ,σ _b : Σ _b → Σ _b defined byσ _a((x _i)i∈Z ⁺)=(x _i+1)i∈Z ⁺ ∈ Σ _a ,σ _b((y _i)i∈Z ⁺)=(y i + 1)i∈Z ⁺ ∈ Σ _b are considered. It is proven that ifσ _a andσ _b are topologically conjugate thena _# :π ₁(X, x ₀) →π ₁(X, x ₀) is weakly shift equivalent tob _# :π ₁(Y, y ₀) →π ₁(Y, y ₀). Furthermore, ifa : X → X andb : Y → Y are expanding endomorphisms of compact differentiable manifolds, weak shift equivalence is a complete invariant of topological conjugacy. The use of this invariant is demonstrated by giving a complete classification of the shifts of expanding maps on the klein bottle. The reader is referred to Section 4 of this work for a detailed statement of results.     

Two constructions of affine Lie algebra representations and boson-fermion correspondence in quantum field theory

We establish an isomorphism between the vertex and spinor representations of affine Lie algebras for types D_l⁽¹⁾and D_{l + 1}⁽²⁾. We also study decomposition of spinor representations using the infinite family of Casimir operators and prove that they are either irreducible or have two irreducible components. We show that the vertex and spinor constructions of the representations can be reformulated in the language of two-dimensional quantum field theory. In this physical context, the two constructions yield the generalized sine-Gordon and Thirring models, respectively, already in renormalized form. The isomorphism of representations implies an equivalence of these two models which is known in quantum field theory as the boson-fermion correspondence     

K-loops and quasidirect products in 2-dlmensional Linear Groups over a Pythagorean Field

For a group G = (G, ·), we define the (internal) quasidirect product f · U = F × U of a certain K-loop (F,+) with F ? G and a suitable subgroup il of G (cf. (3.1)). Let K be a commutative pythagorean field and let L = K(i) be the quadratic extension of K with i2 = ～-1. Then the future cone H:= A ∈ GL(2,L) ¦ A = A*, det A ∈ K⁺, Tr A ∈ K⁺ is a K-loop with respect to the binary operation $A?ggsquaredplus B:=sqrt{AB^{2}A},{? where}sqrt{A}=({? Tr}A+2sqrt {{? det}A})^{1?er 2}(sqrt {? det}AE+A)$} (cf. (2.4)), and the (internal) quasidirect product $H^{}</Emphasis>{\mathop \times\limits_{Q}}Q_{1}$ of the K-loop (H},+) and the group Q₁:= {X ∈ GL(2,L) ¦ X*X = E) is a subgroup of GL(2,L) (cf. (3.2)). Moreover, S L(2,1) = $H^{1+}{\mathop \times\limits_{Q}}Q^{1}$ , where H¹+ = SL(2,L)∩ H ≤} (H},+), Q¹ = S L(2, L) ∩ Q₁ (cf. (3.4)), and if K is euclidean, then (cf. (3.6)).     

Ginzburg-Landau equation and motion by mean curvature, I: Convergence

In this paper we study the asymptotic behavior (∈→0) of the Ginzburg-Landau equation: $$u_l^\varepsilon - \Delta u^\varepsilon + \frac{1}{{\varepsilon ^2 }}f(u^\varepsilon ) = 0.$$ . where the unknownu ^∈ is a real-valued function of [0. ∞)× ^Rd , and the given nonlinear functionf(u) = 2u(u ²?1) is the derivative of a potential W(u) = (u ²?l)²/2 with two minima of equal depth. We prove that there are a subsequence ∈_n and two disjoint, open subsetsP, N of (0, ∞) ×R ^d satisfying $$u^{\varepsilon _n } \to 1_\mathcal{P} - 1_\mathcal{N} , as n \to \infty . $$ uniformly inP andN (here 1 _A is the indicator of the setA). Furthermore, the Hausdorff dimension of the interface Γ = complement of (P∪N) ? (0, ∞)×R ^d is equal tod and it is a weak solution of the mean curvature flow as defined in [13,92]. If this weak solution is unique, or equivalently if the level-set solution of the mean curvature flow is “thin,” then the convergence is on the whole sequence. We also show thatu ^∈n has an expansion of the form $$u^{\varepsilon _n } (t,x) = q\left( {\frac{{d(t,x) + O(\varepsilon _n )}}{{\varepsilon _n }}} \right).$$ whereq(r) = tanh(r) is the traveling wave associated to the cubic nonlinearityf, O(∈) → 0 as ∈ → 0, andd(t, x) is the signed distance ofx to thet-section of Γ. We prove these results under fairly general assumptions on the initial data,u ⁰. In particular we donot assume thatu ^∈(0.x) = q(d(0,x)/∈), nor that we assume that the initial energy, ε^∈(u ^∈(0, .)), is uniformly bounded in ∈. Main tools of our analysis are viscosity solutions of parabolic equations, weak viscosity limit of Barles and Perthame, weak solutions of mean curvature flow and their properties obtained in [13] and Ilmanen’s generalization of Huisken’s monotonicity formula.     

Smoothness of solutions of almost hypoelliptic equations

A two-dimensional linear differential operator P(D) = P(D ₁, D ₂) is called almost hypoelliptic if all derivatives D ^α P of the characteristic polynomial P(ζ) = P(ζ ₁, ζ ₂) are estimated by P(ζ). Assuming that {Ω _κ = (x ₁, x ₂) ∈ E ² : |x ₁| < κ, x ₂ ∈ R ¹}, the paper proves that if the width κ of the strip Ω _κ exceeds some C = C(P) > 0, then all solutions {u} of the almost hypoelliptic equation P(D)u = 0 in a Sobolev space are infinitely smooth functions with respect to x ₁.     

A limit theorem for matrix-solutions of Hamiltonian systems

The following limit theorem on Hamiltonian systems (resp. corresponding Riccati matrix equations) is shown: Given(N, N)-matrices,A, B, C andn ∈ {1,…, N} with the following properties:A and kemelB(x) are constant, rank(I, A, …, A ^n?1) B(x)≠N,B(x)∈C _n(R), andB(x)(A ^T)^j-1 C(x)∈C _n-j(R) forj=1, …, n. Then \(\mathop {\lim }\limits_{x \to x_0 } \eta _1^T \left( x \right)V\left( x \right)U^{ - 1} \left( x \right)\eta _2 \left( x \right) = d_1^T \left( {x_0 } \right)U\left( {x_0 } \right)d_2 \) forx ₀∈R, whenever the matricesU(x), V(x) are a conjoined basis of the differential systemU′=AU + BV, V′=CU?A ^TV, and whenever η_i(x)∈R ^N satisfy η_i(x ₀)=U(x ₀)d _i ∈ imageU(x ₀) η′_i-Aη_ni(x) ∈ imageB(x),B(x)(η′_i(x)-Aη_i(x)) ∈C _n-1 R fori=1,2.     

Partition theorems for Abelian groups

Let A be a finite matrix with integral entries and G be an Abelian group. Define A to be partition regular in G if for every partition of G/(0) into finitely many classes there exist elemens x₁,…,x_m contained in one class such that A(x₁,…,x_m)^T = 0. Theorem. A is partition regular in G iff at least one of the following statements holds. (i) There is x ∈ G/(0) such that A(x,…,x)^T = 0. (ii) A is partition regular in Z_p^?₀ (p prime) and Z_p^?₀ ? G. (iii) A is partition regular in Z and the set of orders of elements in G is unbounded.