Difference of a Hauptmodul for Γ0(N ) and certain Gross-Zagier type CM value formulas

In this work, we show that the difference of a Hauptmodul for a genus zero group Γ₀(N) as a modular function on Y₀(N) × Y₀(N) is a Borcherds lift of type(2, 2). As applications, we derive the monster denominator formula like product expansions for these modular functions and certain Gross-Zagier type CM value formulas.     

On the number of subgraphs of prescribed type of graphs with a given number of edges

All graphs considered are finite, undirected, with no loops, no multiple edges and no isolated vertices. For a graphH=〈V(H),E(H)〉 and forS ⊂V(H) defineN(S)={x ∈V(H):xy ∈E(H) for somey ∈S}. Define alsoδ(H)= max {|S| − |N(S)|:S ⊂V(H)},γ(H)=1/2(|V(H)|+δ(H)). For two graphsG, H letN(G, H) denote the number of subgraphs ofG isomorphic toH. Define also forl>0,N(l, H)=maxN(G, H), where the maximum is taken over all graphsG withl edges. We investigate the asymptotic behaviour ofN(l, H) for fixedH asl tends to infinity. The main results are:Theorem A. For every graph H there are positive constants c ₁, c₂ such that {fx116-1}. Theorem B. If δ(H)=0then {fx116-2},where |AutH|is the number of automorphisms of H. (It turns out thatδ(H)=0 iffH has a spanning subgraph which is a disjoint union of cycles and isolated edges.) This paper forms part of an M.Sc. Thesis written by the author under the supervision of Prof. M. A. Perles from the Hebrew University of Jerusalem.     

More on super-replication formulae (II)

We find three more new super-replicable functions by using certain congruence subgroups between Γ ₁(N) and Γ ₀(N), and generalize the recursion formulas for replicable functions to those of super-replicable functions.     

On the number of certain subgraphs contained in graphs with a given number of edges

All graphs considered are finite, undirected, with no loops, no multiple edges and no isolated vertices. For two graphsG, H, letN(G, H) denote the number of subgraphs ofG isomorphic toH. Define also, forl≧0,N(l, H)=maxN(G, H), where the maximum is taken over all graphsG withl edges. We determineN(l, H) precisely for alll≧0 whenH is a disjoint union of two stars, and also whenH is a disjoint union ofr≧3 stars, each of sizes ors+1, wheres≧r. We also determineN(l, H) for sufficiently largel whenH is a disjoint union ofr stars, of sizess ₁≧s ₂≧…≧s _r>r, provided (s ₁−s _r)²<s ₁+s _r−2r. We further show that ifH is a graph withk edges, then the ratioN(l, H)/l ^k tends to a finite limit asl→∞. This limit is non-zero iffH is a disjoint union of stars.     

A Generalization of the Direct and Inverse Problem for the Radial Schrödinger Equation

We consider the operators H₀= ?d²/dr² and H₁ = ?d²/dr² + V(r) (0< r< ∞) acting on a Hilbert space of complex functions f(r) such that the subspaces in which the operators are defined consist of twice differentiable functions which satisfy the boundary condition (d/dr)f(0) = αf(0). H₁ and H₀ are Hermitian in this subspace. Assuming V(r)→0 as r→∞ sufficiently rapidly, the scattering operator formalism is set up for the direct scattering problem. Next we consider the inverse problem of determining V(r) from H₀ and the spectral measure function for the spectrum of H₁ through the use of an appropriate Gelfand-Levitan equation. It is shown that generally the value of α associated with H₁ differs from that for H₀, i.e., H₁ and H₀ generally operate in different subspaces. Thus scattering cannot be defined. However, by changing the spectral measure function, one obtains a new Gelfand-Levitan equation such that H₁ is the same as before [i.e., α and V(r) are the same] from the operator H₀, which uses the same value of α as H₁. Thus H₁ and the new H₀ operate in the same subspace of Hilbert space, and scattering can be defined. The process of obtaining the new H₀ after finding H₁ from the old H₀ is somewhat analogous to renormalization in field theory, where a new H₀ is picked to have properties compatible with H₁. A necessary and sufficient condition on the spectral data is given which makes the domains of H₀ and H₁ coincide and thus makes “renormalization” unnecessary. The direct problem is a generalization of the usual l=0 radial Schrödinger equation. The inverse problem is a generalization of the corresponding inverse problem. It is also a generalization of the case α=0 for H₀ considered by Gelfand and Levitan in their early work on the inverse spectral problem. An incompletely understood connection of the inverse problem for the radial equation to solutions of the Korteweg-deVries equation in the half space is discussed. The existence of such a connection is one of the motivations for studying the generalized radial Schrodinger equation.     

The Ξ operator and its relation to Krein's spectral shift function

