Regularity of optimal sets for some functional involving eigenvalues of an operator in divergence form

In this paper we consider minimizers of the functional$\min \{{\lambda }_1(\mathrm{\Omega })+\cdots +{\lambda }_k(\mathrm{\Omega })+\mathrm{\Lambda }|\mathrm{\Omega }|,:\mathrm{\Omega }\subset D\text{ open}\}$ where $D\subset {\mathbb{R}}^d$ is a bounded open set and where $0<{\lambda }_1(\mathrm{\Omega })\le \cdots \le {\lambda }_k(\mathrm{\Omega })$ are the first k eigenvalues on Ω of an operator in divergence form with Dirichlet boundary condition and with Hölder continuous coefficients. We prove that the optimal sets ${\mathrm{\Omega }}^{⁎}$ have finite perimeter and that their free boundary $\partial {\mathrm{\Omega }}^{⁎}\cap D$ is composed of a regular part, which is locally the graph of a $C^{1,\alpha }$-regular function, and a singular part, which is empty if $d<d^{⁎}$, discrete if $d=d^{⁎}$ and of Hausdorff dimension at most $d-d^{⁎}$ if $d>d^{⁎}$, for some $d^{⁎}\in \{5,6,7\}$.     

Attractors for a Three-Dimensional Thermo-Mechanical Model of Shape Memory Alloys

Abstract In this note, we consider a Frémond model of shape memory alloys. Let us imagine a piece of a shape memory alloy which is fixed on one part of its boundary, and assume that forcing terms, e.g., heat sources and external stress on the remaining part of its boundary, converge to some time-independent functions, in appropriate senses, as time goes to infinity. Under the above assumption, we shall discuss the asymptotic stability for the dynamical system from the viewpoint of the global attractor. More precisely, we generalize the paper [12] dealing with the one-dimensional case. First, we show the existence of the global attractor for the limiting autonomous dynamical system; then we characterize the asymptotic stability for the non-autonomous case by the limiting global attractor. * Project supported by the MIUR-COFIN 2004 research program on “Mathematical Modelling and Analysis of Free Boundary Problems”.     

Students’ conceptual understanding of a function and its derivative in an experimental calculus course

Calculus has been witnessing fundamental changes in its curriculum, with an increased emphasis on visualization. This mode for representing mathematical concepts is gaining more strength due to the advances in computer technology and the development of dynamical mathematical software. This paper focuses on the understanding of the function and its derivative as viewed by students of a reformed Calculus 1 course offered in two experimental sections at the Lebanese American University in Beirut, Lebanon. Results have shown that the general approach adopted in the course proved to be unpopular for a great majority of the students, but rewarding for others. Interviews conducted with some students and a study of their performance on very specific exam questions reveal that for most students, the algebraic representation of a function still dominated their thinking; however, these students showed an almost complete understanding of the derivative, particularly the idea of the instantaneous rate of change and/or the slope of a curve at a given point. Furthermore, very few of these students referred to the mechanical methods for finding derivatives.     

Fiber-optic reflex sensor for in-line production measurement

The paper describes experiments concerning distance measurement with fiber-optic sensor and improvement of the measurement principle. The sensor probe was well-designed with a small structure and multi-function. The novel optical fiber probe arrangement as well as the possibilities of use for complex measurement problems are explained using the measurement of an internal screw thread as an example. The experimental results show that the measurement uncertainty of the thread minor diameter can reach ±10 μm, and the stability of the measurement system is better than 0.07%.     

Beyond nanosizing: an approach to shape analysis of fluorescent nanostructures by SMI-microscopy

Using spatially modulated illumination (SMI) light microscopy it is possible to measure the sizes of fluorescent structures that have an extension far below the conventional optical resolution limit (“subresolution size”). Presently, the sizes are determined as the object extension along the optical axis of the SMI microscope. For this, however, “a priori” assumptions on the fluorochrome distribution (“shape”) within the examined fluorescent structure have to be made. Usually it is assumed that the fluorochrome follows a Gauss-distribution or a spherical distribution. In this report we overcome the necessity to make an assumption on the shape of the fluorochrome distribution. We introduce two new experimentally obtained parameters which allow the determination of a shape measure to describe the spatial distribution of the fluorescent dye. This becomes possible by independent measurements with different excitation wavelengths. As an example, we present shape parameter measurements on individual fluorescent microspheres with a nominal geometrical diameter (“size”) of 190 nm. In the case investigated, the experimental shape correlated well with a homogeneous fluorochrome distribution (“spherical shape”) but not with a variety of other “shapes”.     

Linear calibration procedure for the phase-to-height relationship in phase measurement profilometry

Calibration of the relationship between height and phase is of uttermost importance to perform accurate 3D measurements in phase measurement profilometry. This work reports a different approach to this problem by first looking at the analytical expression for this relationship and determining the regime spanned by the fringe analysis method. The conclusions thus ascertained, amply justify confronting the analytical expression with a simple normalization procedure of the experimental data, with a remarkable matching between both results. In light of this, a linear calibration procedure with just one plane is proposed and verified experimentally.     

A new theory of regular functions of a quaternionic variable

In this paper we develop the fundamental elements and results of a new theory of regular functions of one quaternionic variable. The theory we describe follows a classical idea of Cullen, but we use a more geometric formulation to show that it is possible to build a rather complete theory. Our theory allows us to extend some important results for polynomials in the quaternionic variable to the case of power series.     

A characterization of network representable polymatroids

Meggido [1974] showed that the maximum flow through sets of sources in a multiple sink flow network is a polymatroidal function. Recently, Federgruen and Groenevelt [1985], [1986] have considered polymatroids that can be represented by a multiple source flow network and have improved the runnung time of an important scheduling application.We give a characterization of network representability and relate representable polymatroids to the theory of gammoids.

---

Zusammenfassung Meggido [1974] hat gezeigt, daß ein maximaler Fluß durch ein Netzwerk mit mehrfachen Senken eine polymatroidale Funktion beschreibt. Federgruen und Groenvelt [1985], [1986] haben kürzlich solche Polymatroide betrachtet, die durch Flüsse in derartigen Netzwerken repräsentiert werden können und haben so die Laufzeit einer wichtigen Schedulinganwendung verbessern können.Wir geben eine Charakterisierung von Funktionen, die durch derartige Netzflußnetzwerke realisierbar sind. Dabei stellen wir eine Verbindung her zwischen Repräsentierbarkeit und Gammoidtheorie.

     

C~k连续的保形分段2k次多项式插值

1．引言在每个子区间上，通过插入至多一个内结点，Brodlie和Butt［1］给出了分段三次多项式保形插值算法，Randal［2］等讨论了分段五次多项式插值，作者［31讨论了一般分段奇次多项式的保形插值，并且给1了内结点的位置范围公式．这种插值方法完全解决了一般的分段奇次多项式的保形插值问题．关于分段偶次多项式的保形插值，大多数文献只讨论分段二次保形插值，这里要特别指出的是Shumake［4j导出了二次样条保凸的充要条件，并且给出了一个二次样条保形插值的方法．在每一个子区间上至多插入一个内结点，则一个二次插值样条就可得到．作…