\mathcal{D}-modules with finite support are semi-simple

Let \((R, \frak{m}, k_{R})\) be a regular local k-algebra satisfying the weak Jacobian criterion, and such that k _R /k is an algebraic field extension. Let \(\mathcal{D}_{R}\) be the ring of k-linear differential operators of R. We give an explicit decomposition of the \(\mathcal{D}_{R}\) -module \(\mathcal{D}_{R}/\mathcal{D}_{R} \frak{m}_{R}^{n+1}\) as a direct sum of simple modules, all isomorphic to \(\mathcal{D}_{R}/\mathcal{D}_{R} \frak{m}\) , where certain “Pochhammer” differential operators are used to describe generators of the simple components.     

Hall Polynomials and Composition Algebra of Representation Finite Algebras

Let \(\mathcal{A}\) be a representation finite algebra over finite field k such that the indecomposable \(\mathcal{A}\) -modules are determined by their dimension vectors and for each \(M, L \in ind(\mathcal{A})\) and \(N\in mod(\mathcal{A})\) , either \(F^{M}_{N L}=0\) or \(F^{M}_{L N}=0\) . We show that \(\mathcal{A}\) has Hall polynomials and the rational extension of its Ringel–Hall algebra equals the rational extension of its composition algebra. This result extend and unify some known results about Hall polynomials. As a consequence we show that if \(\mathcal{A}\) is a representation finite simply-connected algebra, or finite dimensional k-algebra such that there are no short cycles in \(mod(\mathcal{A})\) , or representation finite cluster tilted algebra, then \(\mathcal{A}\) has Hall polynomials and \(\mathcal{H}(\mathcal{A})\otimes_\mathbb{Z}Q=\mathcal{C}(\mathcal{A})\otimes_\mathbb{Z}Q\) .     

Classical limit of the tensor product of holomorphic discrete series representations

For three coadjoint orbits \(\mathcal {O}_1, \mathcal {O}_2\) and \(\mathcal {O}_3\) in \(\mathfrak {g}^*\) , the Corwin–Greenleaf function \(n(\mathcal {O}_1 \times \mathcal {O}_2, \mathcal {O}_3)\) is given by the number of \(G\) -orbits in \(\{(\lambda , \mu ) \in \mathcal {O}_1 \times \mathcal {O}_2 \, : \, \lambda + \mu \in \mathcal {O}_3 \}\) under the diagonal action. In the case where \(G\) is a simple Lie group of Hermitian type, we give an explicit formula of \(n(\mathcal {O}_1 \times \mathcal {O}_2, \mathcal {O}_3)\) for coadjoint orbits \(\mathcal {O}_1\) and \(\mathcal {O}_2\) that meet \(\left( [\mathfrak {k}, \mathfrak {k}] + \mathfrak {p}\right) ^{\perp }\) , and show that the formula is regarded as the ‘classical limit’ of a special case of Kobayashi’s multiplicity-free theorem (Progr. Math. 2007) in the branching law to symmetric pairs.     

On Graphlike k-Dissimilarity Vectors

Let \({\mathcal{G} = (G, w)}\) be a positive-weighted simple finite connected graph, that is, let G be a simple finite connected graph endowed with a function w from the set of edges of G to the set of positive real numbers. For any subgraph \({G^\prime}\) of G, we define \({w(G^\prime)}\) to be the sum of the weights of the edges of \({G^\prime}\) . For any i ₁, . . . , i _k vertices of G, let \({D_{\{i_1,..., i_k\}} (\mathcal{G})}\) be the minimum of the weights of the subgraphs of G connecting i ₁, . . . , i _k . The \({D_{\{i_1,..., i_k\}}(\mathcal{G})}\) are called k-weights of \({\mathcal{G}}\) . Given a family of positive real numbers parametrized by the k-subsets of {1, . . . , n}, \({{\{D_I\}_{I} \in { \{1,...,n\} \choose k}}}\) , we can wonder when there exist a weighted graph \({\mathcal{G}}\) (or a weighted tree) and an n-subset {1, . . . , n} of the set of its vertices such that \({D_I (\mathcal{G}) = D_I}\) for any \({I} \in { \{1,...,n\} \choose k}\) . In this paper we study this problem in the case k =  n?1.     

Anderson’s Orthogonality Catastrophe for One-Dimensional Systems