We explore connections between Krein's spectral shift function ζ(λ,H ₀, H) associated with the pair of self-adjoint operators (H ₀, H),H=H ₀+V, in a Hilbert spaceH and the recently introduced concept of a spectral shift operator Ξ(J+K ^*(H ₀−λ−i0)⁻¹ K) associated with the operator-valued Herglotz functionJ+K ^*(H ₀−z)⁻¹ K, Im(z)>0 inH, whereV=KJK ^* andJ=sgn(V). Our principal results include a new representation for ζ(λ,H ₀,H) in terms of an averaged index for the Fredholm pair of self-adjoint spectral projections (E J+A(λ)+tB(λ)(−∞, 0)),E _J((−∞, 0))), ℝ, whereA(λ)=Re(K ^*(H ₀−λ−i0⁻¹ K),B(λ)=Im(K ^*(H ₀−λ-i0)⁻¹ K) a.e. Moreover, introducing the new concept of a trindex for a pair of operators (A, P) inH, whereA is bounded andP is an orthogonal projection, we prove that ζ(λ,H ₀, H) coincides with the trindex associated with the pair (Ξ(J+K ^*(H ₀−λ−i0)K), Ξ(J)). In addition, we discuss a variant of the Birman-Krein formula relating the trindex of a pair of Ξ operators and the Fredholm determinant of the abstract scattering matrix. We also provide a generalization of the classical Birman—Schwinger principle, replacing the traditional eigenvalue counting functions by appropriate spectral shift functions.     

Nonnegative functions in weighted hardy spaces

Let W be a nonnegative summable function whose logarithm is also summable with respect to the Lebesgue measure on the unit circle. For 0?<?p?<?∞ , H^p (W) denotes a weighted Hardy space on the unit circle. When W?≡?1, H ^p(W) is the usual Hardy space H^p . We are interested in H^p ( W)₊ the set of all nonnegative functions in H^p ( W). If p?≥?1/2, H^p ₊ consists of constant functions. However H^p ( W)₊ contains a nonconstant nonnegative function for some weight W. In this paper, if p?≥?1/2 we determine W and describe H^p ( W)₊ when the linear span of H^p ( W)₊ is of finite dimension. Moreover we show that the linear span of H^p (W)₊ is of infinite dimension for arbitrary weight W when 0?<?p?<?1/2.     

On Birkhoff Coordinates for KdV

We prove that on the Sobolev spaces H^N₀ H^N_0 (N S 0) of 1-periodic functions in H^N_loc (\Bbb R) H^N_{loc} ({\Bbb R}) with average 0, the Korteweg-deVries equation (KdV) admits global Birkhoff coordinates.     

Carathéodory balls and norm balls of the domainH={(z1,z2)∈C2∶|z1|+|z2|<1}

LetH be the domain inC ² defined byH={Z=(z ₁,z ₂):║Z║₁=│z║₁│+│z║₂│<1}. LetC _H(z,w) be the Carathéodory distance ofH,z,w∈H. The Carathéodory ballB _C(z_C,α;H) with centerz _C,z_C∈H, and radius α, 0<α<1, is defined byB _c(z_C,α;H)={z∶C_H(z,z_C)<arc tanh α}. The norm ballB _N(z_N,r) with centerz _N,z_N∈H, and radiusr, 0<r<1-‖z _N‖₁, is defined byB _N(z_N,r)={z∶ ‖z−z_N‖₁<r}. Theorem:The only Carathéodory balls of H which are also norm balls are those with their center at the origin.     

Linear widths of Hölder-Nikol'skii classes of periodic functions of several variables

We consider the linear widths _N (W _p ^r (Tⁿ), L_q) and _N (H _p ^r (Tⁿ), L_q) of the classesW _p ^r (Tⁿ) andH _p ^r (Tⁿ) of periodic functions of one or several variables in the spaceL _q. For the Sobolev classesW _p ^r (Tⁿ) of functions of one or several variables, we state some well-known results without proof; for the Hölder-Nikol'skii classesH _p ^r (Tⁿ), we state some well-known results, prove some new results, and present some previously unpublished proofs.Translated fromMatematicheskie Zametki, Vol. 59, No. 2, pp. 189–199, February, 1996.This research was partially supported by the Russian Foundation for Basic Research under grant No. 93-01-00237 and by the International Science Foundation under grant No. MP1000.     

Square functions and <Emphasis Type="Italic">H</Emphasis><Superscript>∞</Superscript> calculus on subspaces of <Emphasis Type="Italic">L</Emphasis><Superscript><Emphasis Type="Italic">p</Emphasis></Superscript> and on Hardy spaces

Let X be a (closed) subspace of L^p with 1≤p<∞, and let A be any sectorial operator on X. We consider associated square functions on X, of the form and we show that if A admits a bounded H^∞ functional calculus on X, then these square functions are equivalent to the original norm of X. Then we deduce a similar result when X=H¹(ℝ^N) is the usual Hardy space, for an appropriate choice of || ||_F. For example if N=1, the right choice is the sum for h ∈ H¹(ℝ), where H denotes the Hilbert transform.     

