Global classical solutions for reaction–diffusion systems with nonlinearities of exponential growth

The aim of this study is to prove global existence of classical solutions for systems of the form ${\frac{\partial u}{\partial t} -a \Delta u=-f(u,v)}The aim of this study is to prove global existence of classical solutions for systems of the form \frac?u?t -a Du=-f(u,v){\frac{\partial u}{\partial t} -a \Delta u=-f(u,v)} , \frac?v?t -b Dv=g(u,v){\frac{\partial v}{\partial t} -b \Delta v=g(u,v)} in (0, +∞) × Ω where Ω is an open bounded domain of class C ¹ in \mathbbRⁿ{\mathbb{R}^n}, a > 0, b > 0 and f, g are nonnegative continuously differentiable functions on [0, +∞) × [0, +∞) satisfying f (0, η) = 0, g(x,h) ￡ C j(x)e^ahb{g(\xi,\eta) \leq C \varphi(\xi)e^{\alpha {\eta^\beta}}} and g(ξ, η) ≤ ψ(η)f(ξ, η) for some constants C > 0, α > 0 and β ≥ 1 where j{\varphi} and ψ are any nonnegative continuously differentiable functions on [0, +∞) such that j(0)=0{\varphi(0)=0} and lim_{h? +￥}h^b-1y(h) = l{ \lim_{\eta \rightarrow +\infty}\eta^{\beta -1}\psi(\eta)= \ell} where ℓ is a nonnegative constant. The asymptotic behavior of the global solutions as t goes to +∞ is also studied. For this purpose, we use the appropriate techniques which are based on semigroups, energy estimates and Lyapunov functional methods.     

Self-similar structure on intersection of Cartesian product of Cantor triadic sets with their translations

Let C be the classical Cantor triadic set. For a,b ? [-1,1]{\alpha,\beta\in [-1,1]} , a sufficient and necessary condition for (C×C)?(C×C+(a,b)){(C\times C)\cap (C\times C+(\alpha,\beta))} to be self-similar is obtained.     

Compact Toeplitz Operators for Weighted Bergman Spaces on Bounded Symmetric Domains

Let W ì \mathbb C^d{\Omega \subset{\mathbb C}^{d}} be an irreducible bounded symmetric domain of type (r, a, b) in its Harish–Chandra realization. We study Toeplitz operators Tⁿ_g{T^{\nu}_{g}} with symbol g acting on the standard weighted Bergman space H_n²{H_\nu^2} over Ω with weight ν. Under some conditions on the weights ν and ν ₀ we show that there exists C(ν, ν ₀) > 0, such that the Berezin transform [(g)\tilde]_n0{\tilde{g}_{\nu_{0}}} of g with respect to H²_n0{H^2_{\nu_0}} satisfies:

Operator-Lipschitz functions in Schatten–von Neumann classes

This paper resolves a number of problems in the perturbation theory of linear operators, linked with the 45-year-old conjecure of M. G. Kreĭn. In particular, we prove that every Lipschitz function is operator-Lipschitz in the Schatten–von Neumann ideals S ^α , 1 < α < ∞. Alternatively, for every 1 < α < ∞, there is a constant c _α > 0 such that

On the 3-Torsion Part of the Homology of the Chessboard Complex

Let 1 ≤ m ≤ n. We prove various results about the chessboard complex M _m,n , which is the simplicial complex of matchings in the complete bipartite graph K _m,n . First, we demonstrate that there is nonvanishing 3-torsion in [(H)\tilde]_d(\sf M_m,n; \mathbb Z){{\tilde{H}_d({\sf M}_{m,n}; {\mathbb Z})}} whenever \fracm+n-43 ￡ d ￡ m-4{{\frac{m+n-4}{3}\leq d \leq m-4}} and whenever 6 ≤ m < n and d = m − 3. Combining this result with theorems due to Friedman and Hanlon and to Shareshian and Wachs, we characterize all triples (m, n, d ) satisfying [(H)\tilde]_d (\sf M_m,n; \mathbb Z) 1 0{{\tilde{H}_d \left({\sf M}_{m,n}; {\mathbb Z}\right) \neq 0}}. Second, for each k ≥ 0, we show that there is a polynomial f _k (a, b) of degree 3k such that the dimension of [(H)\tilde]_k+a+2b-2 (\sf M_{k+a+3b-1,k+2a+3b-1}; \mathbb Z₃){{\tilde{H}_{k+a+2b-2}}\,\left({{\sf M}_{k+a+3b-1,k+2a+3b-1}}; \mathbb Z_{3}\right)}, viewed as a vector space over \mathbbZ₃{\mathbb{Z}_3}, is at most f _k (a, b) for all a ≥ 0 and b ≥ k + 2. Third, we give a computer-free proof that [(H)\tilde]₂ (\sf M_5,5; \mathbb Z) @ \mathbb Z₃{{\tilde{H}_2 ({\sf M}_{5,5}; \mathbb {Z})\cong \mathbb Z_{3}}}. Several proofs are based on a new long exact sequence relating the homology of a certain subcomplex of M _m,n to the homology of M _m-2,n-1 and M _m-2,n-3.     