The overlap, \({\mathcal{D}_N}\) , between the ground state of N free fermions and the ground state of N fermions in an external potential in one spatial dimension is given by a generalized Gram determinant. An upper bound is \({\mathcal{D}_N\leq\exp(-\mathcal{I}_N)}\) with the so-called Anderson integral \({\mathcal{I}_N}\) . We prove, provided the external potential satisfies some conditions, that in the thermodynamic limit \({\mathcal{I}_N = \gamma\ln N + O(1)}\) as \({N\to\infty}\) . The coefficient γ > 0 is given in terms of the transmission coefficient of the one-particle scattering matrix. We obtain a similar lower bound on \({\mathcal{D}_N}\) concluding that \({\tilde{C} N^{-\tilde{\gamma}} \leq \mathcal{D}_N \leq CN^{-\gamma}}\) with constants C, \({\tilde{C}}\) , and \({\tilde{\gamma}}\) . In particular, \({\mathcal{D}_N\to 0}\) as \({N\to\infty}\) which is known as Anderson’s orthogonality catastrophe.     

Approximating minimum-cost edge-covers of crossing biset-families

Part of this paper appeared in the preliminary version [16]. An ordered pair ? = (S, S ₊) of subsets of a groundset V is called a biset if S ? S+; (V S ⁺;V S) is the co-biset of ?. Two bisets \(\hat X,\hat Y\) intersect if ^X X ∩ Y ≠ \(\not 0\) and cross if both X ∩ Y \(\not 0\) and X ⁺ ∪ Y ⁺ ≠= V. The intersection and the union of two bisets \(\hat X,\hat Y\) are defined by \(\hat X \cap \hat Y = (X \cap Y,X^ + \cap Y^ + )\) and \(\hat X \cup \hat Y = (X \cup Y,X^ + \cup Y^ + )\) . A biset-family \(\mathcal{F}\) is crossing (intersecting) if \(\hat X \cap \hat Y,\hat X \cup \hat Y \in \mathcal{F}\) for any \(\hat X,\hat Y \in \mathcal{F}\) that cross (intersect). A directed edge covers a biset ? if it goes from S to V S ⁺. We consider the problem of covering a crossing biset-family \(\mathcal{F}\) by a minimum-cost set of directed edges. While for intersecting \(\mathcal{F}\) , a standard primal-dual algorithm computes an optimal solution, the approximability of the case of crossing \(\mathcal{F}\) is not yet understood, as it includes several NP-hard problems, for which a poly-logarithmic approximation was discovered only recently or is not known. Let us say that a biset-family \(\mathcal{F}\) is k-regular if \(\hat X \cap \hat Y,\hat X \cup \hat Y \in \mathcal{F}\) for any \(\hat X,\hat Y \in \mathcal{F}\) with |V (X∪Y)≥k+1 that intersect. In this paper we obtain an O(log |V|)-approximation algorithm for arbitrary crossing \(\mathcal{F}\) if in addition both \(\mathcal{F}\) and the family of co-bisets of \(\mathcal{F}\) are k-regular, our ratios are: \(O\left( {\log \frac{{|V|}} {{|V| - k}}} \right) \) if |S ⁺ \ S| = k for all \(\hat S \in \mathcal{F}\) , and \(O\left( {\frac{{|V|}} {{|V| - k}}\log \frac{{|V|}} {{|V| - k}}} \right) \) if |S ⁺ \ S| = k for all \(\hat S \in \mathcal{F}\) . Using these generic algorithms, we derive for some network design problems the following approximation ratios: \(O\left( {\log k \cdot \log \tfrac{n} {{n - k}}} \right) \) for k-Connected Subgraph, and O(logk) \(\min \{ \tfrac{n} {{n - k}}\log \tfrac{n} {{n - k}},\log k\} \) for Subset k-Connected Subgraph when all edges with positive cost have their endnodes in the subset.     

Extensions and their Minimizations on the Sierpinski Gasket

