Multiple solutions for a superlinear and periodic elliptic system on \mathbbRN{\mathbb{R}^N}

This paper is concerned with the following periodic Hamiltonian elliptic system

All 4-Edge-Connected HHD-Free Graphs are {\mathbb{Z}_3}-Connected

An undirected graph G = (V, E) is called \mathbbZ₃{\mathbb{Z}_3}-connected if for all b: V ? \mathbbZ₃{b: V \rightarrow \mathbb{Z}_3} with ?_{v ? V}b(v)=0{\sum_{v \in V}b(v)=0}, an orientation D = (V, A) of G has a \mathbbZ₃{\mathbb{Z}_3}-valued nowhere-zero flow f: A? \mathbbZ₃-{0}{f: A\rightarrow \mathbb{Z}_3-\{0\}} such that ?_{e ? d⁺(v)}f(e)-?_{e ? d^-(v)}f(e)=b(v){\sum_{e \in \delta^+(v)}f(e)-\sum_{e \in \delta^-(v)}f(e)=b(v)} for all v ? V{v \in V}. We show that all 4-edge-connected HHD-free graphs are \mathbbZ₃{\mathbb{Z}_3}-connected. This extends the result due to Lai (Graphs Comb 16:165–176, 2000), which proves the \mathbbZ₃{\mathbb{Z}_3}-connectivity for 4-edge-connected chordal graphs.     

Large orbits of elements centralized by a Sylow subgroup

If G has a nilpotent normal p-complement and V is a finite, faithful and completely reducible G-module of characteristic p, we prove that there exist ${v_1, v_2 \in V}If G has a nilpotent normal p-complement and V is a finite, faithful and completely reducible G-module of characteristic p, we prove that there exist v₁, v₂ ? V{v_1, v_2 \in V} such that C_G(v₁)?C_G(v₂) = P{{\bf C}_{G}{(v_1)}\cap {\bf C}_{G}{(v_2)} = P} , where P ? Syl_p(G){P \in {\rm Syl}_p(G)} . We hence deduce that, if the normal p-complement K is nontrivial, there exists v ? C_V(P){v \in {\bf C}_{V}(P)} such that |K : C _K (v)|² > |K|.     

Roman domination subdivision number of graphs

A Roman dominating function on a graph G = (V, E) is a function f : V ? {0, 1, 2}f : V \rightarrow \{0, 1, 2\} satisfying the condition that every vertex v for which f(v) = 0 is adjacent to at least one vertex u for which f(u) = 2. The weight of a Roman dominating function is the value w(f) = ?_{v ? V} f(v)w(f) = \sum_{v\in V} f(v). The Roman domination number of a graph G, denoted by _gR(G)_{\gamma R}(G), equals the minimum weight of a Roman dominating function on G. The Roman domination subdivision number sd_gR(G)sd_{\gamma R}(G) is the minimum number of edges that must be subdivided (each edge in G can be subdivided at most once) in order to increase the Roman domination number. In this paper, first we establish upper bounds on the Roman domination subdivision number for arbitrary graphs in terms of vertex degree. Then we present several different conditions on G which are sufficient to imply that $1 \leq sd_{\gamma R}(G) \leq 3$1 \leq sd_{\gamma R}(G) \leq 3. Finally, we show that the Roman domination subdivision number of a graph can be arbitrarily large.     

Singular limits for 2-dimensional elliptic problem involving exponential nonlinearity with nonlinear gradient term

Given a bounded open regular set W ì \mathbbR²{\Omega \subset \mathbb{R}^2} and x₁, x₂, ?, x_m ? W{x_1, x_2, \ldots, x_m \in \Omega}, we give a sufficient condition for the problem

On Bernstein–Walsh-type lemmas in regions of the complex plane

Let G ì \mathbb C G \subset {\mathbb C} be a finite region bounded by a Jordan curve L: = ?G L: = \partial G , let W: = \textext[`(G)] \Omega : = {\text{ext}}\bar{G} (with respect to [`(\mathbb C)] {\overline {\mathbb C}} ), $ \Delta : = \left\{ {z:\left| z \right| > 1} \right\} $ \Delta : = \left\{ {z:\left| z \right| > 1} \right\} , and let w = F(z) w = \Phi (z) be a univalent conformal mapping of Ω onto Δ normalized by $ \Phi \left( \infty \right) = \infty, \;\Phi '\left( \infty \right) > 0 $ \Phi \left( \infty \right) = \infty, \;\Phi '\left( \infty \right) > 0 . By A _p (G); p > 0; we denote a class of functions f analytic in G and satisfying the condition

Uniqueness of a solution to the problem of atmosphere dynamics

We consider the model of atmosphere dynamics and prove the uniqueness of a solution in a bounded domain W ì \mathbbR³ \Omega \subset {\mathbb{R}^3} in the space V(Q) of weak solutions equipped with the finite norm

