Compact Hankel Operators on Generalized Bergman Spaces of the Polydisc

Let ${\vartheta}$ be a measure on the polydisc ${\mathbb{D}^n}$ which is the product of n regular Borel probability measures so that ${\vartheta([r,1)^n\times\mathbb{T}^n) >0 }$ for all 0 < r < 1. The Bergman space ${A^2_{\vartheta}}$ consists of all holomorphic functions that are square integrable with respect to ${\vartheta}$ . In one dimension, it is well known that if f is continuous on the closed disc ${\overline{\mathbb{D}}}$ , then the Hankel operator H _f is compact on ${A^2_\vartheta}$ . In this paper we show that for n ≥ 2 and f a continuous function on ${{\overline{\mathbb{D}}}^n}$ , H _f is compact on ${A^2_\vartheta}$ if and only if there is a decomposition f = h + g, where h belongs to ${A^2_\vartheta}$ and ${\lim_{z\to\partial\mathbb{D}^n}g(z)=0}$ .     

Composed products and factors of cyclotomic polynomials over finite fields

Let q = p ^s be a power of a prime number p and let ${\mathbb {F}_{\rm q}}$ be a finite field with q elements. This paper aims to demonstrate the utility and relation of composed products to other areas such as the factorization of cyclotomic polynomials, construction of irreducible polynomials, and linear recurrence sequences over ${\mathbb {F}_{\rm q}}$ . In particular we obtain the explicit factorization of the cyclotomic polynomial ${\Phi_{2^nr}}$ over ${\mathbb {F}_{\rm q}}$ where both r ≥ 3 and q are odd, gcd(q, r) = 1, and ${n\in \mathbb{N}}$ . Previously, only the special cases when r = 1, 3, 5, had been achieved. For this we make the assumption that the explicit factorization of ${\Phi_r}$ over ${\mathbb {F}_{\rm q}}$ is given to us as a known. Let ${n = p_1^{e_1}p_2^{e_2}\cdots p_s^{e_s}}$ be the factorization of ${n \in \mathbb{N}}$ into powers of distinct primes p _i , 1 ≤ i ≤ s. In the case that the multiplicative orders of q modulo all these prime powers ${p_i^{e_i}}$ are pairwise coprime, we show how to obtain the explicit factors of ${\Phi_{n}}$ from the factors of each ${\Phi_{p_i^{e_i}}}$ . We also demonstrate how to obtain the factorization of ${\Phi_{mn}}$ from the factorization of ${\Phi_n}$ when q is a primitive root modulo m and ${{\rm gcd}(m, n) = {\rm gcd}(\phi(m),{\rm ord}_n(q)) = 1.}$ Here ${\phi}$ is the Euler’s totient function, and ord _n (q) denotes the multiplicative order of q modulo n. Moreover, we present the construction of a new class of irreducible polynomials over ${\mathbb {F}_{\rm q}}$ and generalize a result due to Varshamov (Soviet Math Dokl 29:334–336, 1984).     

Trivectors yielding spreads in PG(5, 2)

Given an alternating trilinear form ${T\in {\rm Alt}(\times^{3}V_{6})}$ on V ₆ = V(6, 2) let ${\mathcal{L}_{T}}$ denote the set of those lines ${\langle a, b \rangle}$ in ${{\rm PG}(5,2)=\mathbb{P}V_{6}}$ which are T-singular, satisfying, that is, T(a, b, x) = 0 for all ${x\in {\rm PG}(5, 2).}$ If ${\mathcal{L}_{21}}$ is a Desarguesian line-spread in PG(5, 2) it is shown that ${\mathcal{L}_{T}=\mathcal{L}_{21}}$ for precisely three choices T ₁,T ₂,T ₃ of T, which moreover satisfy T ₁ + T ₂ + T ₃ = 0. For ${T\in\mathcal{T}:=\{T_{1},T_{2},T_{3}\}}$ the ${\mathcal{G}_{T}}$ -orbits of flats in PG(5, 2) are determined, where ${\mathcal{G}_{T}\cong {\rm SL}(3,4).2}$ denotes the stabilizer of T under the action of GL(6, 2). Further, for a representative U of each ${\mathcal{G}_{T}}$ -orbit, the T-associate U ^# is also determined, where by definition $$U^{\#}=\{v\in {\rm PG}(5,2)\, |\, T(u_{1},u_{2},v) = 0\, \,{\rm for\,all }\, \, u_{1},u_{2}\in U\}$$ .     