On the distribution of powers of a complex number

Let α be a complex number of modulus strictly greater than 1, and let ξ ≠ 0 and ν be two complex numbers. We investigate the distribution of the sequence ξ α ⁿ  + ν, n = 0, 1, 2, . . . , modulo ${\mathbb{Z}[i],}Let α be a complex number of modulus strictly greater than 1, and let ξ ≠ 0 and ν be two complex numbers. We investigate the distribution of the sequence ξ α ⁿ  + ν, n = 0, 1, 2, . . . , modulo \mathbbZ[i],{\mathbb{Z}[i],} where i=?{-1}{i=\sqrt{-1}} and \mathbbZ[i]=\mathbbZ+i\mathbbZ{\mathbb{Z}[i]=\mathbb{Z}+i\mathbb{Z}} is the ring of Gaussian integers. For any z ? \mathbbC,{z\in \mathbb{C},} one may naturally call the quantity z modulo \mathbbZ[i]{\mathbb{Z}[i]} the fractional part of z and write {z} for this, in general, complex number lying in the unit square S:={z ? \mathbbC:0 ￡ \mathfrakR(z),\mathfrakJ(z) < 1 }{S:=\{z\in\mathbb{C}:0\leq \mathfrak{R}(z),\mathfrak{J}(z) <1 \}}. We first show that if α is a complex non-real number which is algebraic over \mathbbQ{\mathbb{Q}} and satisfies |α| > 1 then there are two limit points of the sequence {ξ α ⁿ  +ν}, n = 0, 1, 2, . . . , which are ‘far’ from each other (in terms of α only), except when α is an algebraic integer whose conjugates over \mathbbQ(i){\mathbb{Q}(i)} all lie in the unit disc |z| ≤  1 and x ? \mathbbQ(a,i).{\xi\in\mathbb{Q}(\alpha,i).} Then we prove a result in the opposite direction which implies that, for any fixed a ? \mathbbC{\alpha\in\mathbb{C}} of modulus greater than 1 and any sequence z_n ? \mathbbC,n=0,1,2,...,{z_n\in\mathbb{C},n=0,1,2,\dots,} there exists x ? \mathbbC{\xi \in \mathbb{C}} such that the numbers ξ α ⁿ −z _n , n = 0, 1, 2, . . . , all lie ‘far’ from the lattice \mathbbZ[i]{\mathbb{Z}[i]}. In particular, they all can be covered by a union of small discs with centers at (1+i)/2+\mathbbZ[i]{(1+i)/2+\mathbb{Z}[i]} if |α| is large.     

The Jacobi-Dunkl transform on ℝ and the convolution product on new spaces of distributions

In this work, we consider the Jacobi-Dunkl operator Λ _α,β , a 3 b 3 \frac-12\alpha\geq\beta\geq\frac{-1}{2} , a 1 \frac-12\alpha\neq\frac{-1}{2} , on ℝ. The eigenfunction Y_l^a,b\Psi_{\lambda}^{\alpha,\beta} of this operator permits to define the Jacobi-Dunkl transform. The main idea in this paper is to introduce and study the Jacobi-Dunkl transform and the Jacobi-Dunkl convolution product on new spaces of distributions     

Essential norms of some singular integral operators

