Maximizing Strictly Convex Quadratic Functions with Bounded Perturbations

The problem of maximizing [(f)\tilde]=f+p\tilde{f}=f+p over some convex subset D of the n-dimensional Euclidean space is investigated, where f is a strictly convex quadratic function and p is assumed to be bounded by some s∈[0,+∞[. The location of global maximal solutions of [(f)\tilde]\tilde{f} on D is derived from the roughly generalized convexity of [(f)\tilde]\tilde{f}. The distance between global (or local) maximal solutions of [(f)\tilde]\tilde{f} on D and global (or local, respectively) maximal solutions of f on D is estimated. As consequence, the set of global (or local) maximal solutions of [(f)\tilde]\tilde{f} on D is upper (or lower, respectively) semicontinuous when the upper bound s tends to zero.     

Minimal rotational hypersurfaces in Minkowski (<Emphasis Type="Italic">α</Emphasis>, <Emphasis Type="Italic">β</Emphasis>)-space

In Finsler geometry, minimal surfaces with respect to the Busemann-Hausdorff measure and the Holmes-Thompson measure are called BH-minimal and HT-minimal surfaces, respectively. In this paper, we give the explicit expressions of BH-minimal and HT-minimal rotational hypersurfaces generated by plane curves rotating around the axis in the direction of [(b)\tilde]^\sharp{\tilde{\beta}^{\sharp}} in Minkowski (α, β)-space (\mathbbVⁿ⁺¹,[(F_b)\tilde]){(\mathbb{V}^{n+1},\tilde{F_b})} , where \mathbbVⁿ⁺¹{\mathbb{V}^{n+1}} is an (n+1)-dimensional real vector space, [(F_b)\tilde]=[(a)\tilde]f([(b)\tilde]/[(a)\tilde]), [(a)\tilde]{\tilde{F_b}=\tilde{\alpha}\phi(\tilde{\beta}/\tilde{\alpha}), \tilde{\alpha}} is the Euclidean metric, [(b)\tilde]{\tilde{\beta}} is a one form of constant length b:=||[(b)\tilde]||_[(a)\tilde], [(b)\tilde]^\sharp{b:=\|\tilde{\beta}\|_{\tilde{\alpha}}, \tilde{\beta}^{\sharp}} is the dual vector of [(b)\tilde]{\tilde{\beta}} with respect to [(a)\tilde]{\tilde{\alpha}} . As an application, we first give the explicit expressions of the forward complete BH-minimal rotational surfaces generated around the axis in the direction of [(b)\tilde]^\sharp{\tilde{\beta}^{\sharp}} in Minkowski Randers 3-space (\mathbbV³,[(a)\tilde]+[(b)\tilde]){(\mathbb{V}^{3},\tilde{\alpha}+\tilde{\beta})} .     

A formula for the Bloch norm of a C 1-function on the unit ball of ℂ n

For a C ¹-function f on the unit ball ⊂ ℂ ⁿ we define the Bloch norm by , where is the invariant derivative of f, and then show that . Supported by MNZŽS Serbia, Project No. 144010.     

On conformal minimal 2-spheres in complex Grassmann manifold <Emphasis Type="BoldItalic">G</Emphasis>(2,<Emphasis Type="BoldItalic">n</Emphasis>)

For a harmonic map f from a Riemann surface into a complex Grassmann manifold, Chern and Wolfson [4] constructed new harmonic maps ?f\partial\!f and [`(?)]f\bar{\partial}\!f through the fundamental collineations ?\partial and [`(?)]\bar{\partial} respectively. In this paper, we study the linearly full conformal minimal immersions from S ² into complex Grassmannians G(2,n), according to the relationships between the images of ?f\partial\!f and [`(?)]f\bar{\partial}\!f. We obtain various pinching theorems and existence theorems about the Gaussian curvature, K?hler angle associated to the given minimal immersions, and characterize some immersions under special conditions. Some examples are given to show that the hypotheses in our theorems are reasonable.     

Global infimum of strictly convex quadratic functions with bounded perturbations

The problem of minimizing [(f)\tilde]=f+p{\tilde f=f+p} over some convex subset of a Euclidean space is investigated, where f(x) = x ^T Ax + b ^T x is strictly convex and |p| is only assumed to be bounded by some positive number s. It is shown that the function [(f)\tilde]{\tilde f} is strictly outer γ-convex for any γ > γ*, where γ* is determined by s and the smallest eigenvalue of A. As consequence, a γ*-local minimal solution of [(f)\tilde]{\tilde f} is its global minimal solution and the diameter of the set of global minimal solutions of [(f)\tilde]{\tilde f} is less than or equal to γ*. Especially, the distance between the global minimal solution of f and any global minimal solution of [(f)\tilde]{\tilde f} is less than or equal to γ*/2. This property is used to prove a roughly generalized support property of [(f)\tilde]{\tilde f} and some generalized optimality conditions.     

Envelope of holomorphy of a tube domain over a complex Lie group

According to S. Bochner [6, 7]: IfD =B +iℝ ⁿ is a tube domain in ℂ ⁿ , where B is a domain in ℝ ⁿ , and if [(B)\tilde]\tilde B is the convex envelope of B, then any holomorphic function on D extends to the tube domain [(D)\tilde] = [(B)\tilde] + i\mathbbRⁿ \tilde D = \tilde B + i\mathbb{R}^n , which is a univalent envelope of holomorphy of D. We give a generalization of this result to (nonunivalent) tube domains over a complex Lie group which admit a closed sub-group as a real form. Application: If (V, φ) is a tube domain over ℂ ⁿ and if B is the convex envelope of ϕ(V)∩ℝ ⁿ in ℝ ⁿ , then [(V)\tilde] = B + i\mathbbRⁿ \tilde V = B + i\mathbb{R}^n is an envelope of holomorphy of (V, φ).     

Representing a Functional Curve by Curves with Fewer Peaks

In this paper, we study the problems of (approximately) representing a functional curve in 2-D by a set of curves with fewer peaks. Representing a function (or its curve) by certain classes of structurally simpler functions (or their curves) is a basic mathematical problem. Problems of this kind also find applications in applied areas such as intensity-modulated radiation therapy (IMRT). Let f\bf f be an input piecewise linear functional curve of size n. We consider several variations of the problems. (1) Uphill–downhill pair representation (UDPR): Find two nonnegative piecewise linear curves, one nondecreasing (uphill) and one nonincreasing (downhill), such that their sum exactly or approximately represents f\bf f. (2) Unimodal representation (UR): Find a set of unimodal (single-peak) curves such that their sum exactly or approximately represents f\bf f. (3) Fewer-peak representation (FPR): Find a piecewise linear curve with at most k peaks that exactly or approximately represents f\bf f. Furthermore, for each problem, we consider two versions. For the UDPR problem, we study its feasibility version: Given ε>0, determine whether there is a feasible UDPR solution for f\bf f with an approximation error ε; its min-ε version: Compute the minimum approximation error ε ^∗ such that there is a feasible UDPR solution for f\bf f with error ε ^∗. For the UR problem, we study its min-k version: Given ε>0, find a feasible solution with the minimum number k ^∗ of unimodal curves for f\bf f with an error ε; its min-ε version: given k>0, compute the minimum error ε ^∗ such that there is a feasible solution with at most k unimodal curves for f\bf f with error ε ^∗. For the FPR problem, we study its min-k version: Given ε>0, find one feasible curve with the minimum number k ^∗ of peaks for f\bf f with an error ε; its min-ε version: given k≥0, compute the minimum error ε ^∗ such that there is a feasible curve with at most k peaks for f\bf f with error ε ^∗. Little work has been done previously on solving these functional curve representation problems. We solve all the problems (except the UR min-ε version) in optimal O(n) time, and the UR min-ε version in O(n+mlog m) time, where m<n is the number of peaks of f\bf f. Our algorithms are based on new geometric observations and interesting techniques.     

Hochschild （Co）homology of Galois Coverings of Grassmann Algebras

Let ∧ be the Z2-Galois covering of the Grassmann algebra A over a field k of characteristic not equal to 2. In this paper, the dimensional formulae of Hochschild homology and cohomology groups of ∧ are calculated explicitly. And the cyclic homology of∧ can also be calculated when the underlying field is of characteristic zero. As a result, we prove that there is an isomorphism from i≥1 HH^i（∧） to i≥1 HH^i（∧）.     

H p (Rn) is equidistributed withL p (Rn)

Let 0<p<∞. LetH ^p (R ⁿ) be the real variable Hardy spaces defined by Stein and Weiss. Let L^p(R ⁿ) be the usual Lebesgue space. It is shown that forf∈L ^p there is an with the distribution functions of |f| and identical and . The converse is trivially true. Research partially supported by NSF Grant #MCS77-02213.     

Maps Between Uniform Algebras Preserving Norms of Rational Functions

Let A, B be uniform algebras. Suppose that A ₀, B ₀ are subgroups of A ⁻¹, B ⁻¹ that contain exp A, exp B respectively. Let α be a non-zero complex number. Suppose that m, n are non-zero integers and d is the greatest common divisor of m and n. If T : A ₀ → B ₀ is a surjection with ||T(f)^mT(g)ⁿ - a||_￥ = ||f^mgⁿ - a||_￥{\|T(f)^{m}T(g)^{n} - \alpha\|_{\infty} = \|f^{m}g^{n} - \alpha\|_{\infty}} for all f,g ? A₀{f,g \in A_0}, then there exists a real-algebra isomorphism [(T)\tilde] : A ? B{\tilde{T} : A \rightarrow B} such that [(T)\tilde](f)^d = (T(f)/T(1))^d{\tilde{T}(f)^d = (T(f)/T(1))^d} for every f ? A₀{f \in A_0}. This result leads to the following assertion: Suppose that S _A , S _B are subsets of A, B that contain A ⁻¹, B ⁻¹ respectively. If m, n > 0 and a surjection T : S _A → S _B satisfies ||T(f)^mT(g)ⁿ - a||_￥ = ||f^mgⁿ - a||_￥{\|T(f)^{m}T(g)^{n} - \alpha\|_{\infty} = \|f^{m}g^{n} - \alpha\|_{\infty}} for all f, g ? S_A{f, g \in S_A}, then there exists a real-algebra isomorphism [(T)\tilde] : A ? B{\tilde{T} : A \rightarrow B} such that [(T)\tilde](f)^d = (T(f)/T(1))^d{\tilde{T}(f)^d = (T(f)/T(1))^d} for every f ? S_A{f \in S_A}. Note that in these results and elsewhere in this paper we do not assume that T(exp A) = exp B.     

The Problem of the Pointwise Fourier Inversion for Piecewise Smooth Functions of Several Variables

We study the pointwise convergence problem for the inverse Fourier transform of piecewise smooth functions, i.e., whether S_rD f (\bx) ? f (\bx)S_{\rho D} f (\bx) \to f (\bx) as r? ￥\rho \to \infty . r? ￥\rho \to \infty . Here for \bx,\bxi ? \Rn\bx,\bxi \in \Rn S_rDf(\bmx)=\dsf1(2p)^n/2\intli_rD [^(f)](\bxi) e^{\dst iá\bmx,\bxi?} d\bxi . S_{\rho D}f(\bm{x})=\dsf1{(2\pi)^{n/2}}\intli_{\rho D} \widehat{f}(\bxi) e^{\dst i\langle\bm{x},\bxi\rangle} d\bxi~. is the partial sum operator using a convex and open set DD containing the origin, and rD={ r\bxi:\bxi ? D }\rho D=\left\{ \rho \bxi:\bxi\in D \right\}.     

On some Dirichlet series related to the Riemann zeta function,I

On the assumption of the truth of the Riemann hypothesis for the Riemann zeta function we construct a class of modified von-Mangoldt functions with slightly better mean value properties than the well known function L\Lambda . For every e ? (0,1/2)\varepsilon \in (0,1/2) there is a [(L)\tilde] : \Bbb N ? \Bbb C\tilde {\Lambda} : \Bbb N \to \Bbb C such that¶ i) [(L)\tilde] (n) = L (n) (1 + O(n^-1/4  logn))\tilde {\Lambda} (n) = \Lambda (n) (1 + O(n^{-1/4\,} \log n)) and¶ii) ?_{n \leqq x} [(L)\tilde] (n) (1- [(n)/(x)]) = [(x)/2] + O(x^1/4+e) (x \geqq 2).\sum \limits_{n \leqq x} \tilde {\Lambda} (n) \left(1- {{n}\over{x}}\right) = {{x}\over{2}} + O(x^{1/4+\varepsilon }) (x \geqq 2).¶Unfortunately, this does not lead to an improved error term estimation for the unweighted sum ?_{n \leqq x} [(L)\tilde] (n)\sum \limits_{n \leqq x} \tilde {\Lambda} (n), which would be of importance for the distance between consecutive primes.     

Dual partially harmonic tensors and Brauer-Schur-Weyl duality

Let V be a 2m-dimensional symplectic vector space over an algebraically closed field K. Let $ \mathfrak{B}_n^{(f)} Let V be a 2m-dimensional symplectic vector space over an algebraically closed field K. Let \mathfrakB_n^(f) \mathfrak{B}_n^{(f)} be the two-sided ideal of the Brauer algebra \mathfrakB_n( - 2m ) {\mathfrak{B}_n}\left( { - 2m} \right) over K generated by e ₁ e _3⋯ e _2f-1 where 0 ≤ f ≤ [n/2]. Let HT_f ^?n \mathcal{H}\mathcal{T}_f^{ \otimes n} be the subspace of partial-harmonic tensors of valence f in V ^⊗n . In this paper we prove that dimHT_f ^?n \mathcal{H}\mathcal{T}_f^{ \otimes n} and dim \textEn\textd_K\textSp(V)( V ^?n \mathord

On macroscopic dimension of rationally inessential manifolds

We show that, for a rationally inessential orientable closed n-manifold M whose fundamental group is a duality group, the macroscopic dimension of its universal cover [(M)\tilde]\tilde M is strictly less than n: dim _MC [(M)\tilde] < n\tilde M < n. As a corollary, we obtain the following partial result towards Gromov’s conjecture     

A Note on Aluthge Transforms of Complex Symmetric Operators and Applications

In this paper, we reprove that: (i) the Aluthge transform of a complex symmetric operator [(T)\tilde] = |T|^\frac12 U|T|^\frac12\tilde{T} = |T|^{\frac{1}{2}} U|T|^{\frac{1}{2}} is complex symmetric, (ii) if T is a complex symmetric operator, then ([(T)\tilde])^*(\tilde{T})^{*} and [(T^*)\tilde]\widetilde{T^{*}} are unitarily equivalent. And we also prove that: (iii) if T is a complex symmetric operator, then [((T^*))\tilde]_s,t\widetilde{(T^{*})}_{s,t} and ([(T)\tilde]_t,s)^*(\tilde{T}_{t,s})^{*} are unitarily equivalent for s, t > 0, (iv) if a complex symmetric operator T belongs to class wA(t, t), then T is normal.     

Generalized commutators for Marcinkiewicz type integrals with variable kernels

Let A be a function with derivatives of order m and D γ A ∈■β (0 < β < 1, |γ| = m). The authors in the paper prove that if Ω(x, z) ∈ L ∞ (R n ) × L s (S n 1 ) (s ≥ n/(n β)) is homogenous of degree zero and satisfies the mean value zero condition about the variable z, then both the generalized commutator for Marcinkiewicz type integral μ A Ω and its variation μ A Ω are bounded from L p (R n ) to L q (R n ), where 1 < p < n/β and 1/q = 1/p β/n. The authors also consider the boundedness of μ A Ω and its variation μ A Ω on Hardy spaces.     

Fourier Series with the Continuous Primitive Integral

Fourier series are considered on the one-dimensional torus for the space of periodic distributions that are the distributional derivative of a continuous function. This space of distributions is denoted A_c(\mathbbT){\mathcal{A}}_{c}(\mathbb{T}) and is a Banach space under the Alexiewicz norm, ||f||_\mathbbT=sup_{|I| ￡ 2p}|ò_I f|\|f\|_{\mathbb{T}}=\sup_{|I|\leq2\pi}|\int_{I} f|, the supremum being taken over intervals of length not exceeding 2π. It contains the periodic functions integrable in the sense of Lebesgue and Henstock–Kurzweil. Many of the properties of L ¹ Fourier series continue to hold for this larger space, with the L ¹ norm replaced by the Alexiewicz norm. The Riemann–Lebesgue lemma takes the form [^(f)](n)=o(n)\hat{f}(n)=o(n) as |n|→∞. The convolution is defined for f ? A_c(\mathbbT)f\in{\mathcal{A}}_{c}(\mathbb{T}) and g a periodic function of bounded variation. The convolution commutes with translations and is commutative and associative. There is the estimate ||f*g||_￥ ￡ ||f||_\mathbbT ||g||_BV\|f\ast g\|_{\infty}\leq\|f\|_{\mathbb{T}} \|g\|_{\mathcal{BV}}. For g ? L¹(\mathbbT)g\in L^{1}(\mathbb{T}), ||f*g||_\mathbbT ￡ ||f||_{\mathbb T} ||g||₁\|f\ast g\|_{\mathbb{T}}\leq\|f\|_{\mathbb {T}} \|g\|_{1}. As well, [^(f*g)](n)=[^(f)](n) [^(g)](n)\widehat{f\ast g}(n)=\hat{f}(n) \hat{g}(n). There are versions of the Salem–Zygmund–Rudin–Cohen factorization theorem, Fejér’s lemma and the Parseval equality. The trigonometric polynomials are dense in A_c(\mathbbT){\mathcal{A}}_{c}(\mathbb{T}). The convolution of f with a sequence of summability kernels converges to f in the Alexiewicz norm. Let D _n be the Dirichlet kernel and let f ? L¹(\mathbbT)f\in L^{1}(\mathbb{T}). Then ||D_n*f-f||_\mathbbT?0\|D_{n}\ast f-f\|_{\mathbb{T}}\to0 as n→∞. Fourier coefficients of functions of bounded variation are characterized. The Appendix contains a type of Fubini theorem.     

On almost sure max-limit theorems of complete and incomplete samples from stationary sequences

Let M _n denote the partial maximum of a strictly stationary sequence (X _n ). Suppose that some of the random variables of (X _n ) can be observed and let [(M)\tilde]_n\tilde M_n stand for the maximum of observed random variables from the set {X ₁, ..., X _n }. In this paper, the almost sure limit theorems related to random vector ([(M)\tilde]_n\tilde M_n , M _n ) are considered in terms of i.i.d. case. The related results are also extended to weakly dependent stationary Gaussian sequence as its covariance function satisfies some regular conditions.     

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.     

Asymptotically minimal schemes for one sequence of Boolean functions

Monotone symmetric Boolean functions $ f_2^n (\tilde x) = \mathop \vee \limits_{1 \leqslant i < j \leqslant n} x_i x_j $ f_2^n (\tilde x) = \mathop \vee \limits_{1 \leqslant i < j \leqslant n} x_i x_j are considered. For such functions, the asymptotics L ^B (f ₂ ⁿ ) ∼ 3n, where L ^B (f ₂ ⁿ ) is the complexity of realization of function f ₂ ⁿ by schemes of functional elements in the basis B = {&, −}, is established.