We study the extension problem on the Sierpinski Gasket (SG). In the first part we consider minimizing the functional \(\mathcal {E}_{\lambda }(f) = \mathcal {E}(f,f) + \lambda \int f^{2} d \mu \) with prescribed values at a finite set of points where \(\mathcal {E}\) denotes the energy (the analog of \(\int |\nabla f|^{2}\) in Euclidean space) and μ denotes the standard self-similiar measure on SG. We explicitly construct the minimizer \(f(x) = \sum _{i} c_{i} G_{\lambda }(x_{i}, x)\) for some constants c _i , where G _λ is the resolvent for λ≥0. We minimize the energy over sets in SG by calculating the explicit quadratic form \(\mathcal {E}(f)\) of the minimizer f. We consider properties of this quadratic form for arbitrary sets and then analyze some specific sets. One such set we consider is the bottom row of a graph approximation of SG. We describe both the quadratic form and a discretized form in terms of Haar functions which corresponds to the continuous result established in a previous paper. In the second part, we study a similar problem this time minimizing \(\int _{SG} |\Delta f(x)|^{2} d \mu (x)\) for general measures. In both cases, by using standard methods we show the existence and uniqueness to the minimization problem. We then study properties of the unique minimizers.     

Erdős-Ginzburg-Ziv theorem for finite commutative semigroups