A generalization of the finiteness problem in local cohomology modules

Let a be an ideal of a commutative Noetherian ring R with non-zero identity and let N be a weakly Laskerian R-module and M be a finitely generated R-module. Let t be a non-negative integer. It is shown that if H _a ⁱ (N) is a weakly Laskerian R-module for all i < t, then Hom _R (R/a, H _a ^t (M, N)) is weakly Laskerian R-module. Also, we prove that Ext _R ⁱ (R/a, H _a ^t )) is weakly Laskerian R-module for all i = 0, 1. In particular, if Supp _R (H _a ⁱ (N)) is a finite set for all i < t, then Ext _R ⁱ (R/a, H _a ^t (N)) is weakly Laskerian R-module for all i = 0, 1.     

On Integral Equations Related to Weighted Toeplitz Operators

For weighted Toeplitz operators T^N_j{{\mathcal T}^N_\varphi} defined on spaces of holomorphic functions in the unit ball, we derive regularity properties of the solutions f to the equation T^N_j(f)=h{{\mathcal T}^N_\varphi(f)=h} in terms of the regularity of the symbol φ and the data h. As an application, we deduce that if f\not o 0{f\not\equiv0} is a function in the Hardy space H ¹ such that its argument [`(f)]/f{\bar f/f} is in a Lipschitz space on the unit sphere \mathbb S{{\mathbb S}}, then f is also in the same Lipschitz space, extending a result of Dyakonov to several complex variables.     

Some basic inequalities in higher dimensional non-Euclid space

In this paper, the concept of a finite mass-points system∑N(H(A))(N>n) being in a sphere in an n-dimensional hyperbolic space Hn and a finite mass-points system∑N(S(A))(N>n) being in a hyperplane in an n-dimensional spherical space Sn is introduced, then, the rank of the Cayley-Menger matrix AN(H)(or a AN(S)) of the finite mass-points system∑∑N(S(A))(or∑N(S(A))) in an n-dimensional hyperbolic space Hn (or spherical space Sn) is no more than n 2 when∑N(H(A))(N>n) (or∑N(S(A))(N>n)) are in a sphere (or hyperplane). On the one hand, the Yang-Zhang's inequalities, the Neuberg-Pedoe's inequalities and the inequality of the metric addition in an n-dimensional hyperbolic space Hn and in an n-dimensional spherical space Sn are established by the method of characteristic roots. These are basic inequalities in hyperbolic geometry and spherical geometry. On the other hand, some relative problems and conjectures are brought.     

An example of the Cauchy problem well posed in any Gevrey class

We study the Cauchy problem for second order hyperbolic operators in the Gevrey classes where H(t,x) is given by the limit of a finite sum of functions such as a(t)b(x) with a(t) ≥ 0, b(x) ≥ 0. As a result, for any given positive integer N, we give an example H(t,x) which depends not only on t but also on x such that the Cauchy problem for P is well posed in the Gevrey class of order N.     

Some Results on Fractional Brownian Sheets and Their Local Times

Let B0^H = {B0^H（t）,t ∈ R＋^N） be a real-valued fractional Brownian sheet. Define the （N,d）- Gaussian random field B^H by
B^H（t） = （B1^H（t）,...,Bd^H（t）） t ∈ R＋^N, where B1^H, ..., Bd^H are independent copies of B0^H. The existence and joint continuity of local times of B^H is proven in some given conditions in [22]. We then study further properties of the local times of B^H, such as the moments of increments of local times, the large increments and the maximum moduli of continuity of local times and as a result, we answer the questions posed in [22].     

Isolation and Component Structure in Spaces of Composition Operators

We establish a condition that guarantees isolation in the space of composition operators acting between H^p(B_N) and H^q(B_N), for 0 < p ≤ ∞, 0 < q < ∞, and N ≥ 1. This result will allow us, in certain cases where 0 < q < p ≤ ∞, completely to characterize the component structure of this space of operators.     

Time delay and finite differences for the non-stationary non-linear Navier–Stokes equations

In the present paper we use a time delay ? > 0 for an energy conserving approximation of the non-linear term of the non-stationary Navier–Stokes equations. We prove that the corresponding initial-value problem (N_?) in smoothly bounded domains G ? ?³ is well-posed. We study a semidiscretized difference scheme for (N_?) and prove convergence to optimal order in the Sobolev space H²(G). Passing to the limit ?→0 we show that the sequence of stabilized solutions has an accumulation point such that it solves the Navier–Stokes problem (N_o) in a weak sense (Hopf).     

Weakly normal subgroups of finite groups

A subgroup H of a group G is weakly normal in G if H ^g ≤ N _G (H) implies that g ∈ N _G (H). In this paper, we shall obtain some characterizations about the supersolvability and nilpotency of G by assuming that some subgroups of prime power order of G are weakly normal in G.