Selections of bounded variation under the excess restrictions

Let X be a metric space with metric d, c(X) denote the family of all nonempty compact subsets of X and, given F,G∈c(X), let e(F,G)=supx∈Finfy∈Gd(x,y) be the Hausdorff excess of F over G. The excess variation of a multifunction , which generalizes the ordinary variation V of single-valued functions, is defined by where the supremum is taken over all partitions of the interval [a,b]. The main result of the paper is the following selection theorem: If,V₊(F,[a,b])<∞,t₀∈[a,b]andx₀∈F(t₀), then there exists a single-valued functionof bounded variation such thatf(t)∈F(t)for allt∈[a,b],f(t₀)=x₀,V(f,[a,t₀))?V₊(F,[a,t₀))andV(f,[t₀,b])?V₊(F,[t₀,b]). We exhibit examples showing that the conclusions in this theorem are sharp, and that it produces new selections of bounded variation as compared with [V.V. Chistyakov, Selections of bounded variation, J. Appl. Anal. 10 (1) (2004) 1-82]. In contrast to this, a multifunction F satisfying e(F(s),F(t))?C(t−s) for some constant C?0 and all s,t∈[a,b] with s?t (Lipschitz continuity with respect to e(⋅,⋅)) admits a Lipschitz selection with a Lipschitz constant not exceeding C if t₀=a and may have only discontinuous selections of bounded variation if a<t₀?b. The same situation holds for continuous selections of when it is excess continuous in the sense that e(F(s),F(t))→0 as s→t−0 for all t∈(a,b] and e(F(t),F(s))→0 as s→t+0 for all t∈[a,b) simultaneously.     

Relationships between generalized Wiener integrals and conditional analytic Feynman integrals over continuous paths

Let C[0, t] denote a generalized Wiener space, the space of real-valued continuous functions on the interval [0, t], and define a random vector Z _n: C[0, t] → R ⁿ⁺¹ by \({Z_n}\left( x \right) = \left( {x\left( 0 \right) + a\left( 0 \right),\int_o^{{t_1}} {h\left( s \right)dx\left( s \right) + x\left( 0 \right) + a\left( {{t_1}} \right),...,\int_0^{{t_n}} {h\left( s \right)dx\left( s \right) + x\left( 0 \right) + a\left( {{t_n}} \right)} } } \right)\), where a ∈ C[0, t], h ∈ L ₂[0, t], and 0 < t ₁ <... < t _n ≤ t is a partition of [0, t]. Using simple formulas for generalized conditional Wiener integrals, given Z _n we will evaluate the generalized analytic conditional Wiener and Feynman integrals of the functions F in a Banach algebra which corresponds to Cameron-Storvick’s Banach algebra S. Finally, we express the generalized analytic conditional Feynman integral of F as a limit of the non-conditional generalized Wiener integral of a polygonal function using a change of scale transformation for which a normal density is the kernel. This result extends the existing change of scale formulas on the classical Wiener space, abstract Wiener space and the analogue of the Wiener space C[0, t].     

Gaussian processes with biconvex covariances

Let R(s, t) be a continuous, nonnegative, real valued function on a ≤ s ≤ t ≤ b. Suppose $\text{?R}\text{?s}\text{≥ 0}$, $\text{?R}\text{?t}\text{≤ 0}$, and $\text{?}{}^2\text{R}\text{?t}\text{?t ≤ 0}$ in the interior of the domain. Then the extension of R to a symmetric function on [a, b] × [a, b] is a covariance function. Such a covariance is called biconvex. Let X(t) be a Gaussian process with mean 0 and biconvex covariance. X has a representation as a sum of simple moving averages of white noises on the line and plane. The germ field of X at every point t is generated by X(t) alone. X is locally nondeterministic. Under an additional assumption involving the partial derivatives of R near the diagonal, the local time of the sample function exists and is jointly continuous almost surely, so that the sample function is nowhere differentiable.     

OMC for scalar multiples of unitaries