Let \(\mathcal{S}\) be a finite additively written commutative semigroup, and let \(\exp(\mathcal{S})\) be its exponent which is defined as the least common multiple of all periods of the elements in \(\mathcal{S}\) . For every sequence T of elements in \(\mathcal{S}\) (repetition allowed), let \(\sigma(T) \in\mathcal{S}\) denote the sum of all terms of T. Define the Davenport constant \(\mathsf{D}(\mathcal{S})\) of \(\mathcal{S}\) to be the least positive integer d such that every sequence T over \(\mathcal{S}\) of length at least d contains a proper subsequence T′ with σ(T′)=σ(T), and define \(\mathsf{E}(\mathcal{S})\) to be the least positive integer ? such that every sequence T over \(\mathcal{S}\) of length at least ? contains a subsequence T′ with \(|T|-|T'|= \lceil\frac{|\mathcal{S}|}{\exp(\mathcal{S})} \rceil \exp(\mathcal{S})\) and σ(T′)=σ(T). When \(\mathcal{S}\) is a finite abelian group, it is well known that \(\lceil\frac{|\mathcal{S}|}{\exp(\mathcal{S})} \rceil\exp (\mathcal{S})=|\mathcal{S}|\) and \(\mathsf{E}(\mathcal{S})=\mathsf{D}(\mathcal{S})+|\mathcal{S}|-1\) . In this paper we investigate whether \(\mathsf{E}(\mathcal{S})\leq \mathsf{D}(\mathcal{S})+ \lceil\frac{|\mathcal{S}|}{\exp(\mathcal {S})} \rceil \exp(\mathcal{S})-1\) holds true for all finite commutative semigroups \(\mathcal{S}\) . We provide a positive answer to the question above for some classes of finite commutative semigroups, including group-free semigroups, elementary semigroups, and archimedean semigroups with certain constraints.     

A weak generalized localization criterion for multiple Walsh-Fourier series with J k -lacunary sequence of rectangular partial sums

We obtain a criterion for the validity of weak generalized localization almost everywhere on an arbitrary set of positive measure \(\mathfrak{A}\) , \(\mathfrak{A} \subset \mathbb{I}^N = \{ x \in \mathbb{R}^N :0 \leqslant x_j < 1,j = 1,2, \ldots ,N\}\) , N ≥ 3 (in terms of the structure and geometry of the set \(\mathfrak{A}\) ), for multiple Walsh-Fourier series (summed over rectangles) of functions f in the classes \(L_p (\mathbb{I}^N )\) , p > 1 (i.e., necessary and sufficient conditions for the convergence almost everywhere of the Fourier series on some subset of positive measure \(\mathfrak{A}_1\) of the set \(\mathfrak{A}\) , when the function expanded in a series equals zero on \(\mathfrak{A}\) ), in the case when the rectangular partial sums S _n (x; f) of this series have indices n = (n ₁, …, n _N ) ∈ ? ^N in which some components are elements of (single) lacunary sequences.     

Tail asymptotics of supremum of certain Gaussian processes over threshold dependent random intervals

Let {X(t),t ≥ 0} be a centered Gaussian process and let γ be a non-negative constant. In this paper we study the asymptotics of \(\mathbb {P} \left \{\underset {t\in [0,\mathcal {T}/u^{\gamma }]}\sup X(t)>u\right \}\) as \(u\rightarrow \infty \) , with \(\mathcal {T}\) an independent of X non-negative random variable. As an application, we derive the asymptotics of finite-time ruin probability of time-changed fractional Brownian motion risk processes.     

A generalization of the finiteness problem of the local cohomology modules

Let R be a commutative Noetherian ring and \(\mathfrak{a}\) an ideal of R. We introduce the concept of \(\mathfrak{a}\) -weakly Laskerian R-modules, and we show that if M is an \(\mathfrak{a}\) -weakly Laskerian R-module and s is a non-negative integer such that Ext _R ^j \((R/\mathfrak{a},H_\mathfrak{a}^i (M))\) is \(\mathfrak{a}\) -weakly Laskerian for all i < s and all j, then for any \(\mathfrak{a}\) -weakly Laskerian submodule X of \(H_\mathfrak{a}^s (M)\) , the R-module \(Hom_R (R/\mathfrak{a},H_\mathfrak{a}^s (M)/X)\) is \(\mathfrak{a}\) -weakly Laskerian. In particular, the set of associated primes of \(H_\mathfrak{a}^s (M)/X\) is finite. As a consequence, it follows that if M is a finitely generated R-module and N is an \(\mathfrak{a}\) -weakly Laskerian R-module such that \(H_\mathfrak{a}^i (N)\) (N) is \(\mathfrak{a}\) -weakly Laskerian for all i < s, then the set of associated primes of \(H_\mathfrak{a}^s (M,N)\) (M,N) is finite. This generalizes the main result of S. Sohrabi Laleh, M.Y. Sadeghi, and M.Hanifi Mostaghim (2012).     

A Jost–Pais-Type Reduction of Fredholm Determinants and Some Applications

We study the analog of semi-separable integral kernels in \({\mathcal {H}}\) of the type $$ K(x, x') = \left\{\begin{array}{ll} F_1(x) G_1(x'), \quad& a < x' < x < b,\\ F_2 (x)G_2(x'), \quad& a < x < x' < b,\end{array}\right.$$ where \({-\infty \leqslant a < b \leqslant \infty}\) , and for a.e. \({x \in (a, b)}\) , \({F_j (x) \in \mathcal{B}_2(\mathcal{H}_j, \mathcal{H})}\) and \({G_j(x) \in \mathcal {B}_2(\mathcal {H},\mathcal {H}_j)}\) such that F _j (·) and G _j (·) are uniformly measurable, and $$\begin{array}{ll} || F_j ( \cdot) ||_{\mathcal {B}_2(\mathcal {H}_j,\mathcal {H})} \in L^2((a, b)), ||G_j (\cdot)||_{\mathcal {B}_2(\mathcal {H},\mathcal {H}_j)} \in L^2((a, b)), \quad j=1,2, \end{array}$$ with \({\mathcal {H}}\) and \({\mathcal {H}_j}\) , j = 1, 2, complex, separable Hilbert spaces. Assuming that K(·, ·) generates a trace class operator K in \({L^2((a, b);\mathcal {H})}\) , we derive the analog of the Jost–Pais reduction theory that succeeds in proving that the Fredholm determinant \({{\rm det}_{L^2((a,b);\mathcal{H})}}\) (I ? α K), \({\alpha \in \mathbb{C}}\) , naturally reduces to appropriate Fredholm determinants in the Hilbert spaces \({\mathcal{H}}\) (and \({\mathcal{H}_1 \oplus \mathcal{H}_2}\) ). Explicit applications of this reduction theory to Schrödinger operators with suitable bounded operator-valued potentials are made. In addition, we provide an alternative approach to a fundamental trace formula first established by Pushnitski which leads to a Fredholm index computation of a certain model operator.     

Sufficient Conditions for Sampling and Interpolation on the Sphere

We obtain sufficient conditions for arrays of points, \(\mathcal {Z}=\{\mathcal {Z}(L) \}_{L\ge 1}\) , on the unit sphere \(\mathcal {Z}(L)\subset \mathbb {S}^d\) , to be Marcinkiewicz–Zygmund and interpolating arrays for spaces of spherical harmonics. The conditions are in terms of the mesh norm and the separation radius of \(\mathcal {Z}(L)\) .     

Divide and Conquer Roadmap for Algebraic Sets