Matrix Representations of the Low Order Real Clifford Algebras

In this paper we construct the matrix subalgebras ${L_{r,s}(\mathbb{R})}$ of the real matrix algebra ${M_{2^{r+s}} (\mathbb{R})}$ when 2 ≤ r + s ≤ 3 and we show that each ${L_{r,s}(\mathbb{R})}$ is isomorphic to the real Clifford algebra ${\mathcal{C} \ell_{r,s}}$ . In particular, we prove that the algebras ${L_{r,s}(\mathbb{R})}$ can be induced from ${L_{0,n}(\mathbb{R})}$ when 2 ≤ r + s = n ≤ 3 by deforming vector generators of ${L_{0,n}(\mathbb{R})}$ to multiply the specific diagonal matrices. Also, we construct two subalgebras ${T_4(\mathbb{C})}$ and ${T_2(\mathbb{H})}$ of matrix algebras ${M_4(\mathbb{C})}$ and ${M_2(\mathbb{H})}$ , respectively, which are both isomorphic to the Clifford algebra ${\mathcal{C} \ell_{0,3}}$ , and apply them to obtain the properties related to the Clifford group Γ_0,3.     

Higher Order Transverse Bundles and Riemannian Foliations

The purpose of this paper is to prove that each of the following conditions is equivalent to that the foliation ${{\mathcal{F}}}$ is riemannian: (1) the lifted foliation ${{\mathcal{F}}^{r}}$ on the r-transverse bundle ${\nu^{r}{\mathcal{F}}}$ is riemannian for an r ≥  1; (2) the foliation ${{\mathcal{F}}_{0}^{r}}$ on a slashed ${\nu _{\ast }^{r}{\mathcal{F}}}$ is riemannian and vertically exact for an r ≥  1; (3) there is a positively admissible transverse lagrangian on a ${\nu _{\ast }^{r}{\mathcal{F}}}$ , for an r ≥  1. Analogous results have been proved previously for normal jet vector bundles.     

Restrictions of generalized Verma modules to symmetric pairs