We establish the following case of the Determinantal Conjecture of Marcus [M. Marcus, Derivations, Plücker relations and the numerical range, Indiana Univ. Math. J. 22 (1973) 1137-1149] and de Oliveira [G.N. de Oliveira, Research problem: Normal matrices, Linear and Multilinear Algebra 12 (1982) 153-154]. Let A and B be unitary n × n matrices with prescribed eigenvalues a₁, … , a_n and b₁, … , b_n, respectively. Then for any scalars t and s

     

Generalized Christoffel functions for Jacobi-exponential weights

Assume that W=e ^?Q where I:=(a,b), ?∞≦a<0<b≦∞, and Q:?I→[0,∞) is continuous and increasing. Let 0<p<∞, a<t _r <t _r?1<?<t ₁<b, p _i >?1/p, i=1,2,…,r, and $U(x)=\prod_{i=1}^{r} {|x-t_{i}|}^{p_{i}}$ . We give the L _p Christoffel functions for the Jacobi-exponential weight WU. In addition, we obtain restricted range inequalities.     

On a conjecture of Butler and Graham

Motivated by a hat guessing problem proposed by Iwasawa, Butler and Graham made the following conjecture on the existence of a certain way of marking the coordinate lines in [k] ⁿ : there exists a way to mark one point on each coordinate line in [k] ⁿ , so that every point in [k] ⁿ is marked exactly a or b times as long as the parameters (a, b, n, k) satisfies that there are nonnegative integers s and t such that s + t = k ⁿ and as + bt = nk ^n?1. In this paper we prove this conjecture for any prime number k. Moreover, we prove the conjecture for the case when a = 0 for general k.     

An even-order three-point boundary value problem on time scales

We study the even-order dynamic equation (−1)ⁿx^(Δ∇)n(t)=λh(t)f(x(t)), t∈[a,c] satisfying the boundary conditions x^(Δ∇)i(a)=0 and x^(Δ∇)i(c)=βx^(Δ∇)i(b) for 0?i?n−1. The three points a,b,c are from a time scale , where 0<β(b−a)<c−a for b∈(a,c), β>0, f is a positive function, and h is a nonnegative function that is allowed to vanish on some subintervals of [a,c] of the time scale.     

Vertical versus horizontal Poincaré inequalities on the Heisenberg group

Let ? = 〈a, b|a[a, b] = [a, b]a ∧ b[a, b] = [a, b]b〉 be the discrete Heisenberg group, equipped with the left-invariant word metric d _W (·, ·) associated to the generating set {a, b, a ^?1, b ^?1}. Letting B _n = {x ∈ ?: d _W (x, e _?) ? n} denote the corresponding closed ball of radius n ∈ ?, and writing c = [a, b] = aba ^?1 b ^?1, we prove that if (X, ‖ · ‖X) is a Banach space whose modulus of uniform convexity has power type q ∈ [2,∞), then there exists K ∈ (0, ∞) such that every f: ? → X satisfies $$\sum\limits_{k = 1}^{{n^2}} {\sum\limits_{x \in {B_n}} {\frac{{\left\| {f(x{c^k}) - f(x)} \right\|_X^q}}{{{k^{1 + q/2}}}}} } \leqslant K\sum\limits_{x \in {B_{21n}}} {(\left\| {f(xa) - f(x)} \right\|_X^q + \left\| {f(xb) - f(x)} \right\|_X^q)} $$ . It follows that for every n ∈ ? the bi-Lipschitz distortion of every f: B _n → X is at least a constant multiple of (log n)^1/q , an asymptotically optimal estimate as n → ∞.     

On the increments of the Wiener process

Summary Let {W(t), t0} be a standard Wiener process and 0<a _t t a nondecreasing function of t. The asymptotic behaviour of several increment processes, obtained from W and a _t , is investigated in terms of their upper classes. In some cases we characterize these classes by means of an integral test. Two such processes are (W(t+a _t) – W(t))a _t ^–1/2 and      