A Quantitative Version of the Non-Abelian Idempotent Theorem

Suppose that G is a finite group and f is a complex-valued function on G. f induces a (left) convolution operator from L ²(G) to L ²(G) by g ? f *g{g \mapsto f \ast g} where

Linear independence of time-frequency shifts under a generalized Schrödinger representation

Let r_\mathbbR \rho_{\mathbb{R}} be the classical Schrödinger representation of the Heisenberg group and let L \Lambda be a finite subset of \mathbbR ×\mathbbR \mathbb{R} \times \mathbb{R} . The question of when the set of functions {t ? e^{2 pi y t} f(t + x) = (r_\mathbbR(x, y, 1) f)(t) : (x, y) ? L} \{t \mapsto e^{2 \pi i y t} f(t + x) = (\rho_{\mathbb{R}}(x, y, 1) f)(t) : (x, y) \in \Lambda\} is linearly independent for all f ? L²(\mathbbR), f 1 0 f \in L^2(\mathbb{R}), f \neq 0 , arises from Gabor analysis. We investigate an analogous problem for locally compact abelian groups G. For a finite subset L \Lambda of G ×[^(G)] G \times \widehat{G} and r_G \rho_G the Schrödinger representation of the Heisenberg group associated with G, we give a necessary and in many situations also sufficient condition for the set {r_G (x, w, 1)f : (x, w) ? L} \{\rho_G (x, w, 1)f : (x, w) \in \Lambda\} to be linearly independent for all f ? L²(G), f 1 0 f \in L^2(G), f \neq 0 .     

Recurrent approach to Blaschke’s problem

We have obtained a recurrence formula $I_{n+3} = \frac{4(n+3)}{\pi(n+4)}VI_{n+1}We have obtained a recurrence formula I_n+3 = \frac4(n+3)p(n+4)VI_n+1I_{n+3} = \frac{4(n+3)}{\pi(n+4)}VI_{n+1} for integro-geometric moments in the case of a circle with the area V, where I_n = ò\nolimits_{K ?G}sⁿd GI_n = \int \nolimits_{K \cap G}\sigma^{n}{\rm d} G, while in the case of a convex domain K with the perimeter S and area V the recurrence formula

