This paper analyzes the random fluctuations obtained by a heterogeneous multi-scale first-order finite element method applied to solve elliptic equations with a random potential. Several multiscale numerical algorithms have been shown to correctly capture the homogenized limit of solutions of elliptic equations with coefficients modeled as stationary and ergodic random fields. Because theoretical results are available in the continuum setting for such equations, we consider here the case of a secondorder elliptic equations with random potential in two dimensions of space. We show that the random fluctuations of such solutions are correctly estimated by the heterogeneous multi-scale algorithm when appropriate fine-scale problems are solved on subsets that cover the whole computational domain. However, when the fine-scale problems are solved over patches that do not cover the entire domain, the random fluctuations may or may not be estimated accurately. In the case of random potentials with short-range interactions, the variance of the random fluctuations is amplified as the inverse of the fraction of the medium covered by the patches. In the case of random potentials with long-range interactions, however, such an amplification does not occur and random fluctuations are correctly captured independent of the (macroscopic) size of the patches. These results are consistent with those obtained in [9] for more general equations in the one-dimensional setting and provide indications on the loss in accuracy that results from using coarser, and hence computationally less intensive, algorithms.

No abstract uploaded!

Given positive integers$n$_{1}<$n$_{2}<... we show that the Hardy-type inequality $$\sum\limits_{k = 1}^\infty {\frac{{\left| {\hat f(n_k )} \right|}}{k}} \leqslant const\left\| f \right\|1$$ holds true for all$f$∈$H$^{1}, provided that the$n$_{$k$}'s, satisfy an appropriate (and indispensable) regularity condition. On the other hand, we exhibit inifinite-dimensional subspaces of$H$^{1}for whose elements the above inequality is always valid, no additional hypotheses being imposed. In conclusion, we extend a result of Douglas, Shapiro and Shields on the cyclicity of lacunary series for the backward shift operator.

In this paper, we show the Yau’s gradient estimate for harmonic maps into a metric space (X, dX ) with curvature bounded above by a constant κ (κ 􏰣 0) in the sense of Alexandrov. As a direct application, it gives some Liouville theorems for such harmonic maps. This extends the works of Cheng (1980) and Choi (1982) to harmonic maps into singular spaces.

In this paper, we introduce a new method to avoid zero reductions in Gröbner basis computation. We call this method LASyz, which stands for Lineal Algebra to compute Syzygies. LASyz uses exhaustively the information of both principal syzygies and non-trivial syzygies to avoid zero reductions. All computation is done using linear algebra techniques. LASyz is easy to understand and implement. The method does not require to compute Gröbner bases of subsequences of generators incrementally and it imposes no restrictions on the reductions allowed. We provide a complete theoretical foundation for the LASyz method and we describe an algorithm to compute Gröbner bases for zero dimensional ideals based on this foundation. A qualitative comparison with similar algorithms is provided and the performance of the algorithm is illustrated with experimental data.