Bernstein operators for extended Chebyshev systems

Let U_n ⊂ Cⁿ[a, b] be an extended Chebyshev space of dimension n + 1. Suppose that f₀ ∈ U_n is strictly positive and f₁ ∈ U_n has the property that f₁/f₀ is strictly increasing. We search for conditions ensuring the existence of points t₀, …, t_n ∈ [a, b] and positive coefficients α₀, …, α_n such that for all f ∈ C[a, b], the operator B_n:C[a, b] → U_n defined by satisfies B_nf₀ = f₀ and B_nf₁ = f₁. Here it is assumed that p_n,k, k = 0, …, n, is a Bernstein basis, defined by the property that each p_n,k has a zero of order k at a and a zero of order n − k at b.     

Metric and ultrametric spaces of resistances

Consider an electrical circuit, each edge e of which is an isotropic conductor with a monomial conductivity function . In this formula, y_e is the potential difference and current in e, while μ_e is the resistance of e; furthermore, r and s are two strictly positive real parameters common for all edges. In particular, the case r=s=1 corresponds to the standard Ohm’s law.In 1987, Gvishiani and Gurvich [A.D. Gvishiani, V.A. Gurvich, Metric and ultrametric spaces of resistances, in: Communications of the Moscow Mathematical Society, Russian Math. Surveys 42 (6 (258)) (1987) 235-236] proved that, for every two nodes a,b of the circuit, the effective resistance μ_a,b is well-defined and for every three nodes a,b,c the inequality holds. It obviously implies the standard triangle inequality μ_a,b≤μ_a,c+μ_c,b whenever s≥r. For the case s=r=1, these results were rediscovered in the 1990s. Now, after 23 years, I venture to reproduce the proof of the original result for the following reasons:

•

It is more general than just the case r=s=1 and one can get several interesting metric and ultrametric spaces playing with parameters r and s. In particular, (i) the effective Ohm resistance, (ii) the length of a shortest path, (iii) the inverse width of a bottleneck path, and (iv) the inverse capacity (maximum flow per unit time) between any pair of terminals a and b provide four examples of the resistance distances μ_a,b that can be obtained from the above model by the following limit transitions: (i) r(t)=s(t)≡1, (ii) r(t)=s(t)→∞, (iii) r(t)≡1,s(t)→∞, and (iv) r(t)→0,s(t)≡1, as t→∞. In all four cases the limits μ_a,b=lim_t→∞μ_a,b(t) exist for all pairs a,b and the metric inequality μ_a,b≤μ_a,c+μ_c,b holds for all triplets a,b,c, since s(t)≥r(t) for any sufficiently large t. Moreover, the stronger ultrametric inequality μ_a,b≤max(μ_a,c,μ_c,b) holds for all triplets a,b,c in examples (iii) and (iv), since in these two cases s(t)/r(t)→∞, as t→∞.

•

Communications of the Moscow Math. Soc. in Russ. Math. Surveys were (and still are) strictly limited to two pages; the present paper is much more detailed.Although a translation in English of the Russ. Math. Surveys is available, it is not free in the web and not that easy to find.

•

The last but not least: priority.

     

Hypercube orientations with only two in-degrees

We consider the problem of orienting the edges of the n-dimensional hypercube so only two different in-degrees a and b occur. We show that this can be done, for two specified in-degrees, if and only if obvious necessary conditions hold. Namely, we need 0?a,b?n and also there exist non-negative integers s and t so that s+t=n² and as+bt=n²n−1. This is connected to a question arising from constructing a strategy for a “hat puzzle”.     

On the completeness of the system \{ {t^{{\lambda _n}}}{\log ^{{m_n}}}t\} in C 0(E)