Let a\alpha and b\beta be bounded measurable functions on the unit circle T. The singular integral operator S_a, bS_{\alpha ,\,\beta } is defined by S_a, b f = aPf + bQf(f ? L² (T))S_{\alpha ,\,\beta } f = \alpha Pf + \beta Qf(f \in L^2 (T)) where P is an analytic projection and Q is a co-analytic projection. In the previous paper, the norm of S_a, bS_{\alpha ,\,\beta } was calculated in general, using a,b\alpha ,\beta and a[`(b)] + H<sup>￥</sup>\alpha \bar {\beta } + H^\infty where H<sup>￥</sup>H^\infty is a Hardy space in L<sup>￥</sup> (T).L^\infty (T). In this paper, the essential norm ||S<sub>a, b</sub> ||<sub>e</sub>\Vert S_{\alpha ,\,\beta } \Vert _e of S<sub>a, b</sub>S_{\alpha ,\,\beta } is calculated in general, using a[`(b)] + H^￥ + C\alpha \bar {\beta } + H^\infty + C where C is a set of all continuous functions on T. Hence if a[`(b)]\alpha \bar {\beta } is in H^￥ + CH^\infty + C then ||S_a, b ||_e = max(||a||_￥ , ||b||_￥ ).\Vert S_{\alpha ,\,\beta } \Vert _e = \max (\Vert \alpha \Vert _\infty , \Vert \beta \Vert _\infty ). This gives a known result when a, b\alpha , \beta are in C.     

Gromov-Witten theory of orbicurves, the space of tri-polynomials and symplectic field theory of Seifert fibrations

We compute, with symplectic field theory (SFT) techniques, the Gromov-Witten theory of ${\mathbb{P}^1_{\alpha_1,\ldots,\alpha_a}}We compute, with symplectic field theory (SFT) techniques, the Gromov-Witten theory of \mathbbP¹_a1,?,aa{\mathbb{P}^1_{\alpha_1,\ldots,\alpha_a}}, i.e., the complex projective line with a orbifold points. A natural subclass of these orbifolds, the ones with polynomial quantum cohomology, gives rise to a family of (polynomial) Frobenius manifolds and integrable systems of Hamiltonian PDEs, which extend the (dispersionless) bigraded Toda hierarchy (Carlet, The extended bigraded toda hierarchy. arXiv preprint arXiv:math-ph/0604024). We then define a Frobenius structure on the spaces of polynomials in three complex variables of the form F(x, y, z) = −xyz + P ₁(x) + P ₂(y) + P ₃(z) which contains as special cases the ones constructed on the space of Laurent polynomials (Dubrovin, Geometry of 2D topologica field theories. Integrable systems and quantum groups, Springer Lecture Notes in Mathematics 1620:120–348, 1996; Milanov and Tseng, The space of Laurent polynomials, \mathbbP¹{\mathbb{P}^1}-orbifolds, and integrable hierarchies. preprint arXiv:math/0607012v3 [math.AG]). We prove a mirror theorem stating that these Frobenius structures are isomorphic to the ones found before for polynomial \mathbbP¹{\mathbb{P}^1}-orbifolds. Finally we link rational SFT of Seifert fibrations over \mathbbP¹_a,b,c{\mathbb{P}^1_{a,b,c}} with orbifold Gromov-Witten invariants of the base, extending a known result (Bourgeois, A Morse-Bott approach to contact homology. Ph.D. dissertation, Stanford University, 2002) valid in the smooth case.     

Meromorphic representations of products of complex arithmetic progressions

Given a complex arithmetic sequence, a + nd, where a,d ? \mathbbC{a,d \in \mathbb{C}}, d ≠ 0, and n ? \mathbbZ⁺{n \in \mathbb{Z}^+}, define P^a_d(a+nd): = a(a+d)?(a+nd){\Pi^a_d(a+nd):= a(a+d)\cdots (a+nd)}. At first P_d^a{\Pi_d^a} is only defined on the terms of the arithmetic sequence. In this article, P_d^a{\Pi_d^a} is extended to a meromorphic function on \mathbbC \{-d,-2d,...}{\mathbb{C} \setminus\{-d,-2d,\dots\}} which satisfies the functional equation, P_d^a(z+d)=(z+d)P_d^a(z){\Pi_d^a(z+d)=(z+d)\Pi_d^a(z)}. This extension is represented in three ways: in terms of the classical P{\Pi} function; as a limit involving a Pochhammer-type symbol; as an infinite product involving a generalized Euler constant. The infinite product representation leads to a natural Multiplication Formula for the functions P_d^a{\Pi_d^a}, which, in turn, provides an easy way to prove Gauss’s Multiplication Formula for the Γ function.     

When is the Uvarov transformation positive definite?

Let L\cal{L} be a positive definite bilinear functional, then the Uvarov transformation of L\cal{L} is given by  U(p,q) = L(p,q) + m p(a)[`(q)](a<sup>-1</sup>) +[`(m)] p([`(a)]<sup>-1</sup>)\,\mathcal{U}(p,q) = \mathcal{L}(p,q) + m\,p(\alpha)\overline{q}(\alpha^{-1}) + \overline{m}\,p(\overline{\alpha}^{-1}) [`(q)]([`(a)])\overline{q}(\overline{\alpha}) where $|\alpha| > 1, m \in \mathbb{C}$|\alpha| > 1, m \in \mathbb{C}. In this paper we analyze conditions on m for U\cal{U} to be positive definite in the linear space of polynomials of degree less than or equal to n. In particular, we show that m has to lie inside a circle in the complex plane defined by α, n and the moments associated with L\cal{L}. We also give an upper bound for the radius of this circle that depends only on α and n. This and other conditions on m are visualized for some examples.     

