This paper studies Menon–Sury’s identity in a general case, i.e., the Menon–Sury’s identity involving Dirichlet characters in residually finite Dedekind domains. By using the filtration of the ring \({\mathfrak {D}}/{\mathfrak {n}}\) and its unit group \(U({\mathfrak {D}}/{\mathfrak {n}})\), we explicitly compute the following two summations:
$$\begin{aligned} \sum _{\begin{array}{c} a\in U({\mathfrak {D}}/{\mathfrak {n}}) \\ b_1, \ldots , b_r\in {\mathfrak {D}}/{\mathfrak {n}} \end{array}} N(\langle a-1,b_1, b_2, \ldots , b_r \rangle +{\mathfrak {n}})\chi (a) \end{aligned}$$and
$$\begin{aligned} \sum _{\begin{array}{c} a_{1},\ldots , a_{s}\in U({\mathfrak {D}}/{\mathfrak {n}}) \\ b_1, \ldots , b_r\in {\mathfrak {D}}/{\mathfrak {n}} \end{array}} N(\langle a_{1}-1,\ldots , a_{s}-1,b_1, b_2, \ldots , b_r \rangle +{\mathfrak {n}})\chi _{1}(a_1) \cdots \chi _{s}(a_s), \end{aligned}$$where \({\mathfrak {D}}\) is a residually finite Dedekind domain and \({\mathfrak {n}}\) is a nonzero ideal of \({\mathfrak {D}}\), \(N({\mathfrak {n}})\) is the cardinality of quotient ring \({\mathfrak {D}}/{\mathfrak {n}}\), \(\chi _{i}~(1\le i\le s)\) are Dirichlet characters mod \({\mathfrak {n}}\) with conductor \({\mathfrak {d}}_i\).
相似文献Let \( \pi_{x} \) be the set of primes greater than \( x \). We prove that for all \( x\in{??} \) the classes of finite groups \( D_{\pi_{x}} \) and \( E_{\pi_{x}} \) coincide; i.e., a finite group \( G \) possesses a \( \pi_{x} \)-Hall subgroup if and only if \( G \) satisfies the complete analog of the Sylow Theorems for a \( \pi_{x} \)-subgroup.
相似文献In previous papers we introduced a class of polynomials which follow the same recursive formula as the Lucas–Lehmer numbers, studying the distribution of their zeros and remarking that this distribution follows a sequence related to the binary Gray code. It allowed us to give an order for all the zeros of every polynomial \(L_n\). In this paper, the zeros, expressed in terms of nested radicals, are used to obtain two formulas for \(\pi \): the first can be seen as a generalization of the known formula
$$\begin{aligned} \pi =\lim _{n\rightarrow \infty } 2^{n+1}\cdot \sqrt{2-\underbrace{\sqrt{2+\sqrt{2+\sqrt{2+\cdots +\sqrt{2}}}}}_{n}}, \end{aligned}$$related to the smallest positive zero of \(L_n\); the second is an exact formula for \(\pi \) achieved thanks to some identities valid for \(L_n\).
相似文献We study integrals of the form
$$\begin{aligned} \int _{-1}^1(C_n^{(\lambda )}(x))^2(1-x)^\alpha (1+x)^\beta {{\,\mathrm{\mathrm {d}}\,}}x, \end{aligned}$$where \(C_n^{(\lambda )}\) denotes the Gegenbauer-polynomial of index \(\lambda >0\) and \(\alpha ,\beta >-1\). We give exact formulas for the integrals and their generating functions, and obtain asymptotic formulas as \(n\rightarrow \infty \).
相似文献We are concerned with the following \(p(x)\)-Laplacian equations in \(\mathbb{R}^{N}\)
$$ -\triangle _{p(x)} u+|u|^{p(x)-2}u= f(x,u)\quad \mbox{in } \mathbb{R} ^{N}. $$The nonlinearity is superlinear but does not satisfy the Ambrosetti-Rabinowitz type condition. Our main difficulty is that the weak limit of (PS) sequence is not always the weak solution of this problem. To overcome this difficulty, by adding potential term and using mountain pass theorem, we get the weak solution \(u_{\lambda }\) of perturbation equations. First, we prove that \(u_{\lambda }\rightharpoonup u\) as \(\lambda \rightarrow 0\). Second, by using vanishing lemma, we get that \(u\) is a nontrivial solution of the original problem.
相似文献Consider the following nonparametric model: \(Y_{ni}=g(x_{ni})+ \varepsilon _{ni},1\le i\le n,\) where \(x_{ni}\in {\mathbb {A}}\) are the nonrandom design points and \({\mathbb {A}}\) is a compact set of \({\mathbb {R}}^{m}\) for some \(m\ge 1\), \(g(\cdot )\) is a real valued function defined on \({\mathbb {A}}\), and \(\varepsilon _{n1},\ldots ,\varepsilon _{nn}\) are \(\rho ^{-}\)-mixing random errors with zero mean and finite variance. We obtain the Berry–Esseen bounds of the weighted estimator of \(g(\cdot )\). The rate can achieve nearly \(O(n^{-1/4})\) when the moment condition is appropriate. Moreover, we carry out some simulations to verify the validity of our results.
相似文献As a first step towards modelling real time-series, we study a class of real-variable, bounded processes \(\{X_{n}, n\in \mathbb{N}\}\) defined by a deterministic \(k\)-term recurrence relation \(X_{n+k} = \varphi (X _{n}, \ldots , X_{n+k-1})\). These processes are noise-free. We immerse such a dynamical system into \(\mathbb{R}^{k}\) in a slightly distorted way, which allows us to apply the multidimensional techniques introduced by Saussol (Isr. J. Math. 116:223–248, 2000) for deterministic transformations. The hypotheses we need are, most of them, purely analytic and consist in estimates satisfied by the function \(\varphi \) and by products of its first-order partial derivatives. They ensure that the induced transformation \(T\) is dilating. Under these conditions, \(T\) admits a greatest absolutely continuous invariant measure (ACIM). This implies the existence of an invariant density for \(X_{n}\), satisfying integral compatibility conditions. Moreover, if \(T\) is mixing, one obtains the exponential decay of correlations.
相似文献A result of Vietoris states that if the real numbers \(a_1,\ldots ,a_n\) satisfy
$$\begin{aligned} \text{(*) } \qquad a_1\ge \frac{a_2}{2} \ge \cdots \ge \frac{a_n}{n}>0 \quad \text{ and } \quad a_{2k-1}\ge a_{2k} \quad (1\le k\le n/2), \end{aligned}$$then, for \(x_1,\ldots ,x_m>0\) with \(x_1+\cdots +x_m <\pi \),
$$\begin{aligned} \begin{aligned} \text{(**) } \qquad \sum _{k=1}^n a_k \frac{\sin (k x_1) \cdots \sin (k x_m)}{k^m}>0. \end{aligned} \end{aligned}$$We prove that \((**)\) (with “\(\ge \)” instead of “>”) holds under weaker conditions. It suffices to assume, instead of \((*)\), that
$$\begin{aligned} \sum _{k=1}^N a_k \frac{\sin (kt)}{k}>0 \quad (N=1,\ldots ,n; \, 0<t<\pi ), \end{aligned}$$and, moreover, \((**)\) is valid for a larger region, namely, \(x_1,\ldots ,x_m\in (0,\pi )\).
相似文献We characterize the completeness and frame/basis property of a union of under-sampled windowed exponentials of the form
$$ {\mathcal{F}}(g): =\bigl\{ e^{2\pi i n x}: n\ge 0\bigr\} \cup \bigl\{ g(x)e^{2\pi i nx}: n< 0\bigr\} $$for \(L^{2}[-1/2,1/2]\) by the spectra of the Toeplitz operators with the symbol \(g\). Using this characterization, we classify all real-valued functions \(g\) such that \({\mathcal{F}}(g)\) is complete or forms a frame/basis. Conversely, we use the classical non-harmonic Fourier series theory to determine all \(\xi \) such that the Toeplitz operators with the symbol \(e^{2\pi i \xi x}\) is injective or invertible. These results demonstrate an elegant interaction between frame theory of windowed exponentials and Toeplitz operators. Finally, we use our results to answer some open questions in dynamical sampling, and derivative samplings on Paley-Wiener spaces of bandlimited functions.
相似文献We study a multilinear version of the Hörmander multiplier theorem, namely
$$ \Vert T_{\sigma}(f_{1},\dots,f_{n})\Vert_{L^{p}}\lesssim \sup_{k\in\mathbb{Z}}{\Vert \sigma(2^{k}\cdot,\dots,2^{k}\cdot)\widehat{\phi^{(n)}}\Vert_{L^{2}_{(s_{1},\dots,s_{n})}}}\Vert f_{1}\Vert_{H^{p_{1}}}\cdots\Vert f_{n}\Vert_{H^{p_{n}}}. $$We show that the estimate does not hold in the limiting case \(\min \limits {(s_{1},\dots ,s_{n})}=d/2\) or \({\sum}_{k\in J}{({s_{k}}/{d}-{1}/{p_{k}})}=-{1}/{2}\) for some \(J \subset \{1,\dots ,n\}\). This provides the necessary and sufficient condition on \((s_{1},\dots ,s_{n})\) for the boundedness of Tσ.
相似文献We consider the problem of characterizing the bounded linear operator multipliers on \(L^{2}(\mathbb{R})\) that map Gabor frame generators to Gabor frame generators. We prove that a functional matrix \(M(t)=[f_{ij}(t)]_{m \times m}\) (where \(f_{ij}\in L^{\infty}(\mathbb{R})\)) is a multiplier for Parseval Gabor multi-frame generators with parameters \(a, b >0\) if and only if \(M(t)\) is unitary and \(M^{*}(t)M(t+\frac{1}{b})= \lambda(t)I\) for some unimodular \(a\)-periodic function \(\lambda(t)\). As a special case (\(m =1\)) this recovers the characterization of functional multipliers for Parseval Gabor frames with single function generators.
相似文献We extend to the multilinear setting classical inequalities of Marcinkiewicz and Zygmund on \(\ell ^r\)-valued extensions of linear operators. We show that for certain \(1 \le p, q_1, \dots , q_m, r \le \infty \), there is a constant \(C\ge 0\) such that for every bounded multilinear operator \(T:L^{q_1}(\mu _1) \times \cdots \times L^{q_m}(\mu _m) \rightarrow L^p(\nu )\) and functions \(\{f_{k_1}^1\}_{k_1=1}^{n_1} \subset L^{q_1}(\mu _1), \dots , \{f_{k_m}^m\}_{k_m=1}^{n_m} \subset L^{q_m}(\mu _m)\), the following inequality holds
$$\begin{aligned} \left\| \left( \sum _{k_1, \dots , k_m} |T(f_{k_1}^1, \dots , f_{k_m}^m)|^r\right) ^{1/r} \right\| _{L^p(\nu )} \le C \Vert T\Vert \prod _{i=1}^m \left\| \left( \sum _{k_i=1}^{n_i} |f_{k_i}^i|^r\right) ^{1/r} \right\| _{L^{q_i}(\mu _i)}. \end{aligned}$$ (1)In some cases we also calculate the best constant \(C\ge 0\) satisfying the previous inequality. We apply these results to obtain weighted vector-valued inequalities for multilinear Calderón-Zygmund operators.
相似文献