Second-order conditions in C 1,1 constrained vector optimization

We consider the constrained vector optimization problem min _C f(x), g(x) ∈ ?K, where f:? ⁿ →? ^m and g:? ⁿ →? ^p are C ^1,1 functions, and C ? ^m and K ? ^p are closed convex cones with nonempty interiors. Two type of solutions are important for our considerations, namely w-minimizers (weakly efficient points) and i-minimizers (isolated minimizers). We formulate and prove in terms of the Dini directional derivative second-order necessary conditions for a point x ⁰ to be a w-minimizer and second-order sufficient conditions for x ⁰ to be an i-minimizer of order two. We discuss the reversal of the sufficient conditions under suitable constraint qualifications of Kuhn-Tucker type. The obtained results improve the ones in Liu, Neittaanmäki, K?í?ek [21].     

On boundary value problems for systems of nonlinear generalized ordinary differential equations

A general theorem (principle of a priori boundedness) on solvability of the boundary value problem dx = dA(t) · f(t, x), h(x) = 0 is established, where f: [a, b]×R ⁿ → R ⁿ is a vector-function belonging to the Carathéodory class corresponding to the matrix-function A: [a, b] → R ^n×n with bounded total variation components, and h: BV_s([a, b],R ⁿ ) → R ⁿ is a continuous operator. Basing on the mentioned principle of a priori boundedness, effective criteria are obtained for the solvability of the system under the condition x(t₁(x)) = B(x) · x(t ₂(x))+c ₀, where t _i: BV_s([a, b],R ⁿ ) → [a, b] (i = 1, 2) and B: BV_s([a, b], R ⁿ ) → R ⁿ are continuous operators, and c ₀ ∈ R ⁿ .     

On the approximation of continuous functions of two variables

It is shown that if P _m ^α,β (x) (α, β > ?1, m = 0, 1, 2, …) are the classical Jaboci polynomials, then the system of polynomials of two variables {Ψ _mn ^α,β (x, y)} _m,n=0 ^r = {P _m ^α,β (x)P _n ^α,β (y)} _{m, n=0} ^r (r = m + n ≤ N ? 1) is an orthogonal system on the set Ω _N×N = ?ub;(x _i , y _i ) _i,j=0 ^N , where x _i and y _i are the zeros of the Jacobi polynomial P _n ^α,β (x). Given an arbitrary continuous function f(x, y) on the square [?1, 1]², we construct the discrete partial Fourier-Jacobi sums of the rectangular type S _{m, n, N} ^α,β (f; x, y) by the orthogonal system introduced above. We prove that the order of the Lebesgue constants ∥S _{m, n, N} ^α,β ∥ of the discrete sums S _{m, n, N} ^α,β (f; x, y) for ?1/2 < α, β < 1/2, m + n ≤ N ? 1 is O((mn) ^{q + 1/2}), where q = max?ub;α,β?ub;. As a consequence of this result, several approximate properties of the discrete sums S _{m, n, N} ^α,β (f; x, y) are considered.     

On a functional equation related to derivations in prime rings

In this paper we prove the following result. Let m ≥ 1, n ≥ 1 be fixed integers and let R be a prime ring with m + n + 1 ≤ char(R) or char(R) = 0. Suppose there exists an additive nonzero mapping D : R → R satisfying the relation 2D(x ^n+m+1) = (m + n + 1)(x ^m D(x)x ⁿ + x ⁿ D(x)x ^m ) for all \({x\in R}\). In this case R is commutative and D is a derivation.     

Obstructions to the uniform stability of a <Emphasis Type="Italic">C</Emphasis><Subscript>0</Subscript>-semigroup

Let T _t : X → X be a C ₀-semigroup with generator A. We prove that if the abscissa of uniform boundedness of the resolvent s ₀(A) is greater than zero then for each nondecreasing function h(s): ?₊ → R ₊ there are x′ ∈ X′ and x ∈ X satisfying ∫ ₀ ^∞ h(|〈x′, T _x x〉|)dt = ∞. If i? ∩ Sp(A) ≠ Ø then such x may be taken in D(A ^∞).     

Implicit differential equations with impasse singularities and singular perturbation problems

