共查询到20条相似文献,搜索用时 31 毫秒
1.
It is well known that the complexity of the Delaunay
triangulation of $n$ points in $\RR ^d$, i.e., the number of its
simplices, can be $\Omega (n^{\lceil {d}/{2}\rceil })$. In
particular, in $\RR ^3$, the number of tetrahedra can be quadratic.
Put another way, if the points are uniformly distributed in a cube or a
ball, the expected complexity of the Delaunay triangulation is only
linear. The case of points distributed on a surface is of great
practical importance in reverse engineering since most surface
reconstruction algorithms first construct the Delaunay triangulation
of a set of points measured on a surface.
In this paper we bound the complexity of the Delaunay triangulation
of points distributed on the boundary of a given polyhedron. Under a
mild uniform sampling condition, we provide deterministic asymptotic
bounds on the complexity of the three-dimensional Delaunay triangulation of the
points when the sampling density increases. More precisely, we show
that the complexity is $O(n^{1.8})$ for general polyhedral surfaces
and $O(n\sqrt{n})$ for convex polyhedral surfaces.
Our proof uses a geometric result of independent interest that states
that the medial axis of a surface is well approximated by a subset of
the Voronoi vertices of the sample points. 相似文献
2.
Adrian Dumitrescu Joseph S. B. Mitchell Micha Sharir 《Discrete and Computational Geometry》2004,31(2):207-227
We provide a variety of new upper and lower bounds
and simpler proof techniques for the efficient construction of
binary space partitions (BSPs) of axis-parallel rectangles
of various dimensions.
(a) We construct a set of $n$ disjoint axis-parallel segments
in the plane such that any binary space auto-partition has size
at least $2n-o(n)$, almost matching an upper bound of dAmore and
Franciosa.
(b) We establish a similar lower bound of
$7n/3-o(n)$ for disjoint rectangles in the plane.
(c) We simplify and improve BSP constructions of Paterson and Yao for
disjoint segments in $\reals^d$ and disjoint rectangles in $\reals^3$.
(d) We derive a worst-case bound of $\Theta(n^{5/3})$ for the size of
BSPs of disjoint $2$-rectangles in $4$-space.
(e) For disjoint $k$-rectangles in $d$-space, we prove the worst-case
bound $\Theta(n^{d/(d-k)})$, for any $k<d/2$; this bound holds for all
$k<d$ if the rectangles are allowed to intersect. 相似文献
3.
In this paper we investigate the
probabilistic linear $(n,\delta)$-widths and $p$-average linear
$n$-widths of the Sobolev space $W^r_2$ equipped with the Gaussian
measure $\mu$ in the $L_{\infty}$-norm, and determine the
asymptotic equalities
\begin{eqnarray*}
\lambda_{n,\delta}(W^r_2,\mu,L_{\infty})
&\asymp&\frac{\sqrt{\ln
(n/\delta)}}{n^{r+(s-1)/2}},\\[3pt]
\lambda^{(a)}_n(W^r_2,\mu,L_{\infty})_p &\asymp&\frac{\sqrt{\ln
n}}{n^{r+(s-1)/2}}, \qquad 0 < p < \infty.
\end{eqnarray*} 相似文献
4.
Hengcai TANG 《数学年刊B辑(英文版)》2016,37(5):793-802
Let f be a holomorphic Hecke eigenform of weight k for the modular groupΓ = SL2(Z) and let λf(n) be the n-th normalized Fourier coefficient. In this paper, by a new estimate of the second integral moment of the symmetric square L-function related to f, the estimate 1λf(n21) x2 k2(log(x + k))6n≤x is established, which improves the previous result. 相似文献
5.
Assume that we want to recover $f : \Omega \to {\bf C}$ in the
$L_r$-quasi-norm ($0 < r \le \infty$) by a linear sampling method
$$
S_n f = \sum_{j=1}^n f(x^j) h_j ,
$$
where $h_j \in L_r(\Omega )$ and $x^j \in \Omega$
and $\Omega \subset {\bf R}^d$ is an arbitrary bounded Lipschitz domain.
We assume that $f$ is from the unit ball of
a Besov space $B^s_{pq} (\Omega)$ or of a
Triebel--Lizorkin space $F^s_{pq} (\Omega)$ with
parameters such that the space is compactly embedded
into $C(\overline{\Omega})$. We prove that the optimal rate
of convergence of linear sampling methods is
$$
n^{ -{s}/{d} + ({1}/{p}-{1}/{r})_+} ,
$$
nonlinear methods do not yield a better rate.
To prove this we use a result from Wendland (2001) as well
as results concerning the spaces $B^s_{pq} (\Omega) $ and $F^s_{pq}(\Omega)$.
Actually, it is another aim of this paper to complement the
existing literature about the function spaces $B^s_{pq} (\Omega)$ and $F^s_{pq}
(\Omega)$ for bounded Lipschitz domains $\Omega \subset {\bf R}^d$.
In this sense, the paper is also a continuation of a paper by Triebel (2002). 相似文献
6.
Hendrik Hubrechts 《Foundations of Computational Mathematics》2008,8(1):137-169
Let E
Γ be a family of hyperelliptic curves defined by
, where
is defined over a small finite field of odd characteristic. Then with
in an extension degree n field over this small field, we present a deterministic algorithm for computing the zeta function of the curve
by using Dwork deformation in rigid cohomology. The time complexity of the algorithm is
and it needs
bits of memory. A slight adaptation requires only
space, but costs time
. An implementation of this last result turns out to be quite efficient for n big enough.
H. Hubrechts is a Research Assistant of the Research Foundation–Flanders (FWO–Vlaanderen). 相似文献
7.
Zheng Zukang 《数学年刊B辑(英文版)》1996,17(3):289-300
Suppose that Z1,Z2…,Zn are independent normal random variables with common mean μ and variance σ^2. Then S^2=∑n n=1 (zi-z)^2/σ^2 and T =(n-1的平方根)-Z/(S^2/n的平方根) have x2n-1 distribution and tn-1 distribution respectively. If the normal assumption fails, there will be the remainders of the distribution functions and density functions. This paper gives the direct expansions of distribution functions and density functions of S^2 and T up to o(n^-1). They are more intuitive and convenient than usual Edgeworth expansions. 相似文献
8.
9.
Prof. Dr. Dieter Wolke 《Monatshefte für Mathematik》1977,83(2):163-166
By means of the Hoheisel—Montgomery prime number theorem it is shown that for every α≥1 the inequality $$|(\sigma (n)/n) - \alpha | \leqslant {1 \mathord{\left/ {\vphantom {1 {n^{({2 \mathord{\left/ {\vphantom {2 5}} \right. \kern-\nulldelimiterspace} 5}) - \varepsilon } }}} \right. \kern-\nulldelimiterspace} {n^{({2 \mathord{\left/ {\vphantom {2 5}} \right. \kern-\nulldelimiterspace} 5}) - \varepsilon } }}(\varepsilon > 0,\sigma (n) = \sum\limits_{d/n} d )$$ has infinitely many solutionsn∈N. It is highly probable that the exponent 2/5 can be replaced by 1. 相似文献
10.
Fatemah Ayatollah Zadeh Shirazi Amir Fallahpour Mohammad Reza Mardanbeigi & Zahra Nili Ahmadabadi 《分析论及其应用》2022,38(1):110-120
For a finite discrete topological space $X$ with at least two elements, a nonempty set $\Gamma$, and a map $\varphi:\Gamma \to \Gamma$, $\sigma_{\varphi}:X^{\Gamma} \to X^{\Gamma}$with $\sigma_{\varphi}((x_{\alpha})_{\alpha \in \Gamma})=(x_{\varphi(\alpha)})_{\alpha \in \Gamma}$ (for $(x_{\alpha})_{\alpha \in \Gamma} \in X^{\Gamma}$) is a generalized shift. In this text for $\mathcal{S} = \{\sigma_{\varphi}:\varphi \in \Gamma^{\Gamma}\}$ and $\mathcal{H}=\{\sigma_{\varphi}:\Gamma \xrightarrow{\varphi} \Gamma$ is bijective$\}$ we study proximal relations of transformation semigroups $(\mathcal{S}, X^{\Gamma})$ and $(\mathcal{H}, X^{\Gamma})$. Regarding proximal relation we prove: $$P(\mathcal{S}, X^{\Gamma}) = \{((x_{\alpha})_{\alpha \in \Gamma},(y_{\alpha})_{\alpha \in \Gamma}) \in X^{\Gamma} \times X^{\Gamma} : \exists \beta \in \Gamma (x_{\beta} = y_{\beta})\}$$and $P(\mathcal{H}, X^{\Gamma} ) \subseteq \{((x_{\alpha})_{\alpha \in \Gamma},(y_{\alpha})_{\alpha \in \Gamma}) \in X^{\Gamma} \times X^{\Gamma} : \{\beta \in \Gamma : x_{\beta} = y_{\beta}\}$ is infinite$\}$ $\cup\{($ $x,x) : x \in \mathcal{X}\}$. Moreover, for infinite $\Gamma$, both transformation semigroups $(\mathcal{S}, X^{\Gamma})$ and $(\mathcal{H}, X^{\Gamma})$ are regionally proximal, i.e., $Q(\mathcal{S}, X^{\Gamma}) = Q(\mathcal{H}, X^{\Gamma} ) = X^{\Gamma} \times X^{\Gamma}$, also for sydetically proximal relation we have $L(\mathcal{H}, X^{\Gamma}) = \{((x_{\alpha})_{\alpha \in \Gamma},(y_{\alpha})_{\alpha \in \Gamma}) \in X^{\Gamma} \times X^{\Gamma} : \{\gamma ∈ \Gamma :$ $x_{\gamma} \neq y_{\gamma}\}$ is finite$\}$. 相似文献
11.
On the real line, the Dunkl operators$$D_{\nu}(f)(x):=\frac{d f(x)}{dx} + (2\nu+1) \frac{f(x) - f(-x)}{2x}, ~~ \quad\forall \, x \in \mathbb{R}, ~ \forall \, \nu \ge -\tfrac{1}{2}$$are differential-difference operators associated with the reflection group $\mathbb{Z}_2$ on $\mathbb{R}$, and on the $\mathbb{R}^d$ the Dunkl operators $\big\{D_{k,j}\big\}_{j=1}^{d}$ are the differential-difference operators associated with the reflection group $\mathbb{Z}_2^d$ on $\mathbb{R}^{d}$.In this paper, in the setting $\mathbb{R}$ we show that $b \in BMO(\mathbb{R},dm_{\nu})$ if and only if the maximal commutator $M_{b,\nu}$ is bounded on Orlicz spaces $L_{\Phi}(\mathbb{R},dm_{\nu})$. Also in the setting $\mathbb{R}^{d}$ we show that $b \in BMO(\mathbb{R}^{d},h_{k}^{2}(x) dx)$ if and only if the maximal commutator $M_{b,k}$ is bounded on Orlicz spaces $L_{\Phi}(\mathbb{R}^{d},h_{k}^{2}(x) dx)$. 相似文献
12.
刘桥 《数学年刊A辑(中文版)》2014,35(5):591-612
考虑了R~n上n(n≥2)维向列型液晶流(u,d)当初值属于Q_α~(-1)(R~n,R~n)×Q_α(R~n,S~2)(其中α∈(0,1))时Cauchy问题的适定性,这里的Q_α(R~n)最早由Essen,Janson,Peng和Xiao(见[Essen M,Janson S,Peng L,Xiao J.Q space of several real variables,Indiana Univ Math J,2000,49:575-615])引入,是指由R~n中满足的所有可测函数f全体所组成的空间.上式左端在取遍Rn中所有以l(I)为边长且边平行于坐标轴的立方体I的全体中取上确界,而Q_α~(-1)(R~n):=▽·Q_α(R~n).最后证明了解(u,d)在类C([0,T);Q_(α,T)~(-1)(R~n,R~n))∩L_(loc)~∞((0,T);L~∞(R~n,R~n))×C([0,T);Q_α,T(R~n,S~2))∩L_(loc)~∞((0,T);W~(1,∞)(R~n,S~2))(其中0T≤∞)中是唯一的. 相似文献
13.
To each irreducible infinite dimensional representation $(\pi ,\mathcal {H})$ of a C*‐algebra $\mathcal {A}$, we associate a collection of irreducible norm‐continuous unitary representations $\pi _{\lambda }^\mathcal {A}$ of its unitary group ${\rm U}(\mathcal {A})$, whose equivalence classes are parameterized by highest weights in the same way as the irreducible bounded unitary representations of the group ${\rm U}_\infty (\mathcal {H}) = {\rm U}(\mathcal {H}) \cap (\mathbf {1} + K(\mathcal {H}))$ are. These are precisely the representations arising in the decomposition of the tensor products $\mathcal {H}^{\otimes n} \otimes (\mathcal {H}^*)^{\otimes m}$ under ${\rm U}(\mathcal {A})$. We show that these representations can be realized by sections of holomorphic line bundles over homogeneous Kähler manifolds on which ${\rm U}(\mathcal {A})$ acts transitively and that the corresponding norm‐closed momentum sets $I_{\pi _\lambda ^\mathcal {A}}^{\bf n} \subseteq {\mathfrak u}(\mathcal {A})^{\prime }$ distinguish inequivalent representations of this type. 相似文献
14.
H. Beiro da Veiga 《数学年刊B辑(英文版)》1995,16(4):407-412
ANEWREGULARITYCLASSFORTHENAVIER-STOKESEQUATIONSINIR~n¥H.BEIRaODAVEIGA(DepotmentofMathematics,PisaUniversity,Pisa,Italy)Abstra?.. 相似文献
15.
In this paper,we construct a function φ in L2(Cn,d Vα) which is unbounded on any neighborhood of each point in Cnsuch that Tφ is a trace class operator on the SegalBargmann space H2(Cn,d Vα).In addition,we also characterize the Schatten p-class Toeplitz operators with positive measure symbols on H2(Cn,d Vα). 相似文献
16.
Yifan Yang 《Transactions of the American Mathematical Society》2000,352(6):2581-2600
We investigate the asymptotic behavior of the partition function defined by , where denotes the von Mangoldt function. Improving a result of Richmond, we show that , where is a positive constant and denotes the times iterated logarithm. We also show that the error term can be improved to if and only if the Riemann Hypothesis holds.
17.
Cesar Enrique Torres Ledesm Ziheng Zhang Amado Mendez 《Journal of Applied Analysis & Computation》2019,9(6):2436-2453
We study the existence of solutions for the following fractional Hamiltonian systems
$$
\left\{
\begin{array}{ll}
- _tD^{\alpha}_{\infty}(_{-\infty}D^{\alpha}_{t}u(t))-\lambda L(t)u(t)+\nabla W(t,u(t))=0,\\[0.1cm]
u\in H^{\alpha}(\mathbb{R},\mathbb{R}^n),
\end{array}
\right.
~~~~~~~~~~~~~~~~~(FHS)_\lambda
$$
where $\alpha\in (1/2,1)$, $t\in \mathbb{R}$, $u\in \mathbb{R}^n$, $\lambda>0$ is a parameter, $L\in C(\mathbb{R},\mathbb{R}^{n^2})$ is a symmetric matrix, $W\in C^1(\mathbb{R} \times \mathbb{R}^n,\mathbb{R})$. Assuming that
$L(t)$ is a positive semi-definite symmetric matrix, that is, $L(t)\equiv 0$ is allowed to occur in some finite interval $T$ of $\mathbb{R}$,
$W(t,u)$ satisfies some superquadratic conditions weaker than Ambrosetti-Rabinowitz condition, we show that (FHS)$_\lambda$ has a solution which vanishes on
$\mathbb{R}\setminus T$ as $\lambda \to \infty$, and converges to some $\tilde{u}\in H^{\alpha}(\R, \R^n)$. Here, $\tilde{u}\in E_{0}^{\alpha}$ is a solution
of the Dirichlet BVP for fractional systems on the finite interval $T$. Our results are new and improve recent results in the literature even in the case $\alpha =1$. 相似文献
18.
Benjamin Doerr 《Proceedings of the American Mathematical Society》2004,132(7):1905-1912
We investigate the discrepancy (or balanced coloring) problem for hypergraphs and matrices in arbitrary numbers of colors. We show that the hereditary discrepancy in two different numbers of colors is the same apart from constant factors, i.e.,
This contrasts the ordinary discrepancy problem, where no correlation exists in many cases.
This contrasts the ordinary discrepancy problem, where no correlation exists in many cases.
19.
Xiaomeng Li 《偏微分方程(英文版)》2020,33(2):171-192
Let $\Omega\subset \mathbb{R}^4$ be a smooth bounded domain, $W_0^{2,2}(\Omega)$ be the usual Sobolev space. For any positive integer $\ell$, $\lambda_{\ell}(\Omega)$ is the $\ell$-th eigenvalue of the bi-Laplacian operator. Define $E_{\ell}=E_{\lambda_1(\Omega)}\oplus E_{\lambda_2(\Omega)}\oplus\cdots\oplus E_{\lambda_{\ell}(\Omega)}$, where $E_{\lambda_i(\Omega)}$ is eigenfunction space associated with $\lambda_i(\Omega)$. $E^{\bot}_{\ell}$ denotes the orthogonal complement of $E_\ell$ in $W_0^{2,2}(\Omega)$. For $0\leq\alpha<\lambda_{\ell+1}(\Omega)$, we define a norm by $\|u\|_{2,\alpha}^{2}=\|\Delta u\|^2_2-\alpha \|u\|^2_2$ for $u\in E^\bot_{\ell}$. In this paper, using the blow-up analysis, we prove the following Adams inequalities$$\sup_{u\in E_{\ell}^{\bot},\,\| u\|_{2,\alpha}\leq 1}\int_{\Omega}e^{32\pi^2u^2}{\rm d}x<+\infty;$$moreover, the above supremum can be attained by a function $u_0\in E_{\ell}^{\bot}\cap C^4(\overline{\Omega})$ with $\|u_0\|_{2,\alpha}=1$. This result extends that of Yang (J. Differential Equations, 2015), and complements that of Lu and Yang (Adv. Math. 2009) and Nguyen (arXiv: 1701.08249, 2017). 相似文献
20.
设$\mu$是$[0,1)$上的正规函数,
给出了${\bf C}^{\it n}$中单位球$B$上$\mu$-Bloch空间$\beta_{\mu}$中函数的几种刻画. 证明了下列条件是等价的:
(1) $f\in \beta_{\mu}$; \
(2) $f\in H(B)$且函数$\mu(|z|)(1-|z|^{2})^{\gamma-1}R^{\alpha,\gamma}f(z)$ 在$B$上有界;
(3) $f\in H(B)$ 且函数${\mu(|z|)(1-|z|^{2})^{M_{1}-1}\frac{\partial^{M_{1}} f}{\partial z^{m}}(z)}$ 在$B$上有界, 其中$|m|=M_{1}$;
(4) $f\in H(B)$ 且函数${\mu(|z|)(1-|z|^{2})^{M_{2}-1}R^{(M_{2})}f(z)}$ 在$B$上有界. 相似文献