Let $E = \bigcup\limits_{n = 1}^\infty {{I_n}} $ be the union of infinitely many disjoint closed intervals where In = [a _n , b _n ], 0 < a ₁ < b ₁ < a ₂ < b ₂ < … < b _n < …, $\mathop {\lim }\limits_{n \to \infty } $ b _n = ∞. Let α(t) be a nonnegative function and $\{ {\lambda _n}\} _{n = 1}^\infty $ a sequence of distinct complex numbers. In this paper, a theorem on the completeness of the system $\{ {t^{{\lambda _n}}}{\log ^{{m_n}}}t\} $ in C ₀(E) is obtained where C ₀(E) is the weighted Banach space consists of complex functions continuous on E with f(t)e^?α(t) vanishing at infinity.     

On statistical properties of finite continued fractions

Statistical properties of continued fractions for numbers a/b, where a and b lie in the sector a, b ≥ 1, a² + b² ≤ R², are studied. The main result is an asymptotic formula with two meaning terms for the quantity

Classification of reflexible regular embeddings and self-Petrie dual regular embeddings of complete bipartite graphs

In this paper, we classify the reflexible regular orientable embeddings and the self-Petrie dual regular orientable embeddings of complete bipartite graphs. The classification shows that for any natural number n, say (p₁,p₂,…,p_k are distinct odd primes and a_i>0 for each i?1), there are t distinct reflexible regular embeddings of the complete bipartite graph K_n,n up to isomorphism, where t=1 if a=0, t=2^k if a=1, t=2^k+1 if a=2, and t=3·2^k+1 if a?3. And, there are s distinct self-Petrie dual regular embeddings of K_n,n up to isomorphism, where s=1 if a=0, s=2^k if a=1, s=2^k+1 if a=2, and s=2^k+2 if a?3.     

Convergence in law of partial sum processes in p-variation norm

Let X ₁, X ₂, … be a sequence of independent identically distributed real-valued random variables, S _n be the nth partial sum process S _n (t) ≔ X ₁ + ⋯ X _⌊tn⌋, t ∈ [0, 1], W be the standard Wiener process on [0, 1], and 2 < p < ∞. It is proved that n ^−1/2 S _n converges in law to σW as n → ∞ in p-variation norm if and only if EX ₁ = 0 and σ ² = EX ₁² < ∞. The result is applied to test the stability of a regression model. The research was partially supported by the Lithuanian State Science and Studies Foundation, grant No. T-21/07     

Rate of convergence in a class of singular perturbations

Let V_?, W_?, W and X be Hilbert spaces (0 < ? ? 1) with V_? ? W_? ? W ? X algebraically and topologically, each space being dense in the one that follows it. For each t? [0, T] let a_?(t; u, v), b_?(t; u, v) and b(t; u, v) be continuous sesqui-linear forms on V_?, W_? and W, respectively, which satisfy certain ellipticity conditions. Consider the two equations a_?(t; u_?, v) + b_?(t; u_?, v) = 〈f_?, v〉 (v?V_?) and (u′, v)_x + b(t; u, v) = 〈f, v〉 (v?W). Estimates are obtained on the rate of convergence of u_? to u, assuming a_?(t; u, v) → (u, v)_x and b_?(t; u, v) → b(t; u, v) in an appropriate sense. These results are then applied to singular perturbation of a class of parabolic boundary value problems.     

Extended directed triple systems

Let {n;b₂,b₁} denote the class of extended directed triple systems of the order n in which the number of blocks of the form [a,b,a] is b₂ and the number of blocks of the form [b,a,a] or [a,a,b] is b₁. In this paper, we have shown that the necessary and sufficient condition for the existence of the class {n;b₂,b₁} is b₁≠1, 0?b₂+b₁?n and

(1)

for ;

(2)

for .

     

Regular sequences in Rees and symmetric algebras,II

In continuing [7] we study necessary and sufficient conditions for a system of elements b₁,...,b_s,a₁,...,a_t of a local Noetherian ring A such that the sequence b₁,...,b_s,a₁T,a₁-a₂T,...,a_t–1-a_tT,a_t in the Rees algebra A[a₁ T,...,a_t T], T is an indeterminate, constitutes a regular sequence.