A comparative study of functional equations characterising sine and cosine

A comparative study of the functional equationsf(x+y)f(x–y)=f ²(x)–f ²(y),f(y){f(x+y)+f(x–y)}=f(x)f(2y) andf(x+y)+f(x–y)=2f(x){1–2f ²(y/2)} which characterise the sine function has been carried out. The zeros of the functionf satisfying any one of the above equations play a vital role in the investigations. The relation of the equationf(x+y)+f(x–y)=2f(x){1–2f ²(y/2)} with D'Alembert's equation,f(x+y)+f(x–y)=2f(x)f(y) and the sine-cosine equationg(x–y)=g(x)g(y) +f(x)f(y) has also been investigated.     

Compact operators which factor through subspaces of lp

Let 1 ≤ p ≤ ∞. A subset K of a Banach space X is said to be relatively p ‐compact if there is an 〈x_n 〉 ∈ l^s _p (X) such that for every k ∈ K there is an 〈α_n 〉 ∈ l_{p ′} such that k = σ^∞_n=1 α_n x_n . A linear operator T: X → Y is said to be p ‐compact if T (Ball (X)) is relatively p ‐compact in Y. The set of all p ‐compact operators K_p (X, Y) from X to Y is a Banach space with a suitable factorization norm κ_p and (K_p , κ_p ) is a Banach operator ideal. In this paper we investigate the dual operator ideal (K^d _p , κ^d _p ). It is shown that κ^d _p (T) = π_p (T) for all T ∈ B (X, Y) if either X or Y is finite‐dimensional. As a consequence it is proved that the adjoint ideal of K^d _p is I_{p ′}, the ideal of p ′‐integral operators. Further, a composition/decomposition theorem K^d _p = Π_p K is proved which also yields that (Π^min _p )^inj = K^d _p . Finally, we discuss the density of finite rank operators in K^d _p and give some examples for different values of p in this respect. (© 2008 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

The smooth Banach submanifold B*(E, F) in B(E, F)

Let E,F be two Banach spaces,B(E,F),B+(E,F),Φ(E,F),SΦ(E,F) and R(E,F) be bounded linear,double splitting,Fredholm,semi-Frdholm and finite rank operators from E into F,respectively. Let Σ be any one of the following sets:{T ∈Φ(E,F):Index T=constant and dim N(T)=constant},{T ∈ SΦ(E,F):either dim N(T)=constant< ∞ or codim R(T)=constant< ∞} and {T ∈ R(E,F):Rank T=constant< ∞}. Then it is known that Σ is a smooth submanifold of B(E,F) with the tangent space TAΣ={B ∈ B(E,F):BN(A)-R(A) } for any A ∈Σ. However,for ...     

Ganea comonads

We construct for all topological space X and all n∈N a natural section e ⁿ _X :G ⁿ X→G ⁿ G ⁿ X of the Ganea projection :G ⁿ G ⁿ X→G ⁿ X and show that the triple (G ⁿ ,g ⁿ ,e ⁿ ) is a comonad on Top ^*. Received: 6 March 2000     

Divisibility of matrices associated with multiplicative functions

Let S={x₁,…,x_n} be a set of n distinct positive integers. For x,y∈S and y<x, we say the y is a greatest-type divisor of x in S if y∣x and it can be deduced that z=y from y∣z,z∣x,z<x and z∈S. For x∈S, let G_S(x) denote the set of all greatest-type divisors of x in S. For any arithmetic function f, let (f(x_i,x_j)) denote the n×n matrix having f evaluated at the greatest common divisor (x_i,x_j) of x_i and x_j as its i,j-entry and let (f[x_i,x_j]) denote the n×n matrix having f evaluated at the least common multiple [x_i,x_j] of x_i and x_j as its i,j-entry. In this paper, we assume that S is a gcd-closed set and . We show that if f is a multiplicative function such that (f∗μ)(d)∈Z whenever and f(a)|f(b) whenever a|b and a,b∈S and (f(x_i,x_j)) is nonsingular, then the matrix (f(x_i,x_j)) divides the matrix (f[x_i,x_j]) in the ring M_n(Z) of n×n matrices over the integers. As a consequence, we show that (f(x_i,x_j)) divides (f[x_i,x_j]) in the ring M_n(Z) if (f∗μ)(d)∈Z whenever and f is a completely multiplicative function such that (f(x_i,x_j)) is nonsingular. This confirms a conjecture of Hong raised in 2004.     

Generating the kernel of a staircase starshaped set from certain staircase convex subsets

Let S be an orthogonal polygon in the plane. Assume that S is starshaped via staircase paths, and let K be any component of Ker S, the staircase kernel of S, where K ≠ S. For every x in S\K, define W _K (x) = {s: s lies on some staircase path in S from x to a point of K}. There is a minimal (finite) collection W(K) of W _K (x) sets whose union is S. Further, each set W _K (x) may be associated with a finite family U _K (x) of staircase convex subsets, each containing x and K, with ∪{U: U in U _K (x)} = W _K (x). If W(K) = {W _K (x ₁), ..., W _K (x _n )}, then K ⊆ V _K ≡ ∩{U: U in some family U _K (x _i ), 1 ≤ i ≤ n} ⊆ Ker S. It follows that each set V _K is staircase convex and ∪{V _k : K a component of Ker S} = Ker S.     

Stability interval for explicit difference schemes for multi-dimensional second-order hyperbolic equations with significant first-order space derivative terms

In this piece of work, we introduce a new idea and obtain stability interval for explicit difference schemes of O(k²+h²) for one, two and three space dimensional second-order hyperbolic equations u_tt=a(x,t)u_xx+α(x,t)u_x-2η²(x,t)u,u_tt=a(x,y,t)u_xx+b(x,y,t)u_yy+α(x,y,t)u_x+β(x,y,t)u_y-2η²(x,y,t)u, and u_tt=a(x,y,z,t)u_xx+b(x,y,z,t)u_yy+c(x,y,z,t)u_zz+α(x,y,z,t)u_x+β(x,y,z,t)u_y+γ(x,y,z,t)u_z-2η²(x,y,z,t)u,0<x,y,z<1,t>0 subject to appropriate initial and Dirichlet boundary conditions, where h>0 and k>0 are grid sizes in space and time coordinates, respectively. A new idea is also introduced to obtain explicit difference schemes of O(k²) in order to obtain numerical solution of u at first time step in a different manner.     

Unbounded divergence of simple quadrature formulas

Given a sequence of real or complex coefficients c_i and a sequence of distinct nodes t_i in a compact interval T, we prove the divergence and the unbounded divergence on superdense sets in the space C(T) of the simple quadrature formulas ∝_Tx(t)du(t) = Q_n(x) + R_n(x) and ∝_Tw(t)x(t)dt = Q_n(x) + R_n(x), where Q_n(x)=∑_i=1^m_n c_ix(t_i), ε C(T).The divergence (not certainly unbounded) for at most one continuous function of the first simple quadrature formula, with m_n = n and u(t) = t, was established by P. J. Davis in 1953.     

Hermite Interpolation and Sobolev Orthogonality

In this paper, we study orthogonal polynomials with respect to the bilinear form (f, g) _S = V(f) A V(g) ^T + <u, f ^(N) g ^(N)V(f) =(f(c ₀), f "(c ₀), ..., f ^{(n – 1)} ₀(c ₀), ..., f(c _p ), f "(c _p ), ..., f ^{(n – 1)} _p(c _p )) u is a regular linear functional on the linear space P of real polynomials, c ₀, c ₁, ..., c _p are distinct real numbers, n ₀, n ₁, ..., n _p are positive integer numbers, N=n ₀+n ₁+...+n _p , and A is a N × N real matrix with all its principal submatrices nonsingular. We establish relations with the theory of interpolation and approximation.     

Existence of frame SOLS of type ab

An SOLS (self-orthogonal latin square) of order v with n_i missing sub-SOLS (holes) of order h_i (1ik), which are disjoint and spanning (i.e. ∑_i=1^k n_ih_i=v), is called a frame SOLS and denoted by FSOLS(h₁^n₁h₂^n₂ h_k^n_k). It has been proved that for b2 and n odd, an FSOLS(aⁿb¹) exists if and only if n4 and n1+2b/a. In this paper, we show the existence of FSOLS(aⁿb¹) for n even and FSOLS(aⁿ1¹) for n odd.     

Constants and Darboux Polynomials for Tensor Products of Polynomial Algebras with Derivations

Abstract

Let d ₁ : k[X] → k[X] and d ₂ : k[Y] → k[Y] be k-derivations, where k[X] ? k[x ₁,…,x _n ], k[Y] ? k[y ₁,…,y _m ] are polynomial algebras over a field k of characteristic zero. Denote by d ₁ ⊕ d ₂ the unique k-derivation of k[X, Y] such that d| _k[X] = d ₁ and d| _k[Y] = d ₂. We prove that if d ₁ and d ₂ are positively homogeneous and if d ₁ has no nontrivial Darboux polynomials, then every Darboux polynomial of d ₁ ⊕ d ₂ belongs to k[Y] and is a Darboux polynomial of d ₂. We prove a similar fact for the algebra of constants of d ₁ ⊕ d ₂ and present several applications of our results.     

Vanishing Derivations and Co-Centralizing Generalized Derivations on Multilinear Polynomials in Prime Rings

Let R be a noncommutative prime ring of characteristic different from 2 with Utumi quotient ring U and extended centroid C, and f(x₁,…, x_n) be a multilinear polynomial over C, which is not central valued on R. Suppose that F and G are two generalized derivations of R and d is a nonzero derivation of R such that d(F(f(r))f(r) ? f(r)G(f(r))) = 0 for all r = (r₁,…, r_n) ∈ Rⁿ, then one of the following holds:

1. There exist a, p, q, c ∈ U and λ ∈C such that F(x) = ax + xp + λx, G(x) = px + xq and d(x) = [c, x] for all x ∈ R, with [c, a ? q] = 0 and f(x₁,…, x_n)² is central valued on R;

2. There exists a ∈ U such that F(x) = xa and G(x) = ax for all x ∈ R;

3. There exist a, b, c ∈ U and λ ∈C such that F(x) = λx + xa ? bx, G(x) = ax + xb and d(x) = [c, x] for all x ∈ R, with b + αc ∈ C for some α ∈C;

4. R satisfies s₄ and there exist a, b ∈ U and λ ∈C such that F(x) = λx + xa ? bx and G(x) = ax + xb for all x ∈ R;

5. There exist a′, b, c ∈ U and δ a derivation of R such that F(x) = a′x + xb ? δ(x), G(x) = bx + δ(x) and d(x) = [c, x] for all x ∈ R, with [c, a′] = 0 and f(x₁,…, x_n)² is central valued on R.

     

An Introduction to Closed/Open Neighborhood Sums: Minimax, Maximin, and Spread

For a graph G of order |V(G)| = n and a real-valued mapping f:V(G)?\mathbbR{f:V(G)\rightarrow\mathbb{R}}, if S ì V(G){S\subset V(G)} then f(S)=?_{w ? S} f(w){f(S)=\sum_{w\in S} f(w)} is called the weight of S under f. The closed (respectively, open) neighborhood sum of f is the maximum weight of a closed (respectively, open) neighborhood under f, that is, NS[f]=max{f(N[v])|v ? V(G)}{NS[f]={\rm max}\{f(N[v])|v \in V(G)\}} and NS(f)=max{f(N(v))|v ? V(G)}{NS(f)={\rm max}\{f(N(v))|v \in V(G)\}}. The closed (respectively, open) lower neighborhood sum of f is the minimum weight of a closed (respectively, open) neighborhood under f, that is, NS^-[f]=min{f(N[v])|v ? V(G)}{NS^{-}[f]={\rm min}\{f(N[v])|v\in V(G)\}} and NS^-(f)=min{f(N(v))|v ? V(G)}{NS^{-}(f)={\rm min}\{f(N(v))|v\in V(G)\}}. For W ì \mathbbR{W\subset \mathbb{R}}, the closed and open neighborhood sum parameters are NS_W[G]=min{NS[f]|f:V(G)? W{NS_W[G]={\rm min}\{NS[f]|f:V(G)\rightarrow W} is a bijection} and NS_W(G)=min{NS(f)|f:V(G)? W{NS_W(G)={\rm min}\{NS(f)|f:V(G)\rightarrow W} is a bijection}. The lower neighbor sum parameters are NS^-_W[G]=maxNS^-[f]|f:V(G)? W{NS^{-}_W[G]={\rm max}NS^{-}[f]|f:V(G)\rightarrow W} is a bijection} and NS^-_W(G)=maxNS^-(f)|f:V(G)? W{NS^{-}_W(G)={\rm max}NS^{-}(f)|f:V(G)\rightarrow W} is a bijection}. For bijections f:V(G)? {1,2,?,n}{f:V(G)\rightarrow \{1,2,\ldots,n\}} we consider the parameters NS[G], NS(G), NS ⁻[G] and NS ⁻(G), as well as two parameters minimizing the maximum difference in neighborhood sums.     

On completeness of the quotient algebras {\cal P}(\kappa)/I

In this paper, the following are proved: Theorem A. The quotient algebra ${\cal P} (\kappa )/I$ is complete if and only if the only non-trivial I -closed ideals extending I are of the form $I\lceil A$ for some $A\in I^+$ . Theorem B. If $\kappa$ is a stationary cardinal, then the quotient algebra ${\cal P} (\kappa )/ NS_\kappa$ is not complete. Corollary. (1) If $\kappa$ is a weak compact cardinal, then the quotient algebra ${\cal P} (\kappa )/NS_\kappa$ is not complete. (2) If $\kappa$ bears $\kappa$ -saturated ideal, then the quotient algebra ${\cal P} (\kappa )/NS_\kappa$ is not complete. Theorem C. Assume that $\kappa$ is a strongly compact cardinal, I is a non-trivial normal $\kappa$ -complete ideal on $\kappa$ and B is an I -regular complete Boolean algebra. Then if ${\cal P} (\kappa )/I$ is complete, it is B -valid that for some $A\subseteq\check\kappa$ , ${\cal P} (\kappa )/({\bf J}\lceil A)$ is complete, where J is the ideal generated by $\check I$ in $V^B$ . Corollary. Let M be a transitive model of ZFC and in M , let $\kappa$ be a strongly compact cardinal and $\lambda$ a regular uncountable cardinal less than $\kappa$ . Then there exists a generic extension M [ G ] in which $\kappa =\lambda^+$ and $\kappa$ carries a non-trivial $\kappa$ -complete ideal I which is completive but not $\kappa^+$ -saturated. Received: 1 April 1997 / Revised version: 1 July 1998     

Grassmannians of 2-Sided Vector Spaces

Let k ? K be an extension of fields, and let A ? M _n (K) be a k-algebra. We study parameter spaces of m-dimensional subspaces of K ⁿ which are invariant under A. The space  _A (m, n), whose R-rational points are A-invariant, free rank m summands of R ⁿ , is well known. We construct a distinct parameter space,  _A (m, n), which is a fiber product of a Grassmannian and the projectivization of a vector space. We then study the intersection  _A (m, n) ∩  _A (m, n), which we denote by  _A (m, n). Under suitable hypotheses on A, we construct affine open subschemes of  _A (m, n) and  _A (m, n) which cover their K-rational points. We conclude by using  _A (m, n),  _A (m, n), and  _A (m, n) to construct parameter spaces of 2-sided subspaces of 2-sided vector spaces.     

Strongly Closed Subgraphs in a Distance-Regular Graph with <Emphasis Type="Italic">c</Emphasis><Subscript>2</Subscript> > 1

Let Γ be a distance-regular graph of diameter d ≥ 3 with c ₂ > 1. Let m be an integer with 1 ≤ m ≤ d − 1. We consider the following conditions:

Convergence of ray sequences of Padé approximants for 2 f 1(a, 1; c; z), (c > a > 0)

The Padé table of ₂ F ₁(a, 1; c; z) is normal for c > a > 0 (cf. [4]). For m ≥ n - 1 and c ? Z^-, the denominator polynomial Q _mn (z) in the [m/n] Padé approximant P _mn (z)/Q _mn (z) for ₂ F ₁(a, 1; c; z) and the remainder term Q _mn (z)₂ F ₁(a, 1; c; z)-P_mn (z) were explicitly evaluated by Padé (cf. [2], [6] or [9]). We show that for c > a > 0 and m ≥ n - 1, the poles of P_mn (z)/Q_mn (z) lie on the cut (1,∞). We deduce that the sequence of approximants P_mn (z)/Q_mn (z) converges to ₂ F ₁(a, 1; c; z) as m → ∞, n/m → ρ with 0 < ρ ≤ 1, uniformly on compact subsets of the unit disc |z| < 1 for c > a > 0.     

On Sums and Products in a Field

We study sums and products in a field. Let F be a field with ch(F) ≠ 2, where ch(F) is the characteristic of F. For any integer k ? 4, we show that any x ∈ F can be written as a₁ + … + a_k with a₁, …, _ak ∈ F and a₁… a_k = 1, and that for any α ∈ F {0} we can write every x ∈ F as a₁ … a_k with a₁, …, a_k ∈ F and a₁ + … + a_k = α. We also prove that for any x ∈ F and k ∈ {2, 3, …} there are a₁, …, a_2k ∈ F such that a₁ + … + a_2k = x = a₁ … a_2k.

     

On the neutrix composition of the distributions x −s ln m |x| and x r

Let F be a distribution and let f be a locally summable function. The distribution F(f) is defined as the neutrix limit of the sequence {F _n (f)}, where F _n (x) = F(x) * δ _n (x) and {δ _n (x)} is a certain sequence of infinitely differentiable functions converging to the Dirac delta-function δ(x). The composition of the distributions x ^?s ln ^m |x| and x ^r is proved to exist and be equal to r ^m x ^?rs ln ^m |x| for r, s, m = 2, 3….     

Embedding Structures

 For any quasiordered set (`quoset') or topological space S, the set Sub S of all nonempty subquosets or subspaces is quasiordered by embeddability. Given any cardinal number n, denote by p _n and q _n the smallest size of spaces S such that each poset, respectively, quoset with n points is embeddable in Sub S. For finite n, we prove the inequalities n + 1 ≤p _n ≤q _n ≤p _n + l(n) + l(l(n)), where l(n) = min{k∈ℕ∣n≤2 ^k }. For the smallest size b _n of spaces S so that Sub S contains a principal filter isomorphic to the power set ?(n), we show n + l(n) − 1 ≤b _n ≤n + l(n) + l(l(n))+2. Since p _n ≤b _n , we thus improve recent results of McCluskey and McMaster who obtained p _n ≤n ². For infinite n, we obtain the equation b _n = p _n = q _n = n. Received: April 19, 1999 Final version received: February 21, 2000