In+3 = \frac8(n+3)V2(n+1)(n+4)p[\fracd In+1d V - \fracIn+1S \fracd Sd V ] I_{n+3} = \frac{8(n+3)V^2}{(n+1)(n+4)\pi}\Big[\frac{{\rm d} I_{n+1}}{{\rm d} V} - \frac{I_{n+1}}{S} \frac{{\rm d} S}{{\rm d} V} \Big]      11. Numerical verification of condition for approximately midconvex functions      P. Spurek  Ja. Tabor 《Aequationes Mathematicae》2012,83(3):223-237 Let X be a normed space and V be a convex subset of X. Let a\colon \mathbbR+ ? \mathbbR+{\alpha \colon \mathbb{R}_+ \to \mathbb{R}_+}. A function f \colon V ? \mathbbR{f \colon V \to \mathbb{R}} is called α-midconvex if f (\fracx + y2)-\fracf(x) + f(y)2 ￡ a(||x - y||)    for  x, y ? V.f \left(\frac{x + y}{2}\right)-\frac{f(x) + f(y)}{2}\leq \alpha(\|x - y\|)\quad {\rm for} \, x, y \in V.      12. Dual partially harmonic tensors and Brauer-Schur-Weyl duality      J. Hu 《Transformation Groups》2010,15(2):333-370 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 \mathfrakBn(f) \mathfrak{B}_n^{(f)} be the two-sided ideal of the Brauer algebra \mathfrakBn( - 2m ) {\mathfrak{B}_n}\left( { - 2m} \right) over K generated by e 1 e 3⋯ e 2f-1 where 0 ≤ f ≤ [n/2]. Let HTf ?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 dimHTf ?n \mathcal{H}\mathcal{T}_f^{ \otimes n} and dim \textEn\textdK\textSp(V)( V ?n \mathord / \vphantom V ?n V ?n V ?n\mathfrakBn(f) ) {\text{En}}{{\text{d}}_{K{\text{Sp}}(V)}}\left( {{{{V^{ \otimes n}}} \mathord{\left/{\vphantom {{{V^{ \otimes n}}} {{V^{ \otimes n}}}}} \right.} {{V^{ \otimes n}}}}\mathfrak{B}_n^{(f)}} \right) are both independent of K, and the natural homomorphism from \mathfrakBn( - 2m ) \mathord / \vphantom ( - 2m ) \mathfrakBn(f) \mathfrakBn(f) {\mathfrak{B}_n}{{\left( { - 2m} \right)} \mathord{\left/{\vphantom {{\left( { - 2m} \right)} {\mathfrak{B}_n^{(f)}}}} \right.} {\mathfrak{B}_n^{(f)}}} to \textEn\textdK\textSp(V)( V ?n \mathord / \vphantom V ?n V ?n V ?n\mathfrakBn(f) ) {\text{En}}{{\text{d}}_{K{\text{Sp}}(V)}}\left( {{{{V^{ \otimes n}}} \mathord{\left/{\vphantom {{{V^{ \otimes n}}} {{V^{ \otimes n}}}}} \right.} {{V^{ \otimes n}}}}\mathfrak{B}_n^{(f)}} \right) is always surjective. We show that HTf ?n \mathcal{H}\mathcal{T}_f^{ \otimes n} has a Weyl filtration and is isomorphic to the dual of V ?n\mathfrakBn(f) \mathord / \vphantom V ?n\mathfrakBn(f) V V ?n\mathfrakBn( f + 1 ) {{{{V^{ \otimes n}}\mathfrak{B}_n^{(f)}} \mathord{\left/{\vphantom {{{V^{ \otimes n}}\mathfrak{B}_n^{(f)}} V}} \right.} V}^{ \otimes n}}\mathfrak{B}_n^{\left( {f + 1} \right)} as an \textSp(V) - ( \mathfrakBn( - 2m ) \mathord / \vphantom ( - 2m ) \mathfrakBn( f + 1 ) \mathfrakBn( f + 1 ) ) {\text{Sp}}(V) - \left( {{\mathfrak{B}_n}{{\left( { - 2m} \right)} \mathord{\left/{\vphantom {{\left( { - 2m} \right)} {\mathfrak{B}_n^{\left( {f + 1} \right)}}}} \right.} {\mathfrak{B}_n^{\left( {f + 1} \right)}}}} \right) -bimodule. We obtain an \textSp(V) - \mathfrakBn {\text{Sp}}(V) - {\mathfrak{B}_n} -bimodules filtration of V ⊗n such that each successive quotient is isomorphic to some ?( l) ?zg,l\mathfrakBn \nabla \left( \lambda \right) \otimes {z_{g,\lambda }}{\mathfrak{B}_n} with λ ⊢ n 2g, ℓ(λ)≤m and 0 ≤ g ≤ [n/2], where ∇(λ) is the co-Weyl module associated to λ and z g,λ is an explicitly constructed maximal vector of weight λ. As a byproduct, we show that each right \mathfrakBn {\mathfrak{B}_n} -module zg,l\mathfrakBn {z_{g,\lambda }}{\mathfrak{B}_n} is integrally defined and stable under base change.      13. Smooth Universal Taylor Series      Ch. Kariofillis  Ch. Konstadilaki  V. Nestoridis 《Monatshefte für Mathematik》2006,87(5):249-257 Let W í \Bbb C\Omega \subseteq {\Bbb C} be a simply connected domain in \Bbb C{\Bbb C} , such that {￥} è[ \Bbb C \[`(W)]]\{\infty\} \cup [ {\Bbb C} \setminus \bar{\Omega}] is connected. If g is holomorphic in Ω and every derivative of g extends continuously on [`(W)]\bar{\Omega} , then we write g ∈ A∞ (Ω). For g ∈ A∞ (Ω) and z ? [`(W)]\zeta \in \bar{\Omega} we denote SN (g,z)(z) = ?Nl=0\fracg(l) (z)l ! (z-z)lS_N (g,\zeta )(z)= \sum^{N}_{l=0}\frac{g^{(l)} (\zeta )}{l !} (z-\zeta )^l . We prove the existence of a function f ∈ A∞(Ω), such that the following hold: i)  There exists a strictly increasing sequence μn ∈ {0, 1, 2, …}, n = 1, 2, …, such that, for every pair of compact sets Γ, Δ ⊂ [`(W)]\bar{\Omega} and every l ∈ {0, 1, 2, …} we have supz ? G supw ? D \frac?l?wl Smn ( f,z) (w)-f(l)(w) ? 0,    as n ? + ￥    and\sup_{\zeta \in \Gamma} \sup_{w \in \Delta} \frac{\partial^l}{\partial w^l} S_{\mu_ n} (\,f,\zeta) (w)-f^{(l)}(w) \rightarrow 0, \hskip 7.8pt {\rm as}\,n \rightarrow + \infty \quad {\rm and} ii)  For every compact set K ì \Bbb CK \subset {\Bbb C} with K?[`(W)] = ?K\cap \bar{\Omega} =\emptyset and Kc connected and every function h: K? \Bbb Ch: K\rightarrow {\Bbb C} continuous on K and holomorphic in K0, there exists a subsequence { m￠n }￥n=1\{ \mu^\prime _n \}^{\infty}_{n=1} of {mn }￥n=1\{\mu_n \}^{\infty}_{n=1} , such that, for every compact set L ì [`(W)]L \subset \bar{\Omega} we have supz ? L supz ? K Sm￠n ( f,z)(z)-h(z) ? 0,    as  n? + ￥.\sup_{\zeta \in L} \sup_{z\in K} S_{\mu^\prime _n} (\,f,\zeta )(z)-h(z) \rightarrow 0, \hskip 7.8pt {\rm as} \, n\rightarrow + \infty .       14. Isomorphisms preserving invariants      Gerald W. Schwarz 《Geometriae Dedicata》2009,143(1):1-6 Let V and W be finite dimensional real vector spaces and let G ì GL(V){G \subset {\rm GL}(V)} and H ì GL(W){H \subset {\rm GL}(W)} be finite subgroups. Assume for simplicity that the actions contain no reflections. Let Y and Z denote the real algebraic varieties corresponding to \mathbbR[V]G{\mathbb{R}[V]^G} and \mathbbR[W]H{\mathbb{R}[W]^H}, respectively. If V and W are quasi-isomorphic, i.e., if there is a linear isomorphism L : V → W such that L sends G-orbits to H-orbits and L −1 sends H-orbits to G-orbits, then L induces an isomorphism of Y and Z. Conversely, suppose that f : Y → Z is a germ of a diffeomorphism sending the origin of Y to the origin of Z. Then we show that V and W are quasi-isomorphic, This result is closely related to a theorem of Strub [8], for which we give a new proof. We also give a new proof of a result of Kriegl et al. [3] on lifting of biholomorphisms of quotient spaces.      15. On the Roman Bondage Number of Planar Graphs      Nader Jafari Rad  Lutz Volkmann 《Graphs and Combinatorics》2011,27(4):531-538 A Roman dominating function on a graph G is a function f : V(G) → {0, 1, 2} satisfying the condition that every vertex u for which f (u) = 0 is adjacent to at least one vertex v for which f (v) = 2. The weight of a Roman dominating function is the value f (V(G)) = ?u ? V(G) f (u){f (V(G)) = \sum_{u\in V(G)} f (u)}. The Roman domination number, γ R (G), of G is the minimum weight of a Roman dominating function on G. The Roman bondage number b R (G) of a graph G with maximum degree at least two is the minimum cardinality of all sets E￠ í E(G){E^{\prime} \subseteq E(G)} for which γ R (G − E′) > γ R (G). In this paper we present different bounds on the Roman bondage number of planar graphs.      16. Multiple recurrence and nilsequences      Vitaly Bergelson  Bernard Host  Bryna Kra  Imre Ruzsa 《Inventiones Mathematicae》2005,160(2):261-303 Aiming at a simultaneous extension of Khintchine(X,X,m,T)(X,\mathcal{X},\mu,T) and a set A ? XA\in\mathcal{X} of positive measure, the set of integers n such that A T^2nA T^knA)(A)^k+1-\mu(A{\cap} T^{n}A{\cap} T^{2n}A{\cap} \ldots{\cap} T^{kn}A)>\mu(A)^{k+1}-\epsilon is syndetic. The size of this set, surprisingly enough, depends on the length (k+1) of the arithmetic progression under consideration. In an ergodic system, for k=2 and k=3, this set is syndetic, while for kòf(x)f(Tnx)f(T2nx)? f(Tknx)  dm(x)\int{f(x)f(T^{n}x)f(T^{2n}x){\ldots} f(T^{kn}x) \,d\mu(x)} , where k and n are positive integers and f is a bounded measurable function. We also derive combinatorial consequences of these results, for example showing that for a set of integers E with upper Banach density d*(E)>0 and for all {n ? \mathbbZ\colon d*(E?(E+n)?(E+2n)?(E+3n)) > d*(E)4-e}\big\{n\in\mathbb{Z}{\colon} d^*\big(E\cap(E+n)\cap(E+2n)\cap(E+3n)\big) > d^*(E)^4-\epsilon\big\}      17. The Number of Independent Sets in a Graph with Small Maximum Degree      David Galvin  Yufei Zhao 《Graphs and Combinatorics》2011,27(2):177-186 Let ind(G) be the number of independent sets in a graph G. We show that if G has maximum degree at most 5 then ind(G) ￡ 2iso(G) ?uv ? E(G) ind(Kd(u),d(v))\frac1d(u)d(v){\rm ind}(G) \leq 2^{{\rm iso}(G)} \prod_{uv \in E(G)} {\rm ind}(K_{d(u),d(v)})^{\frac{1}{d(u)d(v)}}      18. Region of Variability for Exponentially Convex Univalent Functions      Ponnusamy Saminathan  Vasudevarao Allu  M. Vuorinen 《Complex Analysis and Operator Theory》2011,5(3):955-966 For ${\alpha\in\mathbb C{\setminus}\{0\}}For a ? \mathbb C\{0}{\alpha\in\mathbb C{\setminus}\{0\}} let E(a){\mathcal{E}(\alpha)} denote the class of all univalent functions f in the unit disk \mathbbD{\mathbb{D}} and is given by f(z)=z+a2z2+a3z3+?{f(z)=z+a_2z^2+a_3z^3+\cdots}, satisfying ${\rm Re}\left (1+ \frac{zf'(z)}{f'(z)}+\alpha zf'(z)\right ) > 0 \quad {\rm in }\,{\mathbb D}.${\rm Re}\left (1+ \frac{zf'(z)}{f'(z)}+\alpha zf'(z)\right ) > 0 \quad {\rm in }\,{\mathbb D}.      19. Quantization of Lie bialgebras and shuffle algebras of Lie algebras      B. Enriquez 《Selecta Mathematica, New Series》2001,7(3):321-407 To any field \Bbb K \Bbb K of characteristic zero, we associate a set (\mathbbK) (\mathbb{K}) and a group G0(\Bbb K) {\cal G}_0(\Bbb K) . Elements of (\mathbbK) (\mathbb{K}) are equivalence classes of families of Lie polynomials subject to associativity relations. Elements of G0(\Bbb K) {\cal G}_0(\Bbb K) are universal automorphisms of the adjoint representations of Lie bialgebras over \Bbb K \Bbb K . We construct a bijection between (\mathbbK)×G0(\Bbb K) (\mathbb{K})\times{\cal G}_0(\Bbb K) and the set of quantization functors of Lie bialgebras over \Bbb K \Bbb K . This construction involves the following steps.? 1) To each element v \varpi of (\mathbbK) (\mathbb{K}) , we associate a functor \frak a?\operatornameShv(\frak a) \frak a\mapsto\operatorname{Sh}^\varpi(\frak a) from the category of Lie algebras to that of Hopf algebras; \operatornameShv(\frak a) \operatorname{Sh}^\varpi(\frak a) contains U\frak a U\frak a .? 2) When \frak a \frak a and \frak b \frak b are Lie algebras, and r\frak a\frak b ? \frak a?\frak b r_{\frak a\frak b} \in\frak a\otimes\frak b , we construct an element ?v (r\frak a\frak b) {\cal R}^{\varpi} (r_{\frak a\frak b}) of \operatornameShv(\frak a)?\operatornameShv(\frak b) \operatorname{Sh}^\varpi(\frak a)\otimes\operatorname{Sh}^\varpi(\frak b) satisfying quasitriangularity identities; in particular, ?v(r\frak a\frak b) {\cal R}^\varpi(r_{\frak a\frak b}) defines a Hopf algebra morphism from \operatornameShv(\frak a)* \operatorname{Sh}^\varpi(\frak a)^* to \operatornameShv(\frak b) \operatorname{Sh}^\varpi(\frak b) .? 3) When \frak a = \frak b \frak a = \frak b and r\frak a ? \frak a?\frak a r_\frak a\in\frak a\otimes\frak a is a solution of CYBE, we construct a series rv(r\frak a) \rho^\varpi(r_\frak a) such that ?v(rv(r\frak a)) {\cal R}^\varpi(\rho^\varpi(r_\frak a)) is a solution of QYBE. The expression of rv(r\frak a) \rho^\varpi(r_\frak a) in terms of r\frak a r_\frak a involves Lie polynomials, and we show that this expression is unique at a universal level. This step relies on vanishing statements for cohomologies arising from universal algebras for the solutions of CYBE.? 4) We define the quantization of a Lie bialgebra \frak g \frak g as the image of the morphism defined by ?v(rv(r)) {\cal R}^\varpi(\rho^\varpi(r)) , where r ? \mathfrakg ?\mathfrakg* r \in \mathfrak{g} \otimes \mathfrak{g}^* .<\P>      20. A convexity theorem for multiplicative functions      Pierre Maréchal 《Optimization Letters》2012,6(2):357-362 We generalize a well known convexity property of the multiplicative potential function. We prove that, given any convex function g : \mathbbRm ? [0, ￥]{g : \mathbb{R}^m \rightarrow [{0}, {\infty}]}, the function ${({\rm \bf x},{\rm \bf y})\mapsto g({\rm \bf x})^{1+\alpha}{\bf y}^{-{\bf \beta}}, {\bf y}>{\bf 0}}${({\rm \bf x},{\rm \bf y})\mapsto g({\rm \bf x})^{1+\alpha}{\bf y}^{-{\bf \beta}}, {\bf y}>{\bf 0}}, is convex if β ≥ 0 and α ≥ β 1 + ··· + β n . We also provide further generalization to functions of the form (x,y1, . . . , yn)? g(x)1+af1(y1)-b1 ···fn(yn)-bn{({\rm \bf x},{\rm \bf y}_1, . . . , {y_n})\mapsto g({\rm \bf x})^{1+\alpha}f_1({\rm \bf y}_1)^{-\beta_1} \cdot \cdot \cdot f_n({\rm \bf y}_n)^{-\beta_n} } with the f k concave, positively homogeneous and nonnegative on their domains.      设为首页 | 免责声明 | 关于勤云 | 加入收藏 Copyright©北京勤云科技发展有限公司  京ICP备09084417号

