The Decay of Eddy-currents in Thin Sheets and Related Water-wave Problems

The decay of the eddy-currents that are induced in a thin, uniform,imperfectly-conducting sheet by switching off the source ofan external magnetic field is investigated. For the two-dimensionalproblem of an infinite strip the (non-dimensional) decay constants_n and eddy-current distributions i_n(x) are the eigenvalues andeigenfunctions of the integral equation with the constraint. For the circular disc the corresponding equation is where and K and E are complete elliptic integrals. For both problemsthe initial eddy-currents have inverse-square-root singularitiesat the edges but during their decay the eddy currents are finiteat the edges and the normal magnetic fields have logarithmicsingularities there. Numerical results are given for variousinitial-value problems. The eddy current problems are closely related to water-waveproblems in which there is a strip-shaped or circular aperturein a horizontal rigid dock. If _n and _n are the decay constantsand magnetic scalar potentials for the strip and _n and _n theangular frequencies and velocity potentials for the normal modesin the strip-shaped aperture, then _n =_n² and _n and _n are thereal and imaginary parts respectively of a holomorphic function.The velocities in the normal modes are deduced from the solutionof the eddy-current problem and are found to agree with resultsgiven in Miles (1972). For circular geometries the eigenvaluesand eigenfunctions of the axisymmetric eddy-current problemare the same as those of the water-wave problem that has angularvariation eⁱ; where (, , z) are cylindrical polar co-ordinateslocated at the centre of the basin.     

Steady-state solution for electroplating

At steady state, electroplating processes are governed by thedimensionless equations where d_i, e_i, and u_i arerespectively the diffusion coefficient, charge, and concentrationof the ith species. The extra electroneutrality condition will determine the electric potential. This system of nonlinear differential equations is subjectto the nonlinear boundary conditions modelling the actual electrodekinetics. The authors prove the existence of the solution andconstruct a computational algorithm. Numerical experiments areperformed on practical data.     

An analogue of Berry's conjecture for the phase in fractal obstacle scattering

In this paper, the authors consider the high-frequency asymptoticsof the phase s() of acoustic waves scattered by an obstacleRⁿ with fractal boundary. Under certain conditions, it is provedthat if is –Minkowski measurable with –Minkowskimeasure µ then there exists a positive constant C_n, dependingonlyon n and such that where     

Reducing Subspaces for a Class of Multiplication Operators

Let D be the open unit disk in the complex plane C. The Bergmanspace is the Hilbert space of analytic functions f in D such that where dA is the normalized area measure on D. If are two functions in , then the inner product of f and g is given by We study multiplication operators on induced by analytic functions. Thus for H (D), the space ofbounded analytic functions in D, we define by It is easy to check that M is a bounded linear operator on with ||M||=||||=sup{|(z)|:zD}.     

Heat Equation for an Arbitrary Multiply-Connected Region in R2 with Impedance Boundary Conditions

The basic problem in this paper is that of determining the geometryof an arbitrary multiply-connected region in , together with the impedance boundary conditions,from a complete knowledge of the eigenvalues for the Laplace operator, using the asymptotic expansionof the spectral function as t0.     

Bivariational Methods for Hammerstein Integral Equations

Bivariational methods are presented for nonlinear integral equationsof Ham-merstein type = Kf(). With appropriate conditions onK and f, various upper and lower bounding functionals are derivedfor inner products and associated with the solution . Inthe latter case, suitable choices for g lead to point wise boundson both and its derivative. The methods are tested on a pendulumequation, and encouraging accuracy is obtained using simpletrial vectors.     

The Bicanonical Map of Surfaces with pg = 0 and K2 >= 7

A minimal surface of general type with p_g(S) = 0 satisfies 1 K² 9, and it is known that the image of the bicanonical map is a surface for , whilst for , the bicanonical map is always a morphism. In this paper it is shown that is birationalif , and that the degree of is at most 2 if or By presenting two examples of surfaces S with and 8 and bicanonical map of degree 2, it is alsoshown that this result is sharp. The example with is, to our knowledge, a new example of a surfaceof general type with p_g = 0. The degree of is also calculated for two other known surfacesof general type with p_g = 0 and . In both cases, the bicanonical map turns out to be birational.     

Asymptotic Expansions of Multiple Zeta Functions and Power Mean Values of Hurwitz Zeta Functions