We initiate a new line of investigation on branching problems for generalized Verma modules with respect to reductive symmetric pairs $ \left( {\mathfrak{g},\mathfrak{g}'} \right) $ . In general, Verma modules may not contain any simple module when restricted to a reductive subalgebra. In this article we give a necessary and sufficient condition on the triple $ \left( {\mathfrak{g},\mathfrak{g}',\mathfrak{p}} \right) $ such that the restriction $ {\left. X \right|_{\mathfrak{g}'}} $ always contains simple $ \mathfrak{g}' $ -modules for any $ \mathfrak{g} $ -module X lying in the parabolic BGG category $ {\mathcal{O}^\mathfrak{p}} $ attached to a parabolic subalgebra $ \mathfrak{p} $ of $ \mathfrak{g} $ . Formulas are derived for the Gelfand?CKirillov dimension of any simple module occurring in a simple generalized Verma module. We then prove that the restriction $ {\left. X \right|_{\mathfrak{g}'}} $ is generically multiplicity-free for any $ \mathfrak{p} $ and any $ X \in {\mathcal{O}^\mathfrak{p}} $ if and only if $ \left( {\mathfrak{g},\mathfrak{g}'} \right) $ is isomorphic to (A _n , A _n-1), (B _n , D _n ), or (D _n+1, B _n ). Explicit branching laws are also presented.     

On {\mathbb{F}_q} -Rational Structure of Nilpotent Orbits in the Witt Algebra

Let ${\mathfrak{g}=W_1}$ be the p-dimensional Witt algebra over an algebraically closed field ${k=\overline{\mathbb{F}}_q}$ , where p > 3 is a prime and q is a power of p. Let G be the automorphism group of ${\mathfrak{g}}$ . The Frobenius morphism F _G (resp. ${F_\mathfrak{g}}$ ) can be defined naturally on G (resp. ${\mathfrak{g}}$ ). In this paper, we determine the ${F_\mathfrak{g}}$ -stable G-orbits in ${\mathfrak{g}}$ . Furthermore, the number of ${\mathbb{F}_q}$ -rational points in each ${F_\mathfrak{g}}$ -stable orbit is precisely given. Consequently, we obtain the number of ${\mathbb{F}_q}$ -rational points in the nilpotent variety.     

Extinction profile of the logarithmic diffusion equation

Let ${N \geq 3}$ and u be the solution of u _t = Δ log u in ${\mathbb{R}^N \times (0, T)}$ with initial value u ₀ satisfying ${B_{k_1}(x, 0) \leq u_{0} \leq B_{k_2}(x, 0)}$ for some constants k ₁ > k ₂ > 0 where ${B_k(x, t) = 2(N - 2)(T - t)_{+}^{N/(N - 2)}/(k + (T - t)_{+}^{2/(N - 2)}|x|^{2})}$ is the Barenblatt solution for the equation and ${u_0 - B_{k_0} \in L^{1}(\mathbb{R}^{N})}$ for some constant k ₀ > 0 if ${N \geq 4}$ . We give a new different proof on the uniform convergence and ${L^1(\mathbb{R}^N)}$ convergence of the rescaled function ${\tilde{u}(x, s) = (T - t)^{-N/(N - 2)}u(x/(T - t)^{-1/(N - 2)}, t), s = -{\rm log}(T - t)}$ , on ${\mathbb{R}^N}$ to the rescaled Barenblatt solution ${\tilde{B}_{k_0}(x) = 2(N - 2)/(k_0 + |x|^{2})}$ for some k ₀ > 0 as ${s \rightarrow \infty}$ . When ${N \geq 4, 0 \leq u_0(x) \leq B_{k_0}(x, 0)}$ in ${\mathbb{R}^N}$ , and ${|u_0(x) - B_{k_0}(x, 0)| \leq f \in L^{1}(\mathbb{R}^{N})}$ for some constant k ₀ > 0 and some radially symmetric function f, we also prove uniform convergence and convergence in some weighted L ¹ space in ${\mathbb{R}^N}$ of the rescaled solution ${\tilde{u}(x, s)}$ to ${\tilde{B}_{k_0}(x)}$ as ${s \rightarrow \infty}$ .     

Lax embeddings of the Hermitian unital

In this paper, we prove that every lax generalized Veronesean embedding of the Hermitian unital ${\mathcal{U}}$ of ${\mathsf{PG}(2,\mathbb{L}), \mathbb{L}}$ a quadratic extension of the field ${\mathbb{K}}$ and ${|\mathbb{K}| \geq 3}$ , in a ${\mathsf{PG}(d,\mathbb{F})}$ , with ${\mathbb{F}}$ any field and d ≥ 7, such that disjoint blocks span disjoint subspaces, is the standard Veronesean embedding in a subgeometry ${\mathsf{PG}(7,\mathbb{K}^{\prime})}$ of ${\mathsf{PG}(7,\mathbb{F})}$ (and d = 7) or it consists of the projection from a point ${p \in \mathcal{U}}$ of ${\mathcal{U}{\setminus} \{p\}}$ from a subgeometry ${\mathsf{PG}(7,\mathbb{K}^{\prime})}$ of ${\mathsf{PG}(7,\mathbb{F})}$ into a hyperplane ${\mathsf{PG}(6,\mathbb{K}^{\prime})}$ . In order to do so, when ${|\mathbb{K}| >3 }$ we strongly use the linear representation of the affine part of ${\mathcal{U}}$ (the line at infinity being secant) as the affine part of the generalized quadrangle ${\mathsf{Q}(4,\mathbb{K})}$ (the solid at infinity being non-singular); when ${|\mathbb{K}| =3}$ , we use the connection of ${\mathcal{U}}$ with the generalized hexagon of order 2.     

One-radius results for supermedian functions on {\mathbb R^d} , d ≤ 2

A classical result states that every lower bounded superharmonic function on ${\mathbb{R}^{2}}$ is constant. In this paper the following (stronger) one-circle version is proven. If ${f : \mathbb{R}^{2} \to (-\infty,\infty]}$ is lower semicontinuous, lim inf_|x|→∞ f (x)/ ln |x| ≥ 0, and, for every ${x \in \mathbb{R}^{2}}$ , ${1/(2\pi) \int_0^{2\pi} f(x + r(x)e^{it}) \, dt \le f(x)}$ , where ${r : \mathbb{R}^{2} \to (0,\infty)}$ is continuous, ${{\rm sup}_{x \in \mathbb{R}^{2}} (r(x) - |x|) < \infty},$ , and ${{\rm inf}_{x \in \mathbb{R}^{2}} (r(x)-|x|)=-\infty}$ , then f is constant. Moreover, it is shown that, assuming r ≤ c| · | + M on ${\mathbb{R}^d}$ , d ≤ 2, and taking averages on ${\{y \in \mathbb{R}^{d} : |y-x| \le r(x)\}}$ , such a result of Liouville type holds for supermedian functions if and only if c ≤ c ₀, where c ₀ = 1, if d = 2, whereas 2.50 < c ₀ < 2.51, if d = 1.     

Nikodym Maximal Functions Associated with Variable Planes in {\mathbb{R}^{3}}

Given a vector field ${\mathfrak{a}}$ on ${\mathbb{R}^3}$ , we consider a mapping ${x\mapsto \Pi_{\mathfrak{a}}(x)}$ that assigns to each ${x\in\mathbb{R}^3}$ , a plane ${\Pi_{\mathfrak{a}}(x)}$ containing x, whose normal vector is ${\mathfrak{a}(x)}$ . Associated with this mapping, we define a maximal operator ${\mathcal{M}^{\mathfrak{a}}_N}$ on ${L^1_{loc}(\mathbb{R}^3)}$ for each ${N\gg 1}$ by $$\mathcal{M}^{\mathfrak{a}}_Nf(x)=\sup_{x\in\tau} \frac{1}{|\tau|} \int_{\tau}|f(y)|\,dy$$ where the supremum is taken over all 1/N ×? 1/N?× 1 tubes τ whose axis is embedded in the plane ${\Pi_\mathfrak{a}(x)}$ . We study the behavior of ${\mathcal{M}^{\mathfrak{a}}_N}$ according to various vector fields ${\mathfrak{a}}$ . In particular, we classify the operator norms of ${\mathcal{M}^{\mathfrak{a}}_N}$ on ${L^2(\mathbb{R}^3)}$ when ${\mathfrak{a}(x)}$ is the linear function of the form (a ₁₁ x ₁?+?a ₂₁ x ₂, a ₁₂ x ₁?+?a ₂₂ x ₂, 1). The operator norm of ${\mathcal{M}^\mathfrak{a}_N}$ on ${L^2(\mathbb{R}^3)}$ is related with the number given by $$D=(a_{12}+a_{21})^2-4a_{11}a_{22}.$$      

Scaling relationship between the copositive cone and Parrilo’s first level approximation

We investigate the relation between the cone ${\mathcal{C}^{n}}$ of n × n copositive matrices and the approximating cone ${\mathcal{K}_{n}^{1}}$ introduced by Parrilo. While these cones are known to be equal for n ≤ 4, we show that for n ≥ 5 they are not equal. This result is based on the fact that ${\mathcal{K}_{n}^{1}}$ is not invariant under diagonal scaling. We show that for any copositive matrix which is not the sum of a nonnegative and a positive semidefinite matrix we can find a scaling which is not in ${\mathcal{K}_{n}^{1}}$ . In fact, we show that if all scaled versions of a matrix are contained in ${\mathcal{K}_{n}^{r}}$ for some fixed r, then the matrix must be in ${\mathcal{K}_{n}^{0}}$ . For the 5 × 5 case, we show the more surprising result that we can scale any copositive matrix X into ${\mathcal{K}_{5}^{1}}$ and in fact that any scaling D such that ${(DXD)_{ii} \in \{0,1\}}$ for all i yields ${DXD \in \mathcal{K}_{5}^{1}}$ . From this we are able to use the cone ${\mathcal{K}_{5}^{1}}$ to check if any order 5 matrix is copositive. Another consequence of this is a complete characterisation of ${\mathcal{C}^{5}}$ in terms of ${\mathcal{K}_{5}^{1}}$ . We end the paper by formulating several conjectures.     

Characterization of (generalized) Lie derivations on {\mathcal{J}}-subspace lattice algebras by local action

Let ${\mathcal{L}}$ be a ${\mathcal{J}}$ -subspace lattice on a Banach space X over the real or complex field ${\mathbb{F}}$ with dim X ≥ 2 and Alg ${\mathcal{L}}$ be the associated ${\mathcal{J}}$ -subspace lattice algebra. For any scalar ${\xi \in \mathbb{F}}$ , there is a characterization of any linear map L : Alg ${\mathcal{L} \rightarrow {\rm Alg} {\mathcal{L}}}$ satisfying ${L([A,B]_\xi) = [L(A),B]_\xi + [A,L(B)]_\xi}$ for any ${A, B \in{\rm Alg} {\mathcal{L}}}$ with AB = 0 (rep. ${[A,B]_ \xi = AB - \xi BA = 0}$ ) given. Based on these results, a complete characterization of (generalized) ξ-Lie derivations for all possible ξ on Alg ${\mathcal{L}}$ is obtained.     

A Geometry for the Set of Split Operators

We study the set ${\mathcal{X}}$ of split operators acting in the Hilbert space ${\mathcal{H}}$ : $$\mathcal{X}=\{T\in \mathcal{B}(\mathcal{H}): N(T)\cap R(T)=\{0\} \ {\rm and} \ N(T)+R(T)=\mathcal{H}\}.$$ Inside ${\mathcal{X}}$ , we consider the set ${\mathcal{Y}}$ : $$\mathcal{Y}=\{T\in\mathcal{X}: N(T)\perp R(T)\}.$$ Several characterizations of these sets are given. For instance ${T\in\mathcal{X}}$ if and only if there exists an oblique projection ${Q}$ whose range is N(T) such that T + Q is invertible, if and only if T posseses a commuting (necessarilly unique) pseudo-inverse S (i.e. TS = ST, TST = T and STS = S). Analogous characterizations are given for ${\mathcal{Y}}$ . Two natural maps are considered: $${\bf q}:\mathcal{X} \to \mathbb{Q}:=\{{\rm oblique \ projections \ in} \, \mathcal{H} \}, \ {\bf q}(T)=P_{R(T)//N(T)}$$ and $${\bf p}:\mathcal{Y} \to \mathbb{P}:=\{{\rm orthogonal \ projections \ in} \ \mathcal{H} \}, \ {\bf p}(T)=P_{R(T)}, $$ where ${P_{R(T)//N(T)}}$ denotes the projection onto R(T) with nullspace N(T), and P _R(T) denotes the orthogonal projection onto R(T). These maps are in general non continuous, subsets of continuity are studied. For the map q these are: similarity orbits, and the subsets ${\mathcal{X}_{c_k}\subset \mathcal{X}}$ of operators with rank ${k<\infty}$ , and ${\mathcal{X}_{F_k}\subset\mathcal{X}}$ of Fredholm operators with nullity ${k<\infty}$ . For the map p there are analogous results. We show that the interior of ${\mathcal{X}}$ is ${\mathcal{X}_{F_0}\cup\mathcal{X}_{F_1}}$ , and that ${\mathcal{X}_{c_k}}$ and ${\mathcal{X}_{F_k}}$ are arc-wise connected differentiable manifolds.     

Derived semidistributive lattices

For L a finite lattice, let ${\mathbb {C}(L) \subseteq L^2}$ denote the set of pairs γ = (γ ₀, γ ₁) such that ${\gamma_0 \prec \gamma_1}$ and order it as followsγ ≤ δ iff γ ₀ ≤ δ ₀, ${\gamma_{1} \nleq \delta_0,}$ and γ ₁ ≤ δ ₁. Let ${\mathbb {C}(L, \gamma)}$ denote the connected component of γ in this poset. Our main result states that, for any ${\gamma, \mathbb {C}(L, \gamma)}$ is a semidistributive lattice if L is semidistributive, and that ${\mathbb {C}(L, \gamma)}$ is a bounded lattice if L is bounded. Let ${\mathcal{S}_{n}}$ be the Permutohedron on n letters and let ${\mathcal{T}_{n}}$ be the Associahedron on n + 1 letters. Explicit computations show that ${\mathbb {C}(\mathcal{S}_{n}, \alpha) = \mathcal{S}_{n-1}}$ and ${\mathbb {C}(\mathcal {T}_n, \alpha) = \mathcal {T}_{n-1}}$ , up to isomorphism, whenever α1 is an atom of ${\mathcal{S}_{n}}$ or ${\mathcal{T}_{n}}$ . These results are consequences of new characterizations of finite join-semidistributive and of finite lower bounded lattices: (i) a finite lattice is join-semidistributive if and only if the projection sending ${\gamma \in \mathbb {C}(L)}$ to ${\gamma_0 \in L}$ creates pullbacks, (ii) a finite join-semidistributive lattice is lower bounded if and only if it has a strict facet labelling. Strict facet labellings, as defined here, are a generalization of the tools used by Caspard et al. to prove that lattices of finite Coxeter groups are bounded.     

Some Inverse Problems for d-Orthogonal Polynomials

This paper is devoted to the study of the generalized inverse problem of the left product of a d–dimensional vector form by a polynomial. The objective is to find the regularity conditions of the vector linear form ${\mathcal{V}}$ defined by ${\mathcal{U} = \mathcal{RV}}$ , where ${\mathcal{R}}$ is a d × d matrix polynomial. In such a case, the d–OPS {Q _n } _{n ≥ 0} corresponding to ${\mathcal{V}}$ is d–quasi– orthogonal of order l with respect to ${\mathcal{U}}$ . Secondly, we study the inverse problem: Given a d -OPS P _{n n ≥ 0} with respect to ${\mathcal{U}}$ , characterize the parameters ${\{a^{(i)}_{n}\}{^{dl}_{i=1}}}$ such that the sequence $${Q_{n+dl} = P_{n+dl} + \sum _{i=1}^{dl} a_{n+dl}^{(i)}P_{n+dl-i},\quad n\geq 0}$$ , is d–orthogonal with respect to some regular vector linear form ${\mathcal{V}}$ . As an immediate consequence, find the explicit relation between ${\mathcal{U}}$ and ${\mathcal{V}}$ .     

Stability of contact discontinuity for steady Euler system in infinite duct

In this paper, we prove stability of contact discontinuities for full Euler system. We fix a flat duct ${\mathcal{N}_0}$ of infinite length in ${\mathbb{R}^2}$ with width W ₀ and consider two uniform subsonic flow ${{U_l}^{\pm}=(u_l^{\pm}, 0, pl,\rho_l^{\pm})}$ with different horizontal velocity in ${\mathcal{N}_0}$ divided by a flat contact discontinuity ${\Gamma_{cd}}$ . And, we slightly perturb the boundary of ${\mathcal{N}_0}$ so that the width of the perturbed duct converges to ${W_0+\omega}$ for ${|\omega| < \delta}$ at ${x=\infty}$ for some ${\delta >0 }$ . Then, we prove that if the asymptotic state at left far field is given by ${{U_l}^{\pm}}$ , and if the perturbation of boundary of ${\mathcal{N}_0}$ and ${\delta}$ is sufficiently small, then there exists unique asymptotic state ${{U_r}^{\pm}}$ with a flat contact discontinuity ${\Gamma_{cd}^*}$ at right far field( ${x=\infty}$ ) and unique weak solution ${U}$ of the Euler system so that U consists of two subsonic flow with a contact discontinuity in between, and that U converges to ${{U_l}^{\pm}}$ and ${{U_r}^{\pm}}$ at ${x=-\infty}$ and ${x=\infty}$ respectively. For that purpose, we establish piecewise C ¹ estimate across a contact discontinuity of a weak solution to Euler system depending on the perturbation of ${\partial\mathcal{N}_0}$ and ${\delta}$ .     

Prescribed diagonal Schouten tensor in locally conformally flat manifolds

We consider the pseudo-euclidean space ${(\mathbb{R}^n, g)}$ , with n ≥  3 and ${g_{ij} = \delta_{ij} \varepsilon_i, \varepsilon_i = \pm 1}$ and tensors of the form ${T = \sum \nolimits_i \varepsilon_i f_i (x) dx_i^2}$ . In this paper, we obtain necessary and sufficient conditions for a diagonal tensor to admit a metric ${\bar{g}}$ , conformal to g, so that ${A_{\bar g}=T}$ , where ${A_{\bar g}}$ is the Schouten Tensor of the metric ${\bar g}$ . The solution to this problem is given explicitly for special cases for the tensor T, including a case where the metric ${\bar g}$ is complete on ${\mathbb{R}^n}$ . Similar problems are considered for locally conformally flat manifolds. As an application of these results we consider the problem of finding metrics ${\bar g}$ , conformal to g, such that ${\sigma_2 ({\bar g })}$ or ${\frac{\sigma_2 ({\bar g })}{\sigma_1 ({\bar g })}}$ is equal to a given function. We prove that for some functions, f ₁ and f ₂, there exist complete metrics ${\bar{g} = g/{\varphi^2}}$ , such that ${\sigma_2 ({\bar g }) = f_1}$ or ${\frac{\sigma_2 ({\bar g })}{\sigma_1 ({\bar g })} = f_2}$ .