Numerical verification of condition for approximately midconvex functions

Let X be a normed space and V be a convex subset of X. Let a\colon \mathbbR₊ ? \mathbbR₊{\alpha \colon \mathbb{R}_+ \to \mathbb{R}_+}. A function f \colon V ? \mathbbR{f \colon V \to \mathbb{R}} is called α-midconvex if

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

Smooth Universal Taylor Series

Let W í \Bbb C\Omega \subseteq {\Bbb C} be a simply connected domain in \Bbb C{\Bbb C} , such that {￥} è[ \Bbb C \[`(W)]]\{\infty\} \cup [ {\Bbb C} \setminus \bar{\Omega}] is connected. If g is holomorphic in Ω and every derivative of g extends continuously on [`(W)]\bar{\Omega} , then we write g ∈ A^∞ (Ω). For g ∈ A^∞ (Ω) and z ? [`(W)]\zeta \in \bar{\Omega} we denote S_N (g,z)(z) = ?^N_l=0\fracg^(l) (z)l ! (z-z)^lS_N (g,\zeta )(z)= \sum^{N}_{l=0}\frac{g^{(l)} (\zeta )}{l !} (z-\zeta )^l . We prove the existence of a function f ∈ A^∞(Ω), such that the following hold:

Isomorphisms preserving invariants

Let V and W be finite dimensional real vector spaces and let G ì GL(V){G \subset {\rm GL}(V)} and H ì GL(W){H \subset {\rm GL}(W)} be finite subgroups. Assume for simplicity that the actions contain no reflections. Let Y and Z denote the real algebraic varieties corresponding to \mathbbR[V]^G{\mathbb{R}[V]^G} and \mathbbR[W]^H{\mathbb{R}[W]^H}, respectively. If V and W are quasi-isomorphic, i.e., if there is a linear isomorphism L : V → W such that L sends G-orbits to H-orbits and L ⁻¹ sends H-orbits to G-orbits, then L induces an isomorphism of Y and Z. Conversely, suppose that f : Y → Z is a germ of a diffeomorphism sending the origin of Y to the origin of Z. Then we show that V and W are quasi-isomorphic, This result is closely related to a theorem of Strub [8], for which we give a new proof. We also give a new proof of a result of Kriegl et al. [3] on lifting of biholomorphisms of quotient spaces.     

On the Roman Bondage Number of Planar Graphs

A Roman dominating function on a graph G is a function f : V(G) → {0, 1, 2} satisfying the condition that every vertex u for which f (u) = 0 is adjacent to at least one vertex v for which f (v) = 2. The weight of a Roman dominating function is the value f (V(G)) = ?_{u ? V(G)} f (u){f (V(G)) = \sum_{u\in V(G)} f (u)}. The Roman domination number, γ _R (G), of G is the minimum weight of a Roman dominating function on G. The Roman bondage number b _R (G) of a graph G with maximum degree at least two is the minimum cardinality of all sets E^￠ í E(G){E^{\prime} \subseteq E(G)} for which γ _R (G − E′) > γ _R (G). In this paper we present different bounds on the Roman bondage number of planar graphs.     

Multiple recurrence and nilsequences

Aiming at a simultaneous extension of Khintchine(X,X,m,T)(X,\mathcal{X},\mu,T) and a set A ? XA\in\mathcal{X} of positive measure, the set of integers n such that A T^2nA T^knA)(A)^k+1-\mu(A{\cap} T^{n}A{\cap} T^{2n}A{\cap} \ldots{\cap} T^{kn}A)>\mu(A)^{k+1}-\epsilon is syndetic. The size of this set, surprisingly enough, depends on the length (k+1) of the arithmetic progression under consideration. In an ergodic system, for k=2 and k=3, this set is syndetic, while for kòf(x)f(Tⁿx)f(T²ⁿx)? f(T^knx)  dm(x)\int{f(x)f(T^{n}x)f(T^{2n}x){\ldots} f(T^{kn}x) \,d\mu(x)} , where k and n are positive integers and f is a bounded measurable function. We also derive combinatorial consequences of these results, for example showing that for a set of integers E with upper Banach density d^*(E)>0 and for all {n ? \mathbbZ\colon d^*(E?(E+n)?(E+2n)?(E+3n)) > d^*(E)⁴-e}\big\{n\in\mathbb{Z}{\colon} d^*\big(E\cap(E+n)\cap(E+2n)\cap(E+3n)\big) > d^*(E)^4-\epsilon\big\}     

The Number of Independent Sets in a Graph with Small Maximum Degree

Let ind(G) be the number of independent sets in a graph G. We show that if G has maximum degree at most 5 then

Region of Variability for Exponentially Convex Univalent Functions

For ${\alpha\in\mathbb C{\setminus}\{0\}}For a ? \mathbb C\{0}{\alpha\in\mathbb C{\setminus}\{0\}} let E(a){\mathcal{E}(\alpha)} denote the class of all univalent functions f in the unit disk \mathbbD{\mathbb{D}} and is given by f(z)=z+a₂z²+a₃z³+?{f(z)=z+a_2z^2+a_3z^3+\cdots}, satisfying

${\rm Re}\left (1+ \frac{zf'(z)}{f'(z)}+\alpha zf'(z)\right ) > 0 \quad {\rm in }\,{\mathbb D}.${\rm Re}\left (1+ \frac{zf'(z)}{f'(z)}+\alpha zf'(z)\right ) > 0 \quad {\rm in }\,{\mathbb D}.      19. Quantization of Lie bialgebras and shuffle algebras of Lie algebras      B. Enriquez 《Selecta Mathematica, New Series》2001,7(3):321-407 To any field \Bbb K \Bbb K of characteristic zero, we associate a set (\mathbbK) (\mathbb{K}) and a group G0(\Bbb K) {\cal G}_0(\Bbb K) . Elements of (\mathbbK) (\mathbb{K}) are equivalence classes of families of Lie polynomials subject to associativity relations. Elements of G0(\Bbb K) {\cal G}_0(\Bbb K) are universal automorphisms of the adjoint representations of Lie bialgebras over \Bbb K \Bbb K . We construct a bijection between (\mathbbK)×G0(\Bbb K) (\mathbb{K})\times{\cal G}_0(\Bbb K) and the set of quantization functors of Lie bialgebras over \Bbb K \Bbb K . This construction involves the following steps.? 1) To each element v \varpi of (\mathbbK) (\mathbb{K}) , we associate a functor \frak a?\operatornameShv(\frak a) \frak a\mapsto\operatorname{Sh}^\varpi(\frak a) from the category of Lie algebras to that of Hopf algebras; \operatornameShv(\frak a) \operatorname{Sh}^\varpi(\frak a) contains U\frak a U\frak a .? 2) When \frak a \frak a and \frak b \frak b are Lie algebras, and r\frak a\frak b ? \frak a?\frak b r_{\frak a\frak b} \in\frak a\otimes\frak b , we construct an element ?v (r\frak a\frak b) {\cal R}^{\varpi} (r_{\frak a\frak b}) of \operatornameShv(\frak a)?\operatornameShv(\frak b) \operatorname{Sh}^\varpi(\frak a)\otimes\operatorname{Sh}^\varpi(\frak b) satisfying quasitriangularity identities; in particular, ?v(r\frak a\frak b) {\cal R}^\varpi(r_{\frak a\frak b}) defines a Hopf algebra morphism from \operatornameShv(\frak a)* \operatorname{Sh}^\varpi(\frak a)^* to \operatornameShv(\frak b) \operatorname{Sh}^\varpi(\frak b) .? 3) When \frak a = \frak b \frak a = \frak b and r\frak a ? \frak a?\frak a r_\frak a\in\frak a\otimes\frak a is a solution of CYBE, we construct a series rv(r\frak a) \rho^\varpi(r_\frak a) such that ?v(rv(r\frak a)) {\cal R}^\varpi(\rho^\varpi(r_\frak a)) is a solution of QYBE. The expression of rv(r\frak a) \rho^\varpi(r_\frak a) in terms of r\frak a r_\frak a involves Lie polynomials, and we show that this expression is unique at a universal level. This step relies on vanishing statements for cohomologies arising from universal algebras for the solutions of CYBE.? 4) We define the quantization of a Lie bialgebra \frak g \frak g as the image of the morphism defined by ?v(rv(r)) {\cal R}^\varpi(\rho^\varpi(r)) , where r ? \mathfrakg ?\mathfrakg* r \in \mathfrak{g} \otimes \mathfrak{g}^* .<\P>      20. A convexity theorem for multiplicative functions      Pierre Maréchal 《Optimization Letters》2012,6(2):357-362 We generalize a well known convexity property of the multiplicative potential function. We prove that, given any convex function g : \mathbbRm ? [0, ￥]{g : \mathbb{R}^m \rightarrow [{0}, {\infty}]}, the function ${({\rm \bf x},{\rm \bf y})\mapsto g({\rm \bf x})^{1+\alpha}{\bf y}^{-{\bf \beta}}, {\bf y}>{\bf 0}}${({\rm \bf x},{\rm \bf y})\mapsto g({\rm \bf x})^{1+\alpha}{\bf y}^{-{\bf \beta}}, {\bf y}>{\bf 0}}, is convex if β ≥ 0 and α ≥ β 1 + ··· + β n . We also provide further generalization to functions of the form (x,y1, . . . , yn)? g(x)1+af1(y1)-b1 ···fn(yn)-bn{({\rm \bf x},{\rm \bf y}_1, . . . , {y_n})\mapsto g({\rm \bf x})^{1+\alpha}f_1({\rm \bf y}_1)^{-\beta_1} \cdot \cdot \cdot f_n({\rm \bf y}_n)^{-\beta_n} } with the f k concave, positively homogeneous and nonnegative on their domains.

Quantization of Lie bialgebras and shuffle algebras of Lie algebras

To any field \Bbb K \Bbb K of characteristic zero, we associate a set (\mathbbK) (\mathbb{K}) and a group G₀(\Bbb K) {\cal G}_0(\Bbb K) . Elements of (\mathbbK) (\mathbb{K}) are equivalence classes of families of Lie polynomials subject to associativity relations. Elements of G₀(\Bbb K) {\cal G}_0(\Bbb K) are universal automorphisms of the adjoint representations of Lie bialgebras over \Bbb K \Bbb K . We construct a bijection between (\mathbbK)×G₀(\Bbb K) (\mathbb{K})\times{\cal G}_0(\Bbb K) and the set of quantization functors of Lie bialgebras over \Bbb K \Bbb K . This construction involves the following steps.? 1) To each element v \varpi of (\mathbbK) (\mathbb{K}) , we associate a functor \frak a?\operatornameSh^v(\frak a) \frak a\mapsto\operatorname{Sh}^\varpi(\frak a) from the category of Lie algebras to that of Hopf algebras; \operatornameSh^v(\frak a) \operatorname{Sh}^\varpi(\frak a) contains U\frak a U\frak a .? 2) When \frak a \frak a and \frak b \frak b are Lie algebras, and r_{\frak a\frak b} ? \frak a?\frak b r_{\frak a\frak b} \in\frak a\otimes\frak b , we construct an element ?^v (r_{\frak a\frak b}) {\cal R}^{\varpi} (r_{\frak a\frak b}) of \operatornameSh^v(\frak a)?\operatornameSh^v(\frak b) \operatorname{Sh}^\varpi(\frak a)\otimes\operatorname{Sh}^\varpi(\frak b) satisfying quasitriangularity identities; in particular, ?^v(r_{\frak a\frak b}) {\cal R}^\varpi(r_{\frak a\frak b}) defines a Hopf algebra morphism from \operatornameSh^v(\frak a)^* \operatorname{Sh}^\varpi(\frak a)^* to \operatornameSh^v(\frak b) \operatorname{Sh}^\varpi(\frak b) .? 3) When \frak a = \frak b \frak a = \frak b and r_\frak a ? \frak a?\frak a r_\frak a\in\frak a\otimes\frak a is a solution of CYBE, we construct a series r^v(r_\frak a) \rho^\varpi(r_\frak a) such that ?^v(r^v(r_\frak a)) {\cal R}^\varpi(\rho^\varpi(r_\frak a)) is a solution of QYBE. The expression of r^v(r_\frak a) \rho^\varpi(r_\frak a) in terms of r_\frak a r_\frak a involves Lie polynomials, and we show that this expression is unique at a universal level. This step relies on vanishing statements for cohomologies arising from universal algebras for the solutions of CYBE.? 4) We define the quantization of a Lie bialgebra \frak g \frak g as the image of the morphism defined by ?^v(r^v(r)) {\cal R}^\varpi(\rho^\varpi(r)) , where r ? \mathfrakg ?\mathfrakg^* r \in \mathfrak{g} \otimes \mathfrak{g}^* .<\P>     

A convexity theorem for multiplicative functions

We generalize a well known convexity property of the multiplicative potential function. We prove that, given any convex function g : \mathbbR^m ? [0, ￥]{g : \mathbb{R}^m \rightarrow [{0}, {\infty}]}, the function ${({\rm \bf x},{\rm \bf y})\mapsto g({\rm \bf x})^{1+\alpha}{\bf y}^{-{\bf \beta}}, {\bf y}>{\bf 0}}${({\rm \bf x},{\rm \bf y})\mapsto g({\rm \bf x})^{1+\alpha}{\bf y}^{-{\bf \beta}}, {\bf y}>{\bf 0}}, is convex if β ≥ 0 and α ≥ β ₁ + ··· + β _n . We also provide further generalization to functions of the form (x,y₁, . . . , y_n)? g(x)^1+af₁(y₁)^-b₁ ···f_n(y_n)^-b_n{({\rm \bf x},{\rm \bf y}_1, . . . , {y_n})\mapsto g({\rm \bf x})^{1+\alpha}f_1({\rm \bf y}_1)^{-\beta_1} \cdot \cdot \cdot f_n({\rm \bf y}_n)^{-\beta_n} } with the f _k concave, positively homogeneous and nonnegative on their domains.