This paper concerns families of constrained differential systems having the form {fx1-1} where h: ? ⁿ → ? is a C ^r -function, (α ₁, …, α _n ) is a C ^r vector field on ? ⁿ , r ≥ 1, x ∈ ? ⁿ and λ is a real parameter. Using singular perturbation techniques we present some results on the dynamics of the system around a point (x, λ) of the impasse set λ = h(x). In addition, planar constrained systems with non-regular impasse surfaces are considered.     

New Applications of the <Emphasis Type="Italic">p</Emphasis>-Adic Nevanlinna Theory

Let IK be an algebraically closed field of characteristic 0 complete for an ultrametric absolute value. Following results obtained in complex analysis, here we examine problems of uniqueness for meromorphic functions having finitely many poles, sharing points or a pair of sets (C.M. or I.M.) defined either in the whole field IK or in an open disk, or in the complement of an open disk. Following previous works in C, we consider functions fⁿ(x)f^m(ax + b), gⁿ(x)g^m(ax + b) with |a| = 1 and n ≠ m, sharing a rational function and we show that f/g is a n + m-th root of 1 whenever n + m ≥ 5. Next, given a small function w, if n, m ∈ IN are such that |n ? m|_∞ ≥ 5, then fⁿ(x)f^m(ax + b) ? w has infinitely many zeros. Finally, we examine branched values for meromorphic functions fⁿ(x)f^m(ax + b).     

On the sharp Jackson-Nikol’skii inequality for algebraic polynomials on a multidimensional Euclidean sphere

The best constant C _n,m in the Jackson-Nikol’skii inequality between the uniform and integral norms of algebraic polynomials of a given total degree n ≥ 0 on the unit sphere \(\mathbb{S}^{m - 1} \) of the Euclidean space ? ^m is studied. Two-sided estimates for the constant C _n,m are obtained, which, in particular, give the order n ^m?1 of its behavior with respect to n as n → +∞ for a fixed m.     

Linear homotopy method for computing generalized tensor eigenpairs

Let m,m′, n be positive integers such that m ≠ m′. Let A be an mth order n-dimensional tensor, and let ? be an m′th order n-dimensional tensor. λ ∈ ? is called a ?-eigenvalue of A if A x^m?1 = λ?x^m′?1 and ?xm′= 1 for some x ∈ ?ⁿ\{0}. In this paper, we propose a linear homotopy method for solving this eigenproblem. We prove that the method finds all isolated ?-eigenpairs. Moreover, it is easy to implement. Numerical results are provided to show the efficiency of the proposed method.     

CR deformations for rational homogeneous surface singularities

In this paper, we will present a CR-construction of the versal deformations of the singularitiesV _n ? ?²/? _n ,n ∈ {2,3,4,?} defined by the immersions of ?² into ? ⁿ⁺¹ X ⁿ : (z, w) → (z ⁿ ,z ^n?1 w, ?,zw ^n?1 ,w ⁿ )     

A new characterization of RBMO(<Emphasis Type="Italic">μ</Emphasis>) by John-Strömberg sharp maximal functions

Let μ be a nonnegative Radon measure on ? ^d which only satisfies μ (B(x, r)) ? C ₀ r ⁿ for all x ∈ ? ^d , r > 0, with some fixed constants C ₀ > 0 and n ∈ (0, d]. In this paper, a new characterization for the space RBMO(μ) of Tolsa in terms of the John-Strömberg sharp maximal function is established.     

Quantization causes waves: Smooth finitely computable functions are affine

Every automaton (a letter-to-letter transducer) A whose both input and output alphabets are F _p = {0, 1,..., p - 1} produces a 1-Lipschitz map f _A from the space Z _p of p-adic integers to Z _p . The map fA can naturally be plotted in a unit real square I² ? R²: To an m-letter non-empty word v = γ _m-1γ _m-2... γ0 there corresponds a number 0.v ∈ R with base-p expansion 0.γ _m-1γ _m-2... γ0; so to every m-letter input word w = α _m-1α _m-2 ··· α0 of A and to the respective m-letter output word a(w) = β _m-1β _m-2 ··· β0 of A there corresponds a point (0.w; 0.a(w)) ∈ R². Denote P(A) a closure of the point set (0.w; 0.a(w)) where w ranges over all non-empty words.We prove that once some points of P(A) constitute a C ²-smooth curve in R², the curve is a segment of a straight line with a rational slope. Moreover, when identifying P(A) with a subset of a 2-dimensional torus T² ∈ R³, the smooth curves from P(A) constitute a collection of torus windings which can be ascribed to complex-valued functions ψ(x, t) = e ^i(Ax-2πBt) (x, t ∈ R), i.e., to matter waves. As automata are causal discrete systems, the main result may serve a mathematical reasoning why wave phenomena are inherent in quantum systems: This is just because of causality principle and discreteness of matter.     