Representation results for law invariant time consistent functions

We show that the only dynamic risk measure which is law invariant, time consistent and relevant is the entropic one. Moreover, a real valued function c on L ^∞(a, b) is normalized, strictly monotone, continuous, law invariant, time consistent and has the Fatou property if and only if it is of the form ${c(X)=u^{-1} \circ\mathbb {E}[u(X)]}We show that the only dynamic risk measure which is law invariant, time consistent and relevant is the entropic one. Moreover, a real valued function c on L ^∞(a, b) is normalized, strictly monotone, continuous, law invariant, time consistent and has the Fatou property if and only if it is of the form c(X)=u^-1 °\mathbb E[u(X)]{c(X)=u^{-1} \circ\mathbb {E}[u(X)]} , where u:(a, b) ? \mathbb R{u:(a, b) \to {\mathbb R}} is a strictly increasing, continuous function. The proofs rely on a discrete version of the Skorohod embedding theorem.     

A Generalized Radon Transform on the Plane

A new generalized Radon transform R _α, β on the plane for functions even in each variable is defined which has natural connections with the bivariate Hankel transform, the generalized biaxially symmetric potential operator Δ _α, β , and the Jacobi polynomials P_k^(b, a)(t)P_{k}^{(\beta,\,\alpha)}(t). The transform R _α, β and its dual R_a, b^*R_{\alpha,\,\beta}^{\ast} are studied in a systematic way, and in particular, the generalized Fuglede formula and some inversion formulas for R _α, β for functions in L_a, b^p(\mathbbR²₊)L_{\alpha,\,\beta}^{p}(\mathbb{R}^{2}_{+}) are obtained in terms of the bivariate Hankel–Riesz potential. Moreover, the transform R _α, β is used to represent the solutions of the partial differential equations Lu:=?_j=1^ma_jD_a, b^ju=fLu:=\sum_{j=1}^{m}a_{j}\Delta_{\alpha,\,\beta}^{j}u=f with constant coefficients a _j and the Cauchy problem for the generalized wave equation associated with the operator Δ _α, β . Another application is that, by an invariant property of R _α, β , a new product formula for the Jacobi polynomials of the type P_k^(b, a)(s)C_2k^a+b+1(t)=còòP_k^(b, a)P_{k}^{(\beta,\,\alpha)}(s)C_{2k}^{\alpha+\beta+1}(t)=c\int\!\!\int P_{k}^{(\beta,\,\alpha)} is obtained.     

Bi-Parametric Potentials, Relevant Function Spaces and Wavelet-Like Transforms

We introduce new potential type operators J^a_b = (E+(-D)^b/2)^-a/bJ^{\alpha}_{\beta} = (E+(-\Delta)^{\beta/2})^{-\alpha/\beta}, (α > 0, β > 0), and bi-parametric scale of function spaces H^a_{b, p}(\mathbbRⁿ)H^{\alpha}_{\beta , p}({\mathbb{R}}^n) associated with J^α_β. These potentials generalize the classical Bessel potentials (for β = 2), and Flett potentials (for β = 1). A characterization of the spaces H^a_{b, p}(\mathbbRⁿ)H^{\alpha}_{\beta, p}({\mathbb{R}}^n) is given with the aid of a special wavelet–like transform associated with a β-semigroup, which generalizes the well-known Gauss-Weierstrass semigroup (for β = 2) and the Poisson one (for β = 1).     

Proportionally modular numerical semigroups generated by arithmetic progressions

A numerical semigroup is a submonoid of \({{\mathbb {Z}}}_{\ge 0}\) whose complement in \({{\mathbb {Z}}}_{\ge 0}\) is finite. For any set of positive integers a, b, c, the numerical semigroup S(a, b, c) formed by the set of solutions of the inequality \(ax \bmod {b} \le cx\) is said to be proportionally modular. For any interval \([\alpha ,\beta ]\), \(S\big ([\alpha ,\beta ]\big )\) is the submonoid of \({{\mathbb {Z}}}_{\ge 0}\) obtained by intersecting the submonoid of \({{\mathbb {Q}}}_{\ge 0}\) generated by \([\alpha ,\beta ]\) with \({{\mathbb {Z}}}_{\ge 0}\). For the numerical semigroup S generated by a given arithmetic progression, we characterize a, b, c and \(\alpha ,\beta \) such that both S(a, b, c) and \(S\big ([\alpha ,\beta ]\big )\) equal S.

     

