Let $(A_0,A_1)$ be a regular interpolation couple. Under several different assumptions on a fixed $A^{\beta }$, we show that $A^{\theta }=A_{\theta }$ for every $\theta \in (0,1)$. We also deal with assumptions on ${\overline{A}}^{\beta }$, the closure of $A^{\beta }$ in the dual of ${(A_0^{*},A_1^{*})}_{\beta }$.

We consider the Massera-Schäffer problem for the equation $$-y^{\text{'}}\left(x\right)+q\left(x\right)y\left(x\right)=f\left(x\right),x\in ℝ,$$ where $f\in L_p^{\mathrm{loc}}\left(ℝ\right),$ $p\in [1,\infty )$ and $0\le q\in L_1^{\mathrm{loc}}\left(ℝ\right).$ By a solution of the problem we mean any function $y,$ absolutely continuous and satisfying the above equation almost everywhere in $ℝ.$ Let positive and continuous functions $\mu \left(x\right)$ and $\theta \left(x\right)$ for $x\in ℝ$ be given. Let us introduce the spaces $$\begin{array}{cc}\hfill L_p(ℝ,\mu )& =\left\{f\in L_p^{\mathrm{loc}}{\left(ℝ\right):\parallel f\parallel }_{L_p(ℝ,\mu )}^p={\int }_{-\infty }^{\infty }{\left|\mu \left(x\right)f\left(x\right)\right|}^p\mathrm{d}x<\infty \right\},\\ \hfill L_p(ℝ,\theta )& =\left\{f\in L_p^{\mathrm{loc}}{\left(ℝ\right):\parallel f\parallel }_{L_p(ℝ,\theta )}^p={\int }_{-\infty }^{\infty }{\left|\theta \left(x\right)f\left(x\right)\right|}^p\mathrm{d}x<\infty \right\}.\end{array}$$ We obtain requirements to the functions $\mu$, $\theta$ and $q$ under which (1) for every function $f\in L_p(ℝ,\theta )$ there exists a unique solution $y\in L_p(ℝ,\mu )$ of the above equation; (2) there is an absolute constant...

The extremal functions  $f_0\left(z\right)$  realizing the maxima of some functionals (e.g. $max|a_3|$, and  $maxarg{f}^{{}^{\text{'}}}\left(z\right)$) within the so-called universal linearly invariant family $U_{\alpha }$ (in the sense of Pommerenke [10]) have such a form that $f_0^{{}^{\text{'}}}\left(z\right)$  looks similar to generating function for Meixner-Pollaczek (MP) polynomials [2], [8]. This fact gives motivation for the definition and study of the generalized Meixner-Pollaczek (GMP) polynomials $P_n^{\lambda }(x;\theta ,\psi )$ of a real variable $x$ as coefficients of $$G^{\lambda }(x;\theta ,\psi ;z)=\frac{1}{{(1-z{e}^{i\theta })}^{\lambda -ix}{(1-z{e}^{i\psi })}^{\lambda +ix}}=\sum _{n=0}^{\infty }{P}_n^{\lambda }(x;\theta ,\psi )z^n,\left|z\right|<1,$$ where the parameters $\lambda$, $\theta$, $\psi$ satisfy the conditions:...

We consider the linear system $|2{\Theta }_0|$ of second order theta functions over the Jacobian $JC$ of a non-hyperelliptic curve $C$. A result by J.Fay says that a divisor $D\in |2{\Theta }_0|$ contains the origin $𝒪\in JC$ with multiplicity $4$ if and only if $D$ contains the surface $C-C=\left\{𝒪\right(p-q)\mid p,q\in C\}\subset JC$. In this paper we generalize Fay’s result and some previous work by R.C.Gunning. More precisely, we describe the relationship between divisors containing $𝒪$ with multiplicity $6$, divisors containing the fourfold $C_2-C_2=\{𝒪(p+q-r-s)\mid p,q,r,s\in C\}$, and divisors singular along $C-C$, using...

Let $L(\theta ,\lambda )$ be the set of limit points of the fractional parts $\left\{\lambda {\theta }^n\right\}$, $n=0,1,2,\cdots$, where $\theta$ is a Pisot number and $\lambda \in \mathbb{Q}\left(\theta \right)$. Using a description of $L(\theta ,\lambda )$, due to Dubickas, we show that there is a sequence ${\left({\lambda }_n\right)}_{n\ge 0}$ of elements of $\mathbb{Q}\left(\theta \right)$ such that $Card\left(L(\theta ,{\lambda }_n)\right)<Card\left(L(\theta ,{\lambda }_{n+1})\right)$, $\forall$ $n\ge 0$. Also, we prove that the fractional parts of Pisot numbers, with a fixed degree greater than 1, are dense in the unit interval.

We introduce the cardinal invariant $\theta$-$a{L}^{\text{'}}\left(X\right)$, related to $\theta$-$aL\left(X\right)$, and show that if $X$ is Urysohn, then $\left|X\right|\le 2^{\theta \text{-}a{L}^{\text{'}}\left(X\right)\chi \left(X\right)}$. As $\theta$-$a{L}^{\text{'}}\left(X\right)\le aL\left(X\right)$, this represents an improvement of the Bella-Cammaroto inequality. We also introduce the classes of firmly Urysohn spaces, related to Urysohn spaces, strongly semiregular spaces, related to semiregular spaces, and weakly $H$-closed spaces, related to $H$-closed spaces.

We prove that the global geometric theta-lifting functor for the dual pair $(H,G)$ is compatible with the Whittaker functors, where $(H,G)$ is one of the pairs $({\mathrm{S}𝕆}_{2n},{𝕊p}_{2n})$, $({𝕊p}_{2n},{\mathrm{S}𝕆}_{2n+2})$ or $({𝔾\mathrm{L}}_n,{𝔾\mathrm{L}}_{n+1})$. That is, the composition of the theta-lifting functor from $H$ to $G$ with the Whittaker functor for $G$ is isomorphic to the Whittaker functor for $H$.

Let $K=\mathbb{Q}\left(\theta \right)$ be a pure cubic field, with ${\theta }^3=D$, where $D$ is a cube-free integer. We will determine the reduced ideals of the order $𝒪=\mathbb{Z}\left[\theta \right]$ of $K$ which coincides with the maximal order of $K$ in the case where $D$ is square-free and $\neg \equiv \pm 1(mod9)$.

Let $(M,\theta )$ be a compact CR manifold of dimension $2n+1$ with a contact form $\theta$, and $L=(2+2/n){\Delta }_b+R$ its associated CR conformal laplacien. The CR Yamabe conjecture states that there is a contact form $\tilde{\theta }$ on $M$ conformal to $\theta$ which has a constant Webster curvature. This problem is equivalent to the existence of a function $u$ such that $Lu=u^{1+2/n}$, $u>0$ on $M$. D. Jerison and J. M. Lee solved the CR Yamabe problem in the case where $n\ge 2$ and $(M,\theta )$ is not locally CR equivalent to the sphere $S^{2n+1}$ of ${𝐂}^n$. In a join work with R. Yacoub, the CR Yamabe...

A perturbation of the de Rham complex was introduced by Witten for an exact 1-form $\Theta$ and later extended by Novikov for a closed 1-form on a Riemannian manifold $M$. We use invariance theory to show that the perturbed index density is independent of $\Theta$; this result was established previously by J. A. Álvarez López, Y. A. Kordyukov and E. Leichtnam (2020) using other methods. We also show the higher order heat trace asymptotics of the perturbed de Rham complex exhibit nontrivial dependence...

We study some Riemannian metrics on the space of smooth regular curves in the plane, viewed as the orbit space of maps from $S^1$ to the plane modulo the group of diffeomorphisms of $S^1$, acting as reparametrizations. In particular we investigate the metric, for a constant $A>0$, $G_c^A(h,k):={\int }_{S^1}(1+A{\kappa }_c{\left(\theta \right)}^2)\langle h\left(\theta \right),k\left(\theta \right)\rangle \left|c^{\text{'}}\left(\theta \right)\right|d\theta$ where ${\kappa }_c$ is the curvature of the curve $c$ and $h$, $k$ are normal vector fields to $c$. The term $A{\kappa }^2$ is a sort of geometric Tikhonov regularization because, for $A=0$, the geodesic distance between any two distinct curves is 0, while...

Let $X$ be a smooth projective curve over an algebraically closed field of characteristic $\&gt;2$. Consider the dual pair $H={\mathrm{SO}}_{2m},G={\mathrm{Sp}}_{2n}$ over $X$ with $H$ split. Write ${\mathrm{Bun}}_G$ and ${\mathrm{Bun}}_H$ for the stacks of $G$-torsors and $H$-torsors on $X$. The theta-kernel ${\mathrm{Aut}}_{G,H}$ on ${\mathrm{Bun}}_G\times {\mathrm{Bun}}_H$ yields theta-lifting functors $F_G:\mathrm{D}\left({\mathrm{Bun}}_H\right)\to \mathrm{D}\left({\mathrm{Bun}}_G\right)$ and $F_H:\mathrm{D}\left({\mathrm{Bun}}_G\right)\to \mathrm{D}\left({\mathrm{Bun}}_H\right)$ between the corresponding derived categories. We describe the relation of these functors with Hecke operators. In two particular cases these functors realize the geometric Langlands functoriality for the above pair (in the non...

The notion of $\beta$-normality was introduced and studied by Arhangel’skii, Ludwig in 2001. Recently, almost $\beta$-normal spaces, which is a simultaneous generalization of $\beta$-normal and almost normal spaces, were introduced by Das, Bhat and Tartir. We introduce a new generalization of normality, namely weak $\beta$-normality, in terms of $\theta$-closed sets, which turns out to be a simultaneous generalization of $\beta$-normality and $\theta$-normality. A space $X$ is said to be weakly $\beta$-normal (w$\beta$-normal$)$ if for every...