Let \(\mathrm{R}\) be a real closed field and \(\hbox {D}\subset \mathrm{R}\) an ordered domain. We describe an algorithm that given as input a polynomial \(P \in \hbox {D}[ X_{1} , \ldots ,X_{{ k}} ]\) and a finite set, \(\mathcal {A}= \{ p_{1} , \ldots ,p_{m} \}\) , of points contained in \(V= {\mathrm{{Zer}}} ( P, \mathrm{R}^{{ k}})\) described by real univariate representations, computes a roadmap of \(V\) containing \(\mathcal {A}\) . The complexity of the algorithm, measured by the number of arithmetic operations in \(\hbox {D}\) , is bounded by \(\big ( \sum _{i=1}^{m} D^{O ( \log ^{2} ( k ) )}_{i} +1 \big ) ( k^{\log ( k )} d )^{O ( k\log ^{2} ( k ))}\) , where \(d= \deg ( P )\) and \(D_{i}\) is the degree of the real univariate representation describing the point \(p_{i}\) . The best previous algorithm for this problem had complexity card \(( \mathcal {A} )^{O ( 1 )} d^{O ( k^{3/2} )}\) (Basu et al., ArXiv, 2012), where it is assumed that the degrees of the polynomials appearing in the representations of the points in \(\mathcal {A}\) are bounded by \(d^{O ( k )}\) . As an application of our result we prove that for any real algebraic subset \(V\) of \(\mathbb {R}^{k}\) defined by a polynomial of degree \(d\) , any connected component \(C\) of \(V\) contained in the unit ball, and any two points of \(C\) , there exists a semi-algebraic path connecting them in \(C\) , of length at most \(( k ^{\log (k )} d )^{O ( k\log ( k ) )}\) , consisting of at most \(( k ^{\log (k )} d )^{O ( k\log ( k ) )}\) curve segments of degrees bounded by \(( k ^{\log ( k )} d )^{O ( k \log ( k) )}\) . While it was known previously, by a result of D’Acunto and Kurdyka (Bull Lond Math Soc 38(6):951–965, 2006), that there always exists a path of length \(( O ( d ) )^{k-1}\) connecting two such points, there was no upper bound on the complexity of such a path.     

Error bounds for Gauss-type quadratures with Bernstein–Szegő weights

The paper is concerned with the derivation of error bounds for Gauss-type quadratures with Bernstein?Szeg? weights, $${\int\limits_{-1}^{1}}f(t)w(t)\, dt=G_{n}[f]+R_{n}(f),\quad G_{n}[f]=\sum\limits_{\nu=1}^{n}\lambda_{\nu} f(\tau_{\nu}) \quad(n\in\textbf{N}),$$ where f is an analytic function inside an elliptical contour \(\mathcal{E}_{\rho}\) with foci at \(\mp 1\) and sum of semi-axes \(\rho > 1\) , and w is a nonnegative and integrable weight function of Bernstein?Szeg? type. The derivation of effective bounds on \(|R_{n}(f)|\) is possible if good estimates of \(\max_{z\in\mathcal{E}_{\rho}}|K_{n}(z)|\) are available, especially if one knows the location of the extremal point \(\eta\in\mathcal{E}_{\rho}\) at which \(|K_{n}|\) attains its maximum. In such a case, instead of looking for upper bounds on \(\max_{z\in\mathcal{E}_{\rho}}|K_{n}(z)|\) , one can simply try to calculate \(|K_{n}(\eta,w)|\) . In the case under consideration, i.e. when $$w(t)= \frac{(1-t^{2})^{-1/2}}{\beta(\beta-2\alpha)\,t^{2} +2\delta(\beta-\alpha)\,t+\alpha^{2}+\delta^{2}},\quad t\in(-1,1),$$ for some \(\alpha,\beta,\delta\) , which satisfy \(0<\alpha<\beta,\ \beta\ne 2\alpha,\vert\delta\vert<\beta-\alpha\) , the location on the elliptical contours where the modulus of the kernel attains its maximum value is investigated. This leads to effective bounds on \(|R_{n}(f)|\) . The quality of the derived bounds is analyzed by a comparison with other error bounds proposed in the literature for the same class of integrands.     

Triple-consistent social choice and the majority rule

