共查询到20条相似文献,搜索用时 31 毫秒
1.
Dan Knopf 《Journal of Geometric Analysis》2009,19(4):817-846
Valuable models for immortal solutions of Ricci flow that collapse with bounded curvature come from locally $\mathcal{G}Valuable models for immortal solutions of Ricci flow that collapse with bounded curvature come from locally
G\mathcal{G}
-invariant solutions on bundles
GN\hookrightarrowM \oversetp? Bn\mathcal{G}^{N}\hookrightarrow\mathcal{M}\,\overset{\pi }{\mathcal{\longrightarrow}}\,\mathcal{B}^{n}
, with
G\mathcal{G}
a nilpotent Lie group. In this paper, we establish convergence and asymptotic stability, modulo smooth finite-dimensional
center manifolds, of certain ℝ
N
-invariant model solutions. In case N+n=3, our results are relevant to work of Lott classifying the asymptotic behavior of all 3-dimensional Ricci flow solutions
whose sectional curvatures and diameters are respectively
O(t-1)\mathcal{O}(t^{-1})
and
O(t1/2)\mathcal{O}(t^{1/2})
as t→∞. 相似文献
2.
We propose an algorithm to sample and mesh a k-submanifold M{\mathcal{M}} of positive reach embedded in
\mathbbRd{\mathbb{R}^{d}} . The algorithm first constructs a crude sample of M{\mathcal{M}} . It then refines the sample according to a prescribed parameter e{\varepsilon} , and builds a mesh that approximates M{\mathcal{M}} . Differently from most algorithms that have been developed for meshing surfaces of
\mathbbR 3{\mathbb{R} ^3} , the refinement phase does not rely on a subdivision of
\mathbbR d{\mathbb{R} ^d} (such as a grid or a triangulation of the sample points) since the size of such scaffoldings depends exponentially on the
ambient dimension d. Instead, we only compute local stars consisting of k-dimensional simplices around each sample point. By refining the sample, we can ensure that all stars become coherent leading
to a k-dimensional triangulated manifold [^(M)]{\hat{\mathcal{M}}} . The algorithm uses only simple numerical operations. We show that the size of the sample is O(e-k){O(\varepsilon ^{-k})} and that [^(M)]{\hat{\mathcal{M}}} is a good triangulation of M{\mathcal{M}} . More specifically, we show that M{\mathcal{M}} and [^(M)]{\hat{\mathcal{M}}} are isotopic, that their Hausdorff distance is O(e2){O(\varepsilon ^{2})} and that the maximum angle between their tangent bundles is O(e){O(\varepsilon )} . The asymptotic complexity of the algorithm is T(e) = O(e-k2-k){T(\varepsilon) = O(\varepsilon ^{-k^2-k})} (for fixed M, d{\mathcal{M}, d} and k). 相似文献
3.
Ameer Athavale 《Integral Equations and Operator Theory》2010,68(2):255-262
We consider an important class of subnormal operator m-tuples M
p
(p = m,m + 1, . . .) that is associated with a class of reproducing kernel Hilbert spaces Hp{{\mathcal H}_p} (with M
m
being the multiplication tuple on the Hardy space of the open unit ball
\mathbb B2m{{\mathbb B}^{2m}} in
\mathbb Cm{{\mathbb C}^m} and M
m+1 being the multiplication tuple on the Bergman space of
\mathbb B2m{{\mathbb B}^{2m}}). Given any two C*-algebras A{\mathcal A} and B{\mathcal B} from the collection {C*(Mp), C*([(M)\tilde]p): p 3 m}{\{C^*({M}_p), C^*({\tilde M}_p): p \geq m\}} , where C*(M
p
) is the unital C*-algebra generated by M
p
and C*([(M)\tilde]p){C^*({\tilde M}_p)} the unital C*-algebra generated by the dual [(M)\tilde]p{{\tilde M}_p} of M
p
, we verify that A{\mathcal A} and B{\mathcal B} are either *-isomorphic or that there is no homotopy equivalence between A{\mathcal A} and B{\mathcal B} . For example, while C*(M
m
) and C*(M
m+1) are well-known to be *-isomorphic, we find that C*([(M)\tilde]m){C^*({\tilde M}_m)} and C*([(M)\tilde]m+1){C^*({\tilde M}_{m+1})} are not even homotopy equivalent; on the other hand, C*(M
m
) and C*([(M)\tilde]m){C^*({\tilde M}_{m})} are indeed *-isomorphic. Our arguments rely on the BDF-theory and K-theory. 相似文献
4.
We show how B-series may be used to derive in a systematic way the analytical expressions of the high-order stroboscopic averaged
equations that approximate the slow dynamics of highly oscillatory systems. For first-order systems we give explicitly the
form of the averaged systems with O(ej)\mathcal{O}(\epsilon^{j}) errors, j=1,2,3 (2π
ε denotes the period of the fast oscillations). For second-order systems with large O(e-1)\mathcal{O}(\epsilon^{-1}) forces, we give the explicit form of the averaged systems with O(ej)\mathcal{O}(\epsilon^{j}) errors, j=1,2. A variant of the Fermi–Pasta–Ulam model and the inverted Kapitsa pendulum are used as illustrations. For the former
it is shown that our approach establishes the adiabatic invariance of the oscillatory energy. Finally we use B-series to analyze
multiscale numerical integrators that implement the method of averaging. We construct integrators that are able to approximate
not only the simplest, lowest-order averaged equation but also its high-order counterparts. 相似文献
5.
Manuel del Pino Michal Kowalczyk Juncheng Wei Jun Yang 《Geometric And Functional Analysis》2010,20(4):918-957
Let (M,[(g)\tilde]){(\mathcal {M},\tilde{g})} be an N-dimensional smooth compact Riemannian manifold. We consider the singularly perturbed Allen–Cahn equation
e2 D[(g)\tilde] u + (1 - u2 )u = 0 in M,\varepsilon ^2 \Delta _{\tilde g} u \, + \, (1 - u^2 )u\, =\, 0 \quad {\rm{in}} \, \mathcal {M}, 相似文献
6.
FFTs on the Rotation Group 总被引:1,自引:0,他引:1
Peter J. Kostelec Daniel N. Rockmore 《Journal of Fourier Analysis and Applications》2008,14(2):145-179
We discuss an implementation of an efficient algorithm for the numerical computation of Fourier transforms of bandlimited
functions defined on the rotation group SO(3). The implementation is freely available on the web. The algorithm described herein uses O(B
4) operations to compute the Fourier coefficients of a function whose Fourier expansion uses only (the O(B
3)) spherical harmonics of degree at most B. This compares very favorably with the direct O(B
6) algorithm derived from a basic quadrature rule on O(B
3) sample points. The efficient Fourier transform also makes possible the efficient calculation of convolution over SO(3) which has been used as the analytic engine for some new approaches to searching 3D databases (Funkhouser et al., ACM Trans.
Graph. 83–105, [2003]; Kazhdan et al., Eurographics Symposium in Geometry Processing, pp. 167–175, [2003]). Our implementation is based on the “Separation of Variables” technique (see, e.g., Maslen and Rockmore, Proceedings of
the DIMACS Workshop on Groups and Computation, pp. 183–237, [1997]). In conjunction with techniques developed for the efficient computation of orthogonal polynomial expansions (Driscoll et
al., SIAM J. Comput. 26(4):1066–1099, [1997]), our fast SO(3) algorithm can be improved to give an algorithm of complexity O(B
3log 2
B), but at a cost in numerical reliability. Numerical and empirical results are presented establishing the empirical stability
of the basic algorithm. Examples of applications are presented as well.
First author was supported by NSF ITR award; second author was supported by NSF Grant 0219717 and the Santa Fe Institute. 相似文献
7.
We consider the space M(n,m)\mathcal{M}(n,m) of ordered m-tuples of distinct points in the boundary of complex hyperbolic n-space,
H\mathbbCn\mathbf{H}_{\mathbb{C}}^{n}, up to its holomorphic isometry group PU(n,1). An important problem in complex hyperbolic geometry is to construct and describe the moduli space for M(n,m)\mathcal{M}(n,m). In particular, this is motivated by the study of the deformation space of complex hyperbolic groups generated by loxodromic
elements. In the present paper, we give the complete solution to this problem. 相似文献
8.
In the moduli space M \mathcal{M}
g
of genus-g Riemann surfaces, consider the locus RMO \mathcal{R}{\mathcal{M}_{\mathcal{O}}} of Riemann surfaces whose Jacobians have real multiplication by the order O \mathcal{O} in a totally real number field F of degree g. If g = 3, we compute the closure of RMO \mathcal{R}{\mathcal{M}_{\mathcal{O}}} in the Deligne–Mumford compactification of M \mathcal{M}
g
and the closure of the locus of eigenforms over RMO \mathcal{R}{\mathcal{M}_{\mathcal{O}}} in the Deligne–Mumford compactification of the moduli space of holomorphic 1-forms. For higher genera, we give strong necessary
conditions for a stable curve to be in the boundary of RMO \mathcal{R}{\mathcal{M}_{\mathcal{O}}} . Boundary strata of RMO \mathcal{R}{\mathcal{M}_{\mathcal{O}}} are parameterized by configurations of elements of the field F satisfying a strong geometry of numbers type restriction. 相似文献
9.
Let M be an n-generator projective MV-algebra. Then there is a rational polyhedron P in the n-cube [0, 1]
n
such that M is isomorphic to the MV-algebra M(P){{\rm{\mathcal {M}}}(P)} of restrictions to P of the McNaughton functions of the free n-generator MV-algebra. P necessarily contains a vertex vP of the n-cube. We characterize those polyhedra contained in the n-cube such that M(P){{\mathcal {M}}(P)} is projective. In particular, if the rational polyhedron P is a union of segments originating at some fixed vertex vP of the n-cube, then M(P){{\mathcal {M}}(P)} is projective. Using this result, we prove that if A = M(P){A = {\mathcal {M}}(P)} and B = M(Q){B = {\mathcal {M}}(Q)} are projective, then so is the subalgebra of A × B given by {(f, g) | f(v
P
) = g(v
Q
), and so is the free product
A \coprod B{A \coprod B} . 相似文献
10.
Izu Vaisman 《Mediterranean Journal of Mathematics》2010,7(4):415-444
If A is a Lie algebroid over a foliated manifold (M, F){(M, {\mathcal {F}})}, a foliation of A is a Lie subalgebroid B with anchor image TF{T{\mathcal {F}}} and such that A/B is locally equivalent with Lie algebroids over the slice manifolds of F{\mathcal F}. We give several examples and, for foliated Lie algebroids, we discuss the following subjects: the dual Poisson structure
and Vaintrob's supervector field, cohomology and deformations of the foliation, integration to a Lie groupoid. In the last
section, we define a corresponding notion of a foliation of a Courant algebroid A as a bracket–closed, isotropic subbundle B with anchor image TF{T{\mathcal {F}}} and such that B ^ /B{B^{ \bot } /B} is locally equivalent with Courant algebroids over the slice manifolds of F{\mathcal F}. Examples that motivate the definition are given. 相似文献
11.
We construct a certain algebro-geometric version
L(X)\mathcal{L}(X)
of the free loop space for a complex algebraic variety X. This is an ind-scheme containing the scheme
L0(X)\mathcal{L}^{0}(X)
of formal arcs in X as studied by Kontsevich and Denef-Loeser. We describe the chiral de Rham complex of Malikov, Schechtman and Vaintrob in terms of the space of formal distributions on
L(X)\mathcal{L}(X)
supported in
L0(X)\mathcal{L}^{0}(X)
. We also show that
L(X)\mathcal{L}(X)
possesses a factorization structure: a certain non-linear version of a vertex algebra structure. This explains the heuristic principle that all linear constructions applied to the free loop space produce vertex algebras. 相似文献
12.
We prove that slices of the unitary spread of Q+(7,q)\mathcal{Q}^{+}(7,q), q≡2 (mod 3), can be partitioned into five disjoint classes. Slices belonging to different classes are non-equivalent under
the action of the subgroup of PΓO
+(8,q) fixing the unitary spread. When q is even, there is a connection between spreads of Q+(7,q)\mathcal{Q}^{+}(7,q) and symplectic 2-spreads of PG(5,q) (see Dillon, Ph.D. thesis, 1974 and Dye, Ann. Mat. Pura Appl. (4) 114, 173–194, 1977). As a consequence of the above result we determine all the possible non-equivalent symplectic 2-spreads arising from the
unitary spread of Q+(7,q)\mathcal{Q}^{+}(7,q), q=22h+1. Some of these already appeared in Kantor, SIAM J. Algebr. Discrete Methods 3(2), 151–165, 1982. When q=3
h
, we classify, up to the action of the stabilizer in PΓO(7,q) of the unitary spread of Q(6,q), those among its slices producing spreads of the elliptic quadric Q-(5,q)\mathcal{Q}^{-}(5,q). 相似文献
13.
Manuel Gräf 《Numerical Functional Analysis & Optimization》2013,34(7-8):665-688
In this paper, we construct sampling sets over the rotation group SO(3). The proposed construction is based on a parameterization, which reflects the product nature 2 × 1 of SO(3) very well, and leads to a spherical Pythagorean-like formula in the parameter domain. We prove that by using uniformly distributed points on 2 and 1, we obtain uniformly sampling nodes on the rotation group SO(3). Furthermore, quadrature formulae on 2 and 1 lead to quadratures on SO(3), as well. For scattered data on SO(3), we give a necessary condition on the mesh norm such that the sampling nodes possess nonnegative quadrature weights. We propose an algorithm for computing the quadrature weights for scattered data on SO(3) based on fast algorithms. We confirm our theoretical results with examples and numerical tests. 相似文献
14.
Sara Remogna 《BIT Numerical Mathematics》2011,51(3):757-776
This paper investigates the space S(X)\mathcal{S}(X) generated by the integer translates of the trivariate C
2 quartic box spline B defined by a set X of seven directions that forms a regular partition of the space into tetrahedra. 相似文献
15.
Thomas W. Müller Jan-Christoph Schlage-Puchta 《Abhandlungen aus dem Mathematischen Seminar der Universit?t Hamburg》2009,79(2):193-227
This paper continues the investigation of the groups
RF(G)\mathcal{RF}(G)
introduced and studied in [I.M. Chiswell and T.W. Müller, A class of groups with canonical ℝ-tree action, Springer LNM, to
appear]. Two new concepts, that of a test function, and that of a pair of locally incompatible (test) functions are introduced, and their theory is developed. As application, we obtain a number of new quantitative as
well as structural results concerning
RF(G)\mathcal{RF}(G)
and its quotient
RF(G)/E(G)\mathcal{RF}(G)/E(G)
modulo the subgroup E(G) generated by the elliptic elements. Among other things, the cardinality of
RF(G)\mathcal{RF}(G)
is determined, and it is shown that both
RF(G)\mathcal{RF}(G)
and
RF(G)/E(G)\mathcal{RF}(G)/E(G)
contain large free subgroups, and that their abelianizations both contain a large ℚ-vector space as direct summand. 相似文献
16.
Let G(OS)\mathbf{G}(\mathcal{O}_{S}) be an S-arithmetic subgroup of a connected, absolutely almost simple linear algebraic group G over a global function field K. We show that the sum of local ranks of G determines the homological finiteness properties of G(OS)\mathbf{G}(\mathcal{O}_{S}) provided the K-rank of G is 1. This shows that the general upper bound for the finiteness length of G(OS)\mathbf{G}(\mathcal{O}_{S}) established in an earlier paper is sharp in this case. 相似文献
17.
The sine-Gordon equation plays an important role in modern physics. By using spline function approximation, two implicit finite
difference schemes are developed for the numerical solution of one-dimensional sine-Gordon equation. Stability analysis of
the method has been given. It has been shown that by choosing the parameters suitably, we can obtain two schemes of orders
O(k2+k2h2+h2)\mathcal{O}(k^{2}+k^{2}h^{2}+h^{2}) and O(k2+k2h2+h4)\mathcal{O}(k^{2}+k^{2}h^{2}+h^{4}). At the end, some numerical examples are provided to demonstrate the effectiveness of the proposed schemes. 相似文献
18.
Tom Vroegrijk 《Acta Mathematica Hungarica》2011,133(4):387-395
For each bornology B\mathcal{B} on a Tychonoff space X we can construct a realcompactification uB(X)\upsilon_{\mathcal{B}}(X) of X with the property that it contains all elements of B\mathcal{B} as relatively compact subsets. Here we give various characterizations of the realcompactifications of a space X that are defined in this way. 相似文献
19.
The problem of understanding the Fourier-analytic structure of the cone of positive functions on a group has a long history.
In this article, we develop the first quantitative spectral concentration results for such functions over arbitrary compact
groups. Specifically, we describe a family of finite, positive quadrature rules for the Fourier coefficients of band-limited
functions on compact groups. We apply these quadrature rules to establish a spectral concentration result for positive functions:
given appropriately nested band limits A ì B ì [^(G)]\mathcal {A}\subset \mathcal {B} \subset\widehat{G}, we prove a lower bound on the fraction of L
2-mass that any B\mathcal {B}-band-limited positive function has in A\mathcal {A}. Our bounds are explicit and depend only on elementary properties of A\mathcal {A} and B\mathcal {B}; they are the first such bounds that apply to arbitrary compact groups. They apply to finite groups as a special case, where
the quadrature rule is given by the Fourier transform on the smallest quotient whose dual contains the Fourier support of
the function. 相似文献
20.
B.-Y. Chen 《Archiv der Mathematik》2000,74(2):154-160
Let M n be a Riemannian n-manifold. Denote by S(p) and [`(Ric)](p)\overline {Ric}(p) the Ricci tensor and the maximum Ricci curvature on M n at a point p ? Mnp\in M^n, respectively. First we show that every isotropic submanifold of a complex space form [(M)\tilde]m(4 c)\widetilde M^m(4\,c) satisfies S £ ((n-1)c+ [(n2)/4] H2)gS\leq ((n-1)c+ {n^2 \over 4} H^2)g, where H2 and g are the squared mean curvature function and the metric tensor on M n, respectively. The equality case of the above inequality holds identically if and only if either M n is totally geodesic submanifold or n = 2 and M n is a totally umbilical submanifold. Then we prove that if a Lagrangian submanifold of a complex space form [(M)\tilde]m(4 c)\widetilde M^m(4\,c) satisfies [`(Ric)] = (n-1)c+ [(n2)/4] H2\overline {Ric}= (n-1)c+ {n^2 \over 4} H^2 identically, then it is a minimal submanifold. Finally, we describe the geometry of Lagrangian submanifolds which satisfy the equality under the condition that the dimension of the kernel of second fundamental form is constant. 相似文献
|