共查询到20条相似文献,搜索用时 46 毫秒
1.
Arup Chattopadhyay B. Krishna Das Jaydeb Sarkar S. Sarkar 《Integral Equations and Operator Theory》2014,79(4):567-577
Doubly commuting invariant subspaces of the Bergman space and the Dirichlet space over the unit polydisc \({\mathbb{D}^n}\) (with \({n \geq 2}\) ) are investigated. We show that for any non-empty subset \({\alpha=\{\alpha_1,\ldots,\alpha_k\}}\) of \({\{1,\ldots,n\}}\) and doubly commuting invariant subspace \({\mathcal{S}}\) of the Bergman space or the Dirichlet space over \({\mathbb{D}^n}\) , restriction of the multiplication operator tuple on \({\mathcal{S}, M_{\alpha}|_\mathcal{S}:=(M_{z_{\alpha_1}}|_\mathcal{S},\ldots, M_{z_{\alpha_k}}|_\mathcal{S})}\) , always possesses generating wandering subspace of the form $$\bigcap_{i=1}^k(\mathcal{S}\ominus z_{\alpha_i}\mathcal{S})$$ . 相似文献
2.
We introduce families $ \mathcal{B}_n^S\left( {{z_1},\ldots,{z_n}} \right) $ and $ \mathcal{B}_{{n,\hbar}}^S\left( {{z_1},\ldots,{z_n}} \right) $ of maximal commutative subalgebras, called Bethe subalgebras, of the group algebra $ \mathbb{C}\left[ {\mathfrak{S}n} \right] $ of the symmetric group. Bethe subalgebras are deformations of the Gelfand?Zetlin subalgebra of $ \mathbb{C}\left[ {\mathfrak{S}n} \right] $ . We describe various properties of Bethe subalgebras. 相似文献
3.
Takeshi Kurosawa 《Results in Mathematics》2010,57(1-2):1-22
Let ${\Phi_0(\boldmath{z})}$ be the function defined by $$\Phi_0({\boldmath z}) = \Phi _{0}(z_1,\ldots, z_m)=\sum_{k\geq 0}\frac{E_k(z_1^{r^k},\ldots,z_m^{r^k})}{F_k(z_1^{r^k},\ldots,z_m^{r^k})},$$ where ${E_k(\boldmath{z})}$ and ${F_k(\boldmath{z})}$ are polynomials in m variables ${\boldmath{z} = (z_1,\ldots, z_m)}$ with coefficients satisfying a weak growth condition and r ≥ 2 a fixed integer. For an algebraic point ${\boldmath{\alpha}}$ satisfying some conditions, we prove that ${\Phi_{0}(\boldmath{\alpha})}$ is algebraic if and only if ${\Phi_{0}(\boldmath{z})}$ is a rational function. This is a generalization of the transcendence criterion of Duverney and Nishioka in one variable case. As applications, we give some examples of transcendental numbers. 相似文献
4.
Grey Ercole 《Archiv der Mathematik》2014,103(2):189-194
We consider the following q-eigenvalue problem for the p-Laplacian $$\left\{\begin{array}{ll}-{\rm div}\big( |\nabla u|^{p-2}\nabla u\big) = \lambda \|u\|_{L^{q}(\Omega)}^{p-q}|u|^{q-2}u \quad \quad\, {\rm in} \,\,\,\, \Omega\\ \quad\quad\quad \quad \quad \quad u = 0 \quad\qquad\qquad \quad\quad \,\,{\rm on } \,\,\,\, \partial\Omega,\end{array}\right.$$ where \({\lambda\in\mathbb{R},}\) p > 1, Ω is a bounded and smooth domain of \({\mathbb{R}^{N},}\) N > 1, \({1\leq q < p^{\star}}\) , \({p^{\star}=\frac{Np}{N-p}}\) if p < N and \({p^{\star}=\infty}\) if \({p\geq N.}\) Let λ q denote the first q-eigenvalue. We prove that in the super-linear case, \({p < q < p^{\star},}\) there exists \({\epsilon_{q}>0}\) such that if \({\lambda\in(\lambda_{q},\lambda _{q}+\epsilon_{q})}\) is a q-eigenvalue, then any corresponding q-eigenfunction does not change sign in Ω. As a consequence of this result we obtain, in the super-linear case, the isolatedness of λ q for those Ω such that the Lane–Emden problem $$\left\{\begin{array}{ll}-{\rm div}\big(|\nabla u|^{p-2}\nabla u\big) = |u|^{q-2}u \qquad\quad\quad\quad \,\,{\rm in}\,\,\,\Omega\\ \quad\quad\quad \quad \quad \quad u = 0 \quad\qquad\qquad \quad\quad \,{\rm on } \,\,\, \partial\Omega,\end{array}\right.$$ has exactly one positive solution. 相似文献
5.
In this paper we characterize the subsets E of the unit disk with the following property : ${\rm If}\ 0\ < \ p \ \leq \infty\ {\rm and}\ f \ \epsilon\ H^{p},\ 0 \ < \ ||f||_{p}\ <c \ < \infty $ then there exists $ {\cal G}\epsilon {H^{p}} $ such that $|{\cal G}(z)|\leq |f(z)|\ {\rm on}\ E\ {\rm and}\ ||{\cal G}||_{p}$ . A similar characterisation is given also for the case of the disk algebra. 相似文献
6.
Cristian Bereanu Dana Gheorghe Manuel Zamora 《NoDEA : Nonlinear Differential Equations and Applications》2013,20(3):1365-1377
In this paper, using Leray–Schauder degree arguments, critical point theory for lower semicontinuous functionals and the method of lower and upper solutions, we give existence results for periodic problems involving the relativistic operator ${u \mapsto \left(\frac{u^\prime}{\sqrt{1-u^\prime 2}}\right)^\prime+r(t)u}$ with ${\int_0^Tr dt\neq 0}$ . In particular we show that in this case we have non-resonance, that is periodic problem $$\left(\frac{u^\prime}{\sqrt{1-u^\prime 2}}\right)^\prime+r(t)u=e(t),\quad u(0)-u(T)=0=u^\prime(0)-u^\prime(T),$$ has at least one solution for any continuous function ${e : [0, T] \to \mathbb {R}}$ . Then, we consider Brillouin and Mathieu-Duffing type equations for which ${r(t) \equiv b_1 + b_2 {\rm cos} t {\rm and} b_1, b_2 \in \mathbb{R}}$ . 相似文献
7.
Given ${\Omega\subset\mathbb{R}^{n}}$ open, connected and with Lipschitz boundary, and ${s\in (0, 1)}$ , we consider the functional $$\mathcal{J}_s(E,\Omega)\,=\, \int_{E\cap \Omega}\int_{E^c\cap\Omega}\frac{dxdy}{|x-y|^{n+s}}+\int_{E\cap \Omega}\int_{E^c\cap \Omega^c}\frac{dxdy}{|x-y|^{n+s}}\,+ \int_{E\cap \Omega^c}\int_{E^c\cap \Omega}\frac{dxdy}{|x-y|^{n+s}},$$ where ${E\subset\mathbb{R}^{n}}$ is an arbitrary measurable set. We prove that the functionals ${(1-s)\mathcal{J}_s(\cdot, \Omega)}$ are equi-coercive in ${L^1_{\rm loc}(\Omega)}$ as ${s\uparrow 1}$ and that $$\Gamma-\lim_{s\uparrow 1}(1-s)\mathcal{J}_s(E,\Omega)=\omega_{n-1}P(E,\Omega),\quad \text{for every }E\subset\mathbb{R}^{n}\,{\rm measurable}$$ where P(E, ??) denotes the perimeter of E in ?? in the sense of De Giorgi. We also prove that as ${s\uparrow 1}$ limit points of local minimizers of ${(1-s)\mathcal{J}_s(\cdot,\Omega)}$ are local minimizers of P(·, ??). 相似文献
8.
Bart De Bruyn 《Designs, Codes and Cryptography》2012,64(1-2):81-91
Let ${{\mathbb H}_n, n \geq 1}$ , be the near 2n-gon defined on the 1-factors of the complete graph on 2n?+?2 vertices, and let e denote the absolutely universal embedding of ${{\mathbb H}_n}$ into PG(W), where W is a ${\frac{1}{n+2} \left(\begin{array}{c}2n+2 \\ n+1\end{array}\right)}$ -dimensional vector space over the field ${{\mathbb F}_2}$ with two elements. For every point z of ${{\mathbb H}_n}$ and every ${i \in {\mathbb N}}$ , let Δ i (z) denote the set of points of ${{\mathbb H}_n}$ at distance i from z. We show that for every pair {x, y} of mutually opposite points of ${{\mathbb H}_n, W}$ can be written as a direct sum ${W_0 \oplus W_1 \oplus \cdots \oplus W_n}$ such that the following four properties hold for every ${i \in \{0,\ldots,n \}}$ : (1) ${\langle e(\Delta_i(x) \cap \Delta_{n-i}(y)) \rangle = {\rm PG}(W_i)}$ ; (2) ${\left\langle e \left( \bigcup_{j \leq i} \Delta_j(x) \right) \right\rangle = {\rm PG}(W_0 \oplus W_1 \oplus \cdots \oplus W_i)}$ ; (3) ${\left\langle e \left( \bigcup_{j \leq i} \Delta_j(y) \right) \right\rangle = {\rm PG}(W_{n-i}\oplus W_{n-i+1} \oplus \cdots \oplus W_n)}$ ; (4) ${\dim(W_i) = |\Delta_i(x) \cap \Delta_{n-i}(y)| = \left(\begin{array}{c}n \\ i\end{array}\right)^2 - \left(\begin{array}{c}n \\ i-1\end{array}\right) \cdot \left(\begin{array}{c}n \\ i+1\end{array}\right)}$ . 相似文献
9.
Peter Hellekalek 《Monatshefte für Mathematik》2014,173(1):55-66
For bases $\mathbf{b}=(b_1, \ldots , b_s)$ of $s$ not necessarily distinct integers $b_i\ge 2$ , we prove a version of the inequality of Erdös–Turán–Koksma for the hybrid function system composed of the Walsh functions in base $\mathbf{b}^{(1)}=(b_1, \ldots , b_{s_1})$ and, as second component, the $\mathbf{b}^{(2)}$ -adic functions, $\mathbf{b}^{(2)}=(b_{s_1+1}, \ldots , b_s)$ , with $s=s_1+s_2$ , $s_1$ and $s_2$ not both equal to 0. Further, we point out why this choice of a hybrid function system covers all possible cases of sequences that employ addition of digit vectors as their main construction principle. 相似文献
10.
David P. Kimsey 《Integral Equations and Operator Theory》2014,80(3):353-378
Let \({s = \{s_{jk}\}_{0 \leq j+k \leq 3}}\) be a given complex-valued sequence. The cubic complex moment problem involves determining necessary and sufficient conditions for the existence of a positive Borel measure \({\sigma}\) on \({\mathbb{C}}\) (called a representing measure for s) such that \({s_{jk} = \int_{\mathbb{C}}\bar{z}^j z^k d\sigma(z)}\) for \({0 \leq j + k \leq 3}\) . Put $$\Phi = \left(\begin{array}{lll} s_{00} & s_{01} & s_{10} \\s_{10} & s_{11} & s_{20} \\s_{01} & s_{02} & s_{11}\end{array}\right), \quad \Phi_z = \left(\begin{array}{lll}s_{01} & s_{02} & s_{11} \\s_{10} & s_{12} & s_{21} \\s_{02} & s_{03} & s_{12}\end{array} \right)\quad {\rm and}\quad\Phi_{\bar{z}} = (\Phi_z)^*.$$ If \({\Phi \succ 0}\) , then the commutativity of \({\Phi^{-1} \Phi_z}\) and \({\Phi^{-1} \Phi_{\bar{z}}}\) is necessary and sufficient for the existence a 3-atomic representing measure for s. If \({\Phi^{-1} \Phi_z}\) and \({\Phi^{-1} \Phi_{\bar{z}}}\) do not commute, then we show that s has a 4-atomic representing measure. The proof is constructive in nature and yields a concrete parametrization of all 4-atomic representing measures of s. Consequently, given a set \({K \subseteq \mathbb{C}}\) necessary and sufficient conditions are obtained for s to have a 4-atomic representing measure \({\sigma}\) which satisfies \({{\rm supp} \sigma \cap K \neq \emptyset}\) or \({{\rm supp} \sigma \subseteq K}\) . The cases when \({K = \overline{\mathbb{D}}}\) and \({K = \mathbb{T}}\) are considered in detail. 相似文献
11.
We elaborate Weiermann-style phase transitions for well-partial-orderings (wpo) determined by iterated finite sequences under Higman-Friedman style embedding with Gordeev’s symmetric gap condition. For every d-times iterated wpo ${\left({\rm S}\text{\textsc{eq}}^{d}, \trianglelefteq _{d}\right)}$ in question, d >? 1, we fix a natural extension of Peano Arithmetic, ${T \supseteq \sf{PA}}$ , that proves the corresponding second-order sentence ${\sf{WPO}\left({\rm S}{\textsc{eq}}^{d}, \trianglelefteq _{d}\right) }$ . Having this we consider the following parametrized first-order slow well-partial-ordering sentence ${\sf{SWP}\left({\rm S}\text{\textsc{eq}}^{d}, \trianglelefteq _{d}, r\right):}$ $$\left( \forall K > 0 \right) \left( \exists M > 0\right) \left( \forall x_{0},\ldots ,x_{M}\in {\rm S}\text{\textsc{eq}}^{d}\right)$$ $$\left( \left( \forall i\leq M\right) \left( \left| x_{i}\right| < K + r \left\lceil \log _{d} \left( i+1\right) \right\rceil \right)\rightarrow \left( \exists i < j \leq M \right) \left(x_{i} \trianglelefteq _{d} x_{j}\right) \right)$$ for a natural additive Seq d -norm |·| and r ranging over EFA-provably computable positive reals, where EFA is an abbreviation for IΔ 0?+?exp. We show that the following basic phase transition clauses hold with respect to ${T = \Pi_{1}^{0}\sf{CA}_{ < \varphi ^{_{\left( d-1\right) }} \left(0\right) }}$ and the threshold point1.
- If r <? 1 then ${\sf{SWP}\left({\rm S}\text{\textsc{eq}}^{d}, \trianglelefteq _{d},r \right) }$ is provable in T.
- If ${r > 1}$ then ${\sf{SWP}\left({\rm S}\text{\textsc{eq}}^{d}, \trianglelefteq _{d},r \right) }$ is not provable in T.
- ${\sf{SWP}\left({\rm S}\text{\textsc{eq}}^{2}, \trianglelefteq _{2}, 1\right)}$ is still provable in T = PA (actually in EFA).
- If ${\alpha < \varepsilon _{0}}$ , then ${\sf{SWP}\left({\rm S}\text{\textsc{eq}}^{2}, \trianglelefteq _{2}, 1_{\alpha}\right)}$ is provable in T = PA.
- ${\sf{SWP}\left( {\rm S}\text{\textsc{eq}}^{2}, \trianglelefteq _{2},1_{\varepsilon _{0}}\right)}$ is not provable in T = PA.
12.
We consider the problem ${\varepsilon^{2}\Delta u - u^q + u^p = 0\,{\rm in}\,\Omega,\,u > 0\,{\rm in}\,\Omega,\,\frac{\partial u}{\partial \nu} = 0\,{\rm on}\,\partial\Omega }$ where Ω is a smooth bounded domain in ${\mathbb{R}^N}$ , ${1 < q < p < {N+2\over N-2}}$ if N ≥ 2 and ${\varepsilon}$ is a small positive parameter. We determine the location and shape of the least energy solution when ${\varepsilon \rightarrow 0.}$ 相似文献
13.
We study the following nonlinear elliptic system of Lane–Emden type $$\left\{\begin{array}{ll} -\Delta u = {\rm sgn}(v) |v| ^{p-1} \qquad \qquad \qquad \; {\rm in} \; \Omega , \\ -\Delta v = - \lambda {\rm sgn} (u)|u| \frac{1}{p-1} + f(x, u)\; \; {\rm in}\; \Omega , \\ u = v = 0 \qquad \qquad \qquad \quad \quad \;\;\;\;\; {\rm on}\; \partial \Omega , \end{array}\right.$$ where ${\lambda \in \mathbb{R}}$ . If ${\lambda \geq 0}$ and ${\Omega}$ is an unbounded cylinder, i.e., ${\Omega = \tilde \Omega \times \mathbb{R}^{N-m} \subset \mathbb{R}^{N}}$ , ${N - m \geq 2, m \geq 1}$ , existence and multiplicity results are proved by means of the Principle of Symmetric Criticality and some compact imbeddings in partially spherically symmetric spaces. We are able to state existence and multiplicity results also if ${\lambda \in \mathbb{R}}$ and ${\Omega}$ is a bounded domain in ${\mathbb{R}^{N}, N \geq 3}$ . In particular, a good finite dimensional decomposition of the Banach space in which we work is given. 相似文献
14.
Sarika Goyal K. Sreenadh 《NoDEA : Nonlinear Differential Equations and Applications》2014,21(4):567-588
In this article, we study the Fu?ik spectrum of the fractional Laplace operator which is defined as the set of all \({(\alpha, \beta)\in \mathbb{R}^2}\) such that $$\quad \left.\begin{array}{ll}\quad (-\Delta)^s u = \alpha u^{+} - \beta u^{-} \quad {\rm in}\;\Omega \\ \quad \quad \quad u = 0 \quad \quad \quad \qquad {\rm in}\; \mathbb{R}^n{\setminus}\Omega.\end{array}\right\}$$ has a non-trivial solution u, where \({\Omega}\) is a bounded domain in \({\mathbb{R}^n}\) with Lipschitz boundary, n > 2s, \({s \in (0, 1)}\) . The existence of a first nontrivial curve \({\mathcal{C}}\) of this spectrum, some properties of this curve \({\mathcal{C}}\) , e.g. Lipschitz continuous, strictly decreasing and asymptotic behavior are studied in this article. A variational characterization of second eigenvalue of the fractional eigenvalue problem is also obtained. At the end, we study a nonresonance problem with respect to the Fu?ik spectrum. 相似文献
15.
José A. Gálvez Asun Jiménez Pablo Mira 《Calculus of Variations and Partial Differential Equations》2012,44(3-4):577-599
Let Ω denote the upper half-plane ${\mathbb{R}_+^2}$ or the upper half-disk ${D_{\varepsilon}^+\subset \mathbb{R}_+^2}$ of center 0 and radius ${\varepsilon}$ . In this paper we classify the solutions ${v\in\;C^2(\overline{\Omega}\setminus\{0\})}$ to the Neumann problem $$\left\{\begin{array}{lll}{\Delta v+2 Ke^v=0\quad {\rm in}\,\Omega\subseteq \mathbb{R}^2_+=\{(s, t)\in \mathbb{R}^2: t >0 \},}\\ {\frac{\partial v}{\partial t}=c_1e^{v/2}\quad\quad\quad{\rm on}\,\partial\Omega\cap\{s >0 \},}\\ {\frac{\partial v}{\partial t}=c_2e^{v/2}\quad\quad\quad{\rm on}\,\partial\Omega\cap\{s <0 \},}\end{array}\right.$$ where ${K, c_1, c_2 \in \mathbb{R}}$ , with the finite energy condition ${\int_{\Omega} e^v < \infty}$ As a result, we classify the conformal Riemannian metrics of constant curvature and finite area on a half-plane that have a finite number of boundary singularities, not assumed a priori to be conical, and constant geodesic curvature along each boundary arc. 相似文献
16.
Denote by ${\mathcal{C}\ell_{p,q}}$ the Clifford algebra on the real vector space ${\mathbb{R}^{p,q}}$ . This paper gives a unified tensor product expression of ${\mathcal{C}\ell_{p,q}}$ by using the center of ${\mathcal{C}\ell_{p,q}}$ . The main result states that for nonnegative integers p, q, ${\mathcal{C}\ell_{p,q} \simeq \otimes^{\kappa-\delta}\mathcal{C}_{1,1} \otimes Cen(\mathcal{C}\ell_{p,q}) \otimes^{\delta} \mathcal{C}\ell_{0,2},}$ where ${p + q \equiv \varepsilon}$ mod 2, ${\kappa = ((p + q) - \varepsilon)/2, p - |q - \varepsilon| \equiv i}$ mod 8 and ${\delta = \lfloor i / 4 \rfloor}$ . 相似文献
17.
Irakli O. Chitaia Roland Sh. Omanadze Andrea Sorbi 《Archive for Mathematical Logic》2011,50(3-4):341-352
We use certain strong Q-reducibilities, and their corresponding strong positive reducibilities, to characterize the hyperimmune sets and the hyperhyperimmune sets: if A is any infinite set then A is hyperimmune (respectively, hyperhyperimmune) if and only if for every infinite subset B of A, one has ${\overline{K}\not\le_{\rm ss} B}$ (respectively, ${\overline{K}\not\le_{\overline{\rm s}} B}$ ): here ${\le_{\overline{\rm s}}}$ is the finite-branch version of s-reducibility, ??ss is the computably bounded version of ${\le_{\overline{\rm s}}}$ , and ${\overline{K}}$ is the complement of the halting set. Restriction to ${\Sigma^0_2}$ sets provides a similar characterization of the ${\Sigma^0_2}$ hyperhyperimmune sets in terms of s-reducibility. We also show that no ${A \geq_{\overline{\rm s}}\overline{K}}$ is hyperhyperimmune. As a consequence, ${\deg_{\rm s}(\overline{K})}$ is hyperhyperimmune-free, showing that the hyperhyperimmune s-degrees are not upwards closed. 相似文献
18.
Tommaso Leonori Francesco Petitta 《Calculus of Variations and Partial Differential Equations》2011,42(1-2):153-187
In this paper we deal with local estimates for parabolic problems in ${\mathbb{R}^N}$ with absorbing first order terms, whose model is $$\left\{\begin{array}{l@{\quad}l}u_t- \Delta u +u |\nabla u|^q = f(t,x) \quad &{\rm in}\, (0,T) \times \mathbb{R}^N\,,\\u(0,x)= u_0 (x) &{\rm in}\, \mathbb{R}^N \,,\quad\end{array}\right.$$ where ${T >0 , \, N\geq 2,\, 1 < q \leq 2,\, f(t,x)\in L^1\left( 0,T; L^1_{\rm loc} \left(\mathbb{R}^N\right)\right)}$ and ${u_0\in L^1_{\rm loc}\left(\mathbb{R}^{N}\right)}$ . 相似文献
19.
Let ${\cal P}$ be the point set of an absolute plane, let ${\cal {\tilde P}}$ be the set of all point reflections, let ?, resp. ?+, be the group of all, resp. of all proper, motions and let $$^\sim:{\cal P\times P\rightarrow \tilde P};\ \ \ (a,\ b)\mapsto\ \widetilde {a,\ b}$$ be the map where ${\widetilde {a,\ b}}$ denotes the uniquely determined point-reflection interchanging a and b. Then $$\delta\:\ {\cal P}^{3}\rightarrow {\cal M}^{+};\ \ \ (a,b,c)\mapsto \delta_{a;b,c}\:=\ {\tilde a}\ {\rm o}\ \widetilde {a,\ b}\ {\rm o}\ \widetilde {b,\ c}\ {\rm o}\ \widetilde {c,\ a}$$ is called the defect function, or shortly the defect. We show that δa;b,c is a rotation around the point a where the angle of δa;b,c is exactly the angle defect of the triangle (a, b, c) (cfr. 3.5). After fixing a point $o\ \in {\cal P}$ and setting $a+b\:=\widetilde {o,\ a}\ {\rm o}\ {\tilde o}\ (b),\ ({\cal P},+)$ becomes a K-loop and the so called precession function $$\delta_{a,b}\:=\ \big((a+b)^{+}\big)^{-1}\ {\rm o}\ a^{+}\ {\rm o}\ b^+$$ of the loop ( ${\cal P}, +)$ coincides with the defect of the triangle (o, a, ?b) (cfr. (4.4.1)), hence δa,b = δo;a,?b for all $a, b \in {\cal P}$ . With the order relation of the absolute plane we associate an orientation function $$\Omega\:\ \Delta\ \times \Delta \rightarrow \lbrace -1,+1\rbrace$$ defined on the pairs of triangles (cfr. (2.8)). If (a, b, c) ∈ Δ is a triangle and d a point of the line $\overline {b,\ c}$ 1, then (cfr. (3.9.2)): $$\delta_{a;b,c}\ {\rm o}\ \delta_{a;c,d}=\delta_{a;b,d}$$ and moreover, if d is even a point of the open segment ]b, c[ then (cfr. (2.8.5)): $$\Omega(a,\ b,\ c;\ a,\ b,\ d)=\Omega(a,\ b,\ d;\ a,\ d,\ c)=+1.$$ Thus the angle defect of the triangle (a, b, c) is the sum of the angle defects of the triangles (a, b, d) and (a, d, c). 相似文献
20.
Let $\{\varphi _n(z)\}_{n\ge 0}$ be a sequence of inner functions satisfying that $\zeta _n(z):=\varphi _n(z)/\varphi _{n+1}(z)\in H^\infty (z)$ for every $n\ge 0$ and $\{\varphi _n(z)\}_{n\ge 0}$ has no nonconstant common inner divisors. Associated with it, we have a Rudin type invariant subspace $\mathcal{M }$ of $H^2(\mathbb{D }^2)$ . The ranks of $\mathcal{M }\ominus w\mathcal{M }$ for $\mathcal{F }_z$ and $\mathcal{F }^*_z$ respectively are determined, where $\mathcal{F }_z$ is the fringe operator on $\mathcal{M }\ominus w\mathcal{M }$ . Let $\mathcal{N }= H^2(\mathbb{D }^2)\ominus \mathcal{M }$ . It is also proved that the rank of $\mathcal{M }\ominus w\mathcal{M }$ for $\mathcal{F }^*_z$ equals to the rank of $\mathcal{N }$ for $T^*_z$ and $T^*_w$ . 相似文献