Abelian and Hamiltonian groupoids

In this work, we investigate some groupoids that are Abelian algebras and Hamiltonian algebras. An algebra is Abelian if for every polynomial operation and for all elements a, b, [`(c)] \bar{c} , [`(d)] \bar{d} the implication t( a,[`(c)] ) = t( a,[`(d)] ) T t( b,[`(c)] ) = t( b,[`(d)] ) t\left( {a,\bar{c}} \right) = t\left( {a,\bar{d}} \right) \Rightarrow t\left( {b,\bar{c}} \right) = t\left( {b,\bar{d}} \right) holds. An algebra is Hamiltonian if every subalgebra is a block of some congruence on the algebra. R. J. Warne in 1994 described the structure of the Abelian semigroups. In this work, we describe the Abelian groupoids with identity, the Abelian finite quasigroups, and the Abelian semigroups S such that abS = aS and Sba = Sa for all a, b ∈ S. We prove that a finite Abelian quasigroup is a Hamiltonian algebra. We characterize the Hamiltonian groupoids with identity and semigroups under the condition of Abelianity of these algebras.     

Projective Freeness of Algebras of Real Symmetric Functions

Let \mathbb Dⁿ:={z=(z₁,?, z_n) ? \mathbb Cⁿ:|z_j| < 1,   j=1,?, n}{\mathbb {D}^n:=\{z=(z_1,\ldots, z_n)\in \mathbb {C}^n:|z_j| < 1, \;j=1,\ldots, n\}}, and let [`(\mathbbD)]ⁿ{\overline{\mathbb{D}}^n} denote its closure in \mathbb Cⁿ{\mathbb {C}^n}. Consider the ring

Maximum IPP Codes of Length 3

Let Q be an alphabet with q elements. For any code C over Q of length n and for any two codewords a = (a ₁, . . . , a _n ) and b = (b ₁, . . . , b _n ) in C, let ${D({\bf a, b}) = \{(x_1, . . . , x_n) \in {Q^n} : {x_i} \in \{a_i, b_i\}\,{\rm for}\,1 \leq i \leq n\}}Let Q be an alphabet with q elements. For any code C over Q of length n and for any two codewords a = (a ₁, . . . , a _n ) and b = (b ₁, . . . , b _n ) in C, let D(a, b) = {(x₁, . . . , x_n) ? Qⁿ : x_i ? {a_i, b_i} for 1 ￡ i ￡ n}{D({\bf a, b}) = \{(x_1, . . . , x_n) \in {Q^n} : {x_i} \in \{a_i, b_i\}\,{\rm for}\,1 \leq i \leq n\}}. Let C^* = è_{a, b ? C}D(a, b){C^* = {{\bigcup}_{\rm {a,\,b}\in{C}}}D({\bf a, b})}. The code C is said to have the identifiable parent property (IPP) if, for any x ? C^*{{\rm {\bf x}} \in C^*}, ?_{x ? D(a, b)}{a, b} 1 ?{{\bigcap}_{{\rm x}{\in}D({\rm a,\,b})}\{{\bf a, b}\}\neq \emptyset} . Codes with the IPP were introduced by Hollmann et al [J. Combin. Theory Ser. A 82 (1998) 21–133]. Let F(n, q) = max{|C|: C is a q-ary code of length n with the IPP}.T? and Safavi-Naini [SIAM J. Discrete Math. 17 (2004) 548–570] showed that 3q + 6 - 6 é?{q+1}ù ￡ F(3, q) ￡ 3q + 6 - é6 ?{q+1}ù{3q + 6 - 6 \lceil\sqrt{q+1}\rceil \leq F(3, q) \leq 3q + 6 - \lceil 6 \sqrt{q+1}\rceil}, and determined F (3, q) precisely when q ≤ 48 or when q can be expressed as r ² + 2r or r ² + 3r +2 for r ≥ 2. In this paper, we establish a precise formula of F(3, q) for q ≥ 24. Moreover, we construct IPP codes of size F(3, q) for q ≥ 24 and show that, for any such code C and any x ? C^*{{\rm {\bf x}} \in C^*}, one can find, in constant time, a ? C{{\rm {\bf a}} \in C} such that if x ? D (c, d){{\rm {\bf x}} \in D ({\bf c, d})} then a ? {c, d}{{\rm {\bf a}} \in \{{\rm {\bf c, d}}\}}.     

Iterated Function Systems and Łojasiewicz–Siciak Condition of Green’s Function

A compact set K ì \mathbbC^N{K \subset \mathbb{C}}^{N} satisfies (ŁS) if it is polynomially convex and there exist constants B,β > 0 such that