Search arXiv⌕ Search
Home/Archive/arXiv

arXiv · math/9908143

Differential equations for symmetric generalized ultraspherical polynomials

Roelof Koekoek
View original source ↗Read source document ↗Export metadata ↓

Abstract

We look for differential equations satisfied by the generalized Jacobi polynomials which are orthogonal on the interval [-1,1] with respect to the classical weight function for the Jacobi polynomials together with point masses at both endpoints. In the special symmetric case that both parameters are equal and also the two point masses are equal we find all differential equations of spectral type satisfied by these symmetric generalized ultraspherical polynomials. We show that if the point masses are positive only for nonnegative integer values of the parameter there exists exactly one differential equation of spectral type which is of finite order. By using quadratic transformations we also obtain differential equations for some related sets of generalized Jacobi polynomials. In these cases we find finite order differential equations even though one of the parameters is not equal to an integer.

Explore related subjects

math.CA

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Roelof Koekoek. 1999-08-27. Differential equations for symmetric generalized ultraspherical polynomials. https://arxiv.org/abs/math/9908143

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

Regular specular differentiation in Euclidean spaces

We study the regular specular derivative, a generalized derivative defined at every point where both one-sided derivatives exist and are finite. Geometrically, it is the slope of the mirror that reflects the left tangent ray into the right one. In one variable we derive computational formulas, prove inverse function and rotation rules, establish Quasi-Rolle's Theorem and the Quasi-Mean Value Theorem, and obtain a derivative-limit theorem, which shows that twice regularly specularly differentiable functions are continuously differentiable. We also prove both parts of the Fundamental Theorem of Calculus. In several variables we introduce specular gradients, directional derivatives, tangent hyperplanes, and normal vectors, show that a continuous specular gradient forces classical differentiability, and characterize when the specular tangent hyperplane is unique.

math.CA↗
arXiv2026

Lebesgue Covering Theorem and level sets of continuous functions

We formulate and prove a dimension-theoretic generalization of a version of the Lebesgue Covering Theorem. A generalized $n$-dimensional version of the Steinhaus Chessboard Theorem, recently proved algorithmically by Turzański and Ziajor, is a particular case of this result. Moreover, we study two types of sets associated with a continuous function $g \colon [0,1]^n \to \mathbb{R}$. Namely, the set of all points $p \in \mathbb{R}$ such that the fiber $g^{-1}[\left\{p\right\}]$ connects $i$th opposite faces of $[0,1]^n$, and the set of all points $p \in \mathbb{R}$ such that the fiber $g^{-1}[\left\{p\right\}]$ separates $i$th opposite faces of $[0, 1]^n$.

math.CA↗
arXiv2026

Certified Spherical MUSIC for 3D Localization under Adversarial Subspace Perturbations

We study an oracle subspace-perturbation model for 3D localization. The procedure is given an $s$-dimensional subspace $\widetilde{\mathcal U}$ and a deterministic error bound \[ \varepsilon_{\mathrm{sub}} = \left\|P_{\widetilde{\mathcal U}}-P_{\mathcal U}\right\|_2, \] where $\mathcal{U}$ is an $s$-dimensional subspace of far-field patterns with wavenumber $κ$, and $P_{\mathcal{V}}$ denotes orthogonal projection onto a subspace $\mathcal{V}$. Under explicit separation and conditioning hypotheses for arbitrary point clouds, we prove that the perturbed spherical MUSIC objective \[ \widetilde{q}({\mathbf z}) = 1-\left\|P_{\widetilde{\mathcal{U}}}φ_{\mathbf z}\right\|_2^2 \] has a unique strongly convex well in every ball $B_{γ/κ}(x_j)$ and a uniform value gap outside the union of the certified wells. A fixed-step gradient map with $h\asympκ^{-2}$ leaves each well invariant and converges linearly to its unique minimizer. Consequently, thresholding on an $O(κ^{-1})$-mesh, followed by gradient descent and duplicate removal, recovers all relevant minima with localization bound \[ \mathfrak{R}(\varepsilon_{\mathrm{sub}}) \lesssim \frac{\varepsilon_{\mathrm{sub}}}κ. \] The arbitrary-cloud frame analysis yields the sufficient condition \[ κδ_X\gtrsim s^{2/3} \] through an absolute coherence row sum and Gershgorin's theorem. We construct lower-frame counterexamples below the $s^{1/6}$ scale, upper-frame counterexamples below the $s^{1/3}$ scale, and examples showing that $2/3$ is optimal for the absolute-row-sum argument. Finally, for parameter classes containing a uniformly admissible one-point displacement path, we prove \[ \mathfrak{R}(\varepsilon_{\mathrm{sub}}) \sim \frac{\varepsilon_{\mathrm{sub}}}κ. \]

math.CA↗