On the solvability of boundary value problems for nonlinear differential systems

We obtain in a sense optimal tests for the solvability of the nonlinear boundary value problem

$$\frac{{dx}}{{dt}} = f(t,x),x(a) = h(x,(b)),$$

where the function f: [a, b] × ? ⁿ → ? ⁿ belongs to the Carathéodory class and the function h: ? ⁿ → ? ⁿ is continuous.

     

Systems that generate solutions with a small period

Let (j₁,..., j_n) be a permutation of the n-tuple (1, ..., n). A system of differential equations \(\dot x = {f_i}\left( {{x_{{j_i}}}} \right),i = 1, \ldots ,n\) in which each function f_i is continuous on ? is considered. This system is said to have the property of generation of solutions with a small period if, for any number M > 0, there exists a number ω₀ = ω₀(M) > 0 such that if 0 < ω ≤ ω₀ and h_i(t, x₁, ..., x_n) are continuous functions on ? × ?ⁿ ω-periodic in t that satisfy the inequalities |h_i| ≤ M the system \(\dot x = {f_i}\left( {{x_{{j_i}}}} \right),i = 1, \ldots ,n\) has an ω-periodic solution. It is shown that a system has the property of generation of solutions with a small period if and only if f_i(?) = ? for i = 1,..., n. It is also shown that the smallness condition on the period is essential.     

A radial symmetry and Liouville theorem for systems involving fractional Laplacian

We investigate the nonnegative solutions of the system involving the fractional Laplacian:

$$\left\{ {\begin{array}{*{20}c} {\begin{array}{*{20}c} {( - \Delta )^\alpha u_i (x) = f_i (u),} & {x \in \mathbb{R}^n , i = 1,2, \ldots ,m,} \\ \end{array} } \\ {u(x) = (u_1 (x),u_2 (x), \ldots ,u_m (x)),} \\ \end{array} } \right.$$

where 0 < α < 1, n > 2, f _i (u), 1 ≤ i ≤ m, are real-valued nonnegative functions of homogeneous degree p _i ≥ 0 and nondecreasing with respect to the independent variables u ₁, u ₂,..., u _m . By the method of moving planes, we show that under the above conditions, all the positive solutions are radially symmetric and monotone decreasing about some point x ₀ if p _i = (n + 2α)/(n ? 2α) for each 1 ≤ i ≤ m; and the only nonnegative solution of this system is u ≡ 0 if 1 < p _i < (n + 2α)/(n ? 2α) for all 1 ≤ i ≤ m.

     

Solution of Functional Equations Related to Elliptic Functions

Functional equations of the form f(x + y)g(x ? y) = Σ _j=1 ⁿ α _j (x)β _j (y) as well as of the form f₁(x + z)f₂(y + z)f₃(x + y ? z) = Σ _j=1 ^m φ _j (x, y)ψ _j (z) are solved for unknown entire functions f, g,α _j , β _j : ? → ? and f₁, f₂, f₃, ψ _j : ? → ?, φ _j : ?² → ? in the cases of n = 3 and m = 4.     

Immersed Hypersurfaces in the Unit Sphere S^m＋1 with Constant Blaschke Eigenvalues

For an immersed submanifold x ： M^m→ Sn in the unit sphere S^n without umbilics, an eigenvalue of the Blaschke tensor of x is called a Blaschke eigenvalue of x. It is interesting to determine all hypersurfaces in Sn with constant Blaschke eigenvalues. In this paper, we are able to classify all immersed hypersurfaces in S^m＋1 with vanishing MSbius form and constant Blaschke eigenvalues, in case （1） x has exact two distinct Blaschke eigenvalues, or （2） m = 3. With these classifications, some interesting examples are also presented.     

Bi-Lipschitz bijection between the Boolean cube and the Hamming ball

We construct a bi-Lipschitz bijection from the Boolean cube to the Hamming ball of equal volume. More precisely, we show that for all even n ∈ N there exists an explicit bijection ψ: {0, 1}ⁿ → {x ∈ {0, 1}ⁿ⁺¹ : |x| > n/2} such that for every x ≠ y ∈ {0, 1}ⁿ, \(\frac{1}{5} \leqslant \frac{{dis\tan ce\left( {\psi \left( x \right),\psi \left( y \right)} \right)}}{{dis\tan ce\left( {x,y} \right)}} \leqslant 4,\) where distance(·, ·) denotes the Hamming distance. In particular, this implies that the Hamming ball is bi-Lipschitz transitive.     

Properties of quasi-Boolean function on quasi-Boolean algebra

In this paper, we investigate the following problem: give a quasi-Boolean function Ψ(x ₁, …, x _n ) = (a ∧ C) ∨ (a ₁ ∧ C ₁) ∨ … ∨ (a _p ∧ C _p ), the term (a ∧ C) can be deleted from Ψ(x ₁, …, x _n )? i.e., (a ∧ C) ∨ (a ₁ ∧ C ₁) ∨ … ∨ (a _p ∧ C _p ) = (a ₁ ∧ C ₁) ∨ … ∨ (a _p ∧ C _p )? When a = 1: we divide our discussion into two cases. (1) ?₁(Ψ,C) = ø, C can not be deleted; ?₁(Ψ,C) ≠ ø, if S _i ⁰ ≠ ø (1 ≤ i ≤ q), then C can not be deleted, otherwise C can be deleted. When a = m: we prove the following results: (m∧C)∨(a ₁∧C ₁)∨…∨(a _p ∧C _p ) = (a ₁∧C ₁)∨…∨(a _p ∧C _p ) ? (m ∧ C) ∨ C ₁ ∨ … ∨C _p = C ₁ ∨ … ∨C _p . Two possible cases are listed as follows, (1) ?₂(Ψ,C) = ø, the term (m∧C) can not be deleted; (2) ?₂(Ψ,C) ≠ ø, if (?i ₀) such that \(S'_{i_0 } \) = ø, then (m∧C) can be deleted, otherwise ((m∧C)∨C ₁∨…∨C _q )(v ₁, …, v _n ) = (C ₁ ∨ … ∨ C _q )(v ₁, …, v _n )(?(v ₁, …, v _n ) ∈ L ₃ ⁿ ) ? (C ₁ ^′ ∨ … ∨ C _q ^′ )(u ₁, …, u _q ) = 1(?(u ₁, …, u _q ) ∈ B ₂ ⁿ ).     

An improvement of the five halves theorem of J. Boardman

Let (M ^m , T) be a smooth involution on a closed smooth m-dimensional manifold and F = ∪ _j=0 ⁿ F ^j (n ≤ m) its fixed point set, where F ^j denotes the union of those components of F having dimension j. The famous Five Halves Theorem of J. Boardman, announced in 1967, establishes that, if F is nonbounding, then m ≤ 5/2n. In this paper we obtain an improvement of the Five Halves Theorem when the top dimensional component of F, F ⁿ , is nonbounding. Specifically, let ω = (i ₁, i ₂, …, i _r ) be a non-dyadic partition of n and s _ω (x ₁, x ₂, …, x _n ) the smallest symmetric polynomial over Z ₂ on degree one variables x ₁, x ₂, …, x _n containing the monomial \(x_1^{i_1 } x_2^{i_2 } \cdots x_r^{i_r }\). Write s _ω (F ⁿ ) ∈ H ⁿ (F ⁿ , Z ₂) for the usual cohomology class corresponding to s _ω (x ₁, x ₂, …, x _n ), and denote by ?(F ⁿ ) the minimum length of a nondyadic partition ω with s _ω (F ⁿ ) ≠ 0 (here, the length of ω = (i ₁, i ₂, …, i _r ) is r). We will prove that, if (M ^m , T) is an involution for which the top dimensional component of the fixed point set, F ⁿ , is nonbounding, then m ≤ 2n + ?(F ⁿ ); roughly speaking, the bound for m depends on the degree of decomposability of the top dimensional component of the fixed point set. Further, we will give examples to show that this bound is best possible.