Let (s, ) be the Hurwitz zeta function with parameter . Powermean values of the form are studied, where q and h are positive integers. These mean valuescan be written as linear combinations of , where _r(s₁,...,s_r;) is a generalization of Euler–Zagiermultiple zeta sums. The Mellin–Barnes integral formulais used to prove an asymptotic expansion of , with respect to q. Hence a general way of deducingasymptotic expansion formulas for is obtained. In particular, the asymptotic expansion of with respect to q is written down.     

Almost Everywhere Convergence of Bochner-Riesz Means On The Heisenberg Group and Fractional Integration On The Dual

Let L denote the sub-Laplacian on the Heisenberg group H_n and the corresponding Bochner-Riesz operator. Let Q denote the homogeneous dimension and D the Euclideandimension of H_n. We prove convergence a.e. of the Bochner-Rieszmeans as r 0 for > 0and for all f L^p(H_n), provided that . Our proof is based on explicit formulas for the operators with a C, defined on the dual ofH_n by , which may be of independent interest. Here is given by for all (z,u) H_n. 2000 Mathematical Subject Classification: 22E30, 43A80.     

Cohomology of Quantized Function Algebras at Roots of Unity

Let G be a simply-connected, semisimple algebraic group overk, an algebraically closed field of characteristic zero. Let O[G] be the quantized function algebra of G at a primitivelth root of unity , and let be the ‘restricted’ quantized function algebra at, a finite-dimensional k-algebra obtained from O[G] by factoringout a centrally generated ideal. It is known that is a Hopf algebra. We study the cohomology ring, a graded commutative algebra, and, for any finite-dimensional -module M, the -module . We prove that for sufficiently large l there isan isomorphism of graded algebras where each X_i is homogeneous of degree $2$, and $2N$ equalsthe number of roots associated to G. Moreover we show that inthis case is a finitely generated -module. We also show under much less restrictive conditions on l that continues to be a finitely generated graded commutativealgebra over which is a finitely generated module. 1991 Mathematics Subject Classification: 16W30,17B37, 17B56.     

Application of JMN Approximants to Numerical Initial-value Problems in Linear Differential-algebraic Systems

For f: [0,) R, the J_MN approximant of f(t) is where M and N are non-negative integers and ß_k, _i,K_iare defined constants. Under appropriate conditions on f andprovided Re(_i) > 0 The approximants are the bases of recursions for numerical initial-valueproblems in linear differential-algebraic systems with constantcoefficients. The recursions are stable when N M N–2.Each step of a recursion involves mainly the solution of N/2uncoupled algebraic systems.     

Convergence Properties of Pad? Approximants to exp (z) and Their Derivatives

Bounds are found for the error involved in representing exp(z) in a by the (p,q) Pad? approximant,, and its derivatives . The behaviour of these bounds is studied using information aboutthe distribution of the zeros of d_p,q(z). It is shown that undersuitable conditions g_p,q(z) and tend to exp (z) along all diagonal, row, and column paths in the Pad?table.     

UNEXPECTED SUBSPACES OF TENSOR PRODUCTS

We describe complemented copies of ₂ both in C(K₁) C(K₂) when at least one of the compact spaces K_iis not scattered and in L₁(µ₁)L₁(µ₂) when at least one of the measures is not atomic.The corresponding local construction gives uniformly complementedcopies of the in c₀ c₀. We continue the study of c₀ c₀ showing that it contains a complementedcopy of Stegall's space and proving that (c₀ c₀)' is isomorphicto , together with other results. In the last section we use Hardy spaces to find an isomorphiccopy of L_p in the space of compact operators from L_q to L_r,where 1 < p, q, r < and 1/r = 1/p + 1/q.     

Inverse Spectral Problems for Sturm-Liouville Equations with Eigenparameter Dependent Boundary Conditions

Inverse Sturm–Liouville problems with eigenparameter-dependentboundary conditions are considered. Theorems analogous to thoseof both Hochstadt and Gelfand and Levitan are proved. In particular, let ly = (1/r)(–(py')'+qy), , where det = > 0, c 0, det > 0, t 0 and (cs + dr –au – tb)² < 4(cr – ta)(ds – ub). Denoteby (l; ; ) the eigenvalue problem ly = y with boundary conditionsy(0)cos+y'(0)sin = 0 and (a+b)y(1) = (c+d)(py')(1). Define (; ; ) as above but with l replacedby . Let w_n denote the eigenfunctionof (l; ; ) having eigenvalue n and initial conditions w_n(0)= sin and pw'_n(0) = –cos and let _n = –aw_n(1)+cpw'_n(1).Define _n and _n similarly. As sample results, it is proved that if (l; ; ) and (; ; ) have the same spectrum, and (l;; ) and (; ; ) have the samespectrum or for all n, thenq/r = /.     

Oscillation Criteria for First-Order Delay Equations

This paper is concerned with the oscillatory behaviour of first-orderdelay differential equations of the form (1) where is non-decreasing, (t)< t for t t₀ and . Let the numbers k andL be defined by It is proved here that when L < 1 and 0 < k 1/e all solutionsof equation (1) oscillate in several cases in which the condition holds, where ₁ is the smaller root of the equation = e^k. 2000Mathematics Subject Classification 34K11 (primary); 34C10 (secondary).     

The Model Plasma Problem: Existence of a Solution Branch

We are interested in the model plasma problem –u = u⁺in ,u = –d on , _au⁺ dx=j where is a bounded domain in with boundary ; here, j isa given positive number, the function u and the positive number are the unknowns of the problem, and d is a real parameter.Using a variant of the implicit function theorem, we can provethe existence of a global solution branch parametrized by d.The method has the advantage that it can be used for analysingthe approximation of the above problem by a finite-element method.     

Intersections of the Left and Right Essential Spectra of 2 x 2 Upper Triangular Operator Matrices

In this paper, perturbations of the left and right essentialspectra of 2 x 2 upper triangular operator matrix M_C are studied,where is an operator acting on the Hilbert space H K. For given operators A and B, thesets and are determined, where _le(T) and _re(T) denote, respectively,the left essential spectrum and the right essential spectrumof an operator T. 2000 Mathematics Subject Classification 47A10,47A55.     

Immanant Inequalities, Induced Characters, and Rank Two Partitions

If = {₁, ₂, ..., _s}, where _{1 2} ... _s > 0, is a partitionof n then denotes the associated irreducible character of S_n,the symmetric group on {1, 2, ..., n}, and, if cCS_n, the groupalgebra generated by C and S_n, then d_c(·) denotes thegeneralized matrix function associated with c. If c₁, c₂ CS_nthen we write c₁ c₂ in case (A) (A) for each n x n positivesemi-definite Hermitian matrix A. If cCS_n and c(e) 0, wheree denotes the identity in S_n, then or denotes (c(e))^–1 c. The main result, an estimate for the norms of tensors of a certainanti-symmetry type, implies that if = {₁, ₂, ..., _s, 1^t} isa partition of n such that s > 1 and _s = 2, and ' denotes{₁, ₂, ..., _s-1, 1^t} then (, _{2}) where denotes characterinduction from S_n–2 x S₂ to S_n. This in turn implies thatif = {₁, ₂, ..., _s, 1^t} with s > 1, _s = 2, and ßdenotes {₁ + 2, ₂, ..., _s-1, 1^t} then _ß which,in conjunction with other known results, provides many new inequalitiesamong immanants. In particular it implies that the permanentfunction dominates all normalized immanants whose associatedpartitions are of rank 2, a result which has proved elusivefor some years. We also consider the non-relationship problem for immanants– that is the problem of identifying pairs, (,ß)such that _ß and _ß are both false.     

Uniqueness of a Nonharmonic Trigonometric Series under an Exponential Growth Condition

We prove uniqueness for the nonharmonic trigonometric series under the weaker condition (*) where , for some 0 < < 1. In other words, if satisfies the above condition (*), and if , then a_k = 0 for all k = 0, 1,.... Finally, we statean improvement of Zygmund's uniqueness result as a corollary.     

Algebraic K-Theory In Low Degree and The Novikov Assembly Map

We prove that the Novikov assembly map for a group factorizes,in ‘low homological degree’, through the algebraicK-theory of its integral group ring. In homological degree 2,this answers a question posed by N. Higson and P. Julg. As adirect application, we prove that if is torsion-free and satisfiesthe Baum-Connes conjecture, then the homology group H₁(; Z)injects in and in , for any ring A such that . If moreover B is of dimension lessthan or equal to 4, then we show that H₂(; Z) injects in and in , where A is as before, and ₂ is generated by the Steinberg symbols{,}, for . 2000 Mathematical Subject Classification: primary 19D55, 19Kxx,58J22; secondary: 19Cxx, 19D45, 43A20, 46L85.