We define generalized (preference) domains \(\mathcal{D}\) as subsets of the hypercube {?1,1} ^D , where each of the D coordinates relates to a yes-no issue. Given a finite set of n individuals, a profile assigns each individual to an element of \(\mathcal{D}\) . We prove that, for any domain \(\mathcal{D}\) , the outcome of issue-wise majority voting φ _m belongs to \(\mathcal{D}\) at any profile where φ _m is well-defined if and only if this is true when φ _m is applied to any profile involving only 3 elements of \(\mathcal{D}\) . We call this property triple-consistency. We characterize the class of anonymous issue-wise voting rules that are triple-consistent, and give several interpretations of the result, each being related to a specific collective choice problem.     

Stanley Reisner rings of generalized truncation polytopes and their moment angle manifolds

We consider simple polytopes \(P = vc^k \left( {\Delta ^{n_1 } \times \ldots \times \Delta ^{n_r } } \right)\) for n ₁ ≥ … ≥ n _r ≥ 1, r ≥ 1, and k ≥ 0, that is, k-vertex cuts of a product of simplices, and call them generalized truncation polytopes. For these polytopes we describe the cohomology ring of the corresponding moment-angle manifold \(\mathcal{Z}_P\) and explore some topological consequences of this calculation. We also examine minimal non-Golodness for their Stanley-Reisner rings and relate it to the property of \(\mathcal{Z}_P\) being a connected sum of sphere products.     

Measure of Self-Affine Sets and Associated Densities

Let \(B\) be an \(n\times n\) real expanding matrix and \(\mathcal {D}\) be a finite subset of \(\mathbb {R}^n\) with \(0\in \mathcal {D}\) . The self-affine set \(K=K(B,\mathcal {D})\) is the unique compact set satisfying the set-valued equation \(BK=\bigcup _{d\in \mathcal {D}}(K+d)\) . In the case where \(\#\mathcal D=|\det B|,\) we relate the Lebesgue measure of \(K(B,\mathcal {D})\) to the upper Beurling density of the associated measure \(\mu =\lim _{s\rightarrow \infty }\sum _{\ell _0, \ldots ,\ell _{s-1}\in \mathcal {D}}\delta _{\ell _0+B\ell _1+\cdots +B^{s-1}\ell _{s-1}}.\) If, on the other hand, \(\#\mathcal D<|\det B|\) and \(B\) is a similarity matrix, we relate the Hausdorff measure \(\mathcal {H}^s(K)\) , where \(s\) is the similarity dimension of \(K\) , to a corresponding notion of upper density for the measure \(\mu \) .     

Descent in Locally Presentable Categories

Let \(\mathbb {V}=(VV, \otimes , I)\) be a symmetric monoidal category such that \(\mathcal {V}\) is locally presentable and that all functors \(V\otimes - : \mathcal {V} \rightarrow \mathcal {V}\) for \(V \in \mathcal {V}\) preserve reflexive coequalizers and directed colimits. It is proved that any pure morphism of commutative ??-monoids is an effective descent morphism with respect to the indexed category given by commutative ??-monoids and modules over them. As a by-product, we prove that pure morphisms in a locally presentable category are effective for codescent.     

Distributions and the Global Operator of Slice Monogenic Functions

In this paper we consider functions \(f\) defined on an open set \(U\) of the Euclidean space \(\mathbb{R }^{n+1}\) and with values in the Clifford Algebra \(\mathbb{R }_n\) . Slice monogenic functions \(f: U \subseteq \mathbb{R }^{n+1} \rightarrow \mathbb{R }_n\) belong to the kernel of the global differential operator with non constant coefficients given by \( \mathcal{G }=|{\underline{x}}|^2\frac{\partial }{\partial x_0} \ + \ {\underline{x}} \ \sum _{j=1}^n x_j\frac{\partial }{\partial x_j}. \) Since the operator \(\mathcal{G }\) is not elliptic and there is a degeneracy in \( {\underline{x}}=0\) , its kernel contains also less smooth functions that have to be interpreted as distributions. We study the distributional solutions of the differential equation \(\mathcal{G }F(x_0,{\underline{x}})=G(x_0,{\underline{x}})\) and some of its variations. In particular, we focus our attention on the solutions of the differential equation \( ({\underline{x}}\frac{\partial }{\partial x_0} \ - E)F(x_0,{\underline{x}})=G(x_0,{\underline{x}}), \) where \(E= \sum _{j=1}^n x_j\frac{\partial }{\partial x_j}\) is the Euler operator, from which we deduce properties of the solutions of the equation \( \mathcal{G }F(x_0,{\underline{x}})=G(x_0,{\underline{x}})\) .