Mathematical analysis of the well known model of a piezoelectric energy harvester is presented. The harvester is designed as a cantilever Timoshenko beam with piezoelectric layers attached to its top and bottom faces. Thin, perfectly conductive electrodes are covering the top and bottom faces of the piezoelectric layers. These electrodes are connected to a resistive load. The model is governed by a system of three partial differential equations. The first two of them are the equations of the Timoshenko beam model and the third one represents Kirchhoff’s law for the electric circuit. All equations are coupled due to the piezoelectric effect. We represent the system as a single operator evolution equation in the Hilbert state space of the system. The dynamics generator of this evolution equation is a non-selfadjoint matrix differential operator with compact resolvent. The paper has two main results. Both results are explicit asymptotic formulas for eigenvalues of this operator, i.e., the modal analysis for the electrically loaded system is performed. The first set of the asymptotic formulas has remainder terms of the order O ( 1 n ) , where n is the number of an eigenvalue. These formulas are derived for the model with variable physical parameters. The second set of the asymptotic formulas has remainder terms of the order O ( 1 n 2 ) , and is derived for a less general model with constant parameters. This second set of formulas contains extra term depending on the electromechanical parameters of the model. It is shown that the spectrum asymptotically splits into two disjoint subsets, which we call the α -branch eigenvalues and the θ -branch eigenvalues. These eigenvalues being multiplied by “i” produce the set of the vibrational modes of the system. The α -branch vibrational modes are asymptotically located on certain vertical line in the left half of the complex plane and the θ -branch is asymptotically close to the imaginary axis. By having such spectral and asymptotic results, one can derive the asymptotic representation for the mode shapes and for voltage output. Asymptotics of vibrational modes and mode shapes is instrumental in the analysis of control problems for the harvester.
more »
« less
Control problems for energy harvester model and interpolation in Hardy space
Three control problems for the system of two coupled differential equations governing the dynamics of an energy harvesting model are studied. The system consists of the equation of an Euler–Bernoulli beam model and the equation representing the Kirchhoff's electric circuit law. Both equations contain coupling terms representing the inverse and direct piezoelectric effects. The system is reformulated as a single evolution equation in the state space of 3‐component functions. The control is introduced as a separable forcing term on the right‐hand side of the operator equation. The first control problem deals with an explicit construction of that steers an initial state to zero on a time interval [0,
- Award ID(s):
- 1810826
- NSF-PAR ID:
- 10457689
- Publisher / Repository:
- Wiley Blackwell (John Wiley & Sons)
- Date Published:
- Journal Name:
- Mathematische Nachrichten
- Volume:
- 293
- Issue:
- 3
- ISSN:
- 0025-584X
- Page Range / eLocation ID:
- p. 585-610
- Format(s):
- Medium: X
- Sponsoring Org:
- National Science Foundation
More Like this
-
-
more » « less
We consider the linearized third order SMGTJ equation defined on a sufficiently smooth boundary domain in and subject to either Dirichlet or Neumann rough boundary control. Filling a void in the literature, we present a direct general system approach based on the vector state solution {position, velocity, acceleration}. It yields, in both cases, an explicit representation formula: input solution, based on the s.c. group generator of the boundary homogeneous problem and corresponding elliptic Dirichlet or Neumann map. It is close to, but also distinctly and critically different from, the abstract variation of parameter formula that arises in more traditional boundary control problems for PDEs L‐T.6. Through a duality argument based on this explicit formula, we provide a new proof of the optimal regularity theory: boundary control {position, velocity, acceleration} with low regularity boundary control, square integrable in time and space.
-
more » « less
Abstract We prove estimates, , for solutions to the tangential Cauchy–Riemann equations on a class of infinite type domains . The domains under consideration are a class of convex ellipsoids, and we show that if is a ‐closed (0,1)‐form with coefficients in , then there exists an explicit solution
u satisfying . Moreover, when , we show that there is a gain in regularity to anf ‐Hölder space.We also present two applications. The first is a solution to the ‐equation, that is, given a smooth (0,1)‐form ϕ on with an
L 1‐boundary value, we can solve the Cauchy–Riemann equation so that whereC is independent of and ϕ. The second application is a discussion of the zero sets of holomorphic functions with zero sets of functions in the Nevanlinna class within our class of domains. -
Embedding properties of network realizations of dissipative reduced order models Jörn Zimmerling, Mikhail Zaslavsky,Rob Remis, Shasri Moskow, Alexander Mamonov, Murthy Guddati, Vladimir Druskin, and Liliana Borcea Mathematical Sciences Department, Worcester Polytechnic Institute https://www.wpi.edu/people/vdruskin Abstract Realizations of reduced order models of passive SISO or MIMO LTI problems can be transformed to tridiagonal and block-tridiagonal forms, respectively, via dierent modi cations of the Lanczos algorithm. Generally, such realizations can be interpreted as ladder resistor-capacitor-inductor (RCL) networks. They gave rise to network syntheses in the rst half of the 20th century that was at the base of modern electronics design and consecutively to MOR that tremendously impacted many areas of engineering (electrical, mechanical, aerospace, etc.) by enabling e cient compression of the underlining dynamical systems. In his seminal 1950s works Krein realized that in addition to their compressing properties, network realizations can be used to embed the data back into the state space of the underlying continuum problems. In more recent works of the authors Krein's ideas gave rise to so-called nite-dierence Gaussian quadrature rules (FDGQR), allowing to approximately map the ROM state-space representation to its full order continuum counterpart on a judicially chosen grid. Thus, the state variables can be accessed directly from the transfer function without solving the full problem and even explicit knowledge of the PDE coe cients in the interior, i.e., the FDGQR directly learns" the problem from its transfer function. This embedding property found applications in PDE solvers, inverse problems and unsupervised machine learning. Here we show a generalization of this approach to dissipative PDE problems, e.g., electromagnetic and acoustic wave propagation in lossy dispersive media. Potential applications include solution of inverse scattering problems in dispersive media, such as seismic exploration, radars and sonars. To x the idea, we consider a passive irreducible SISO ROM fn(s) = Xn j=1 yi s + σj , (62) assuming that all complex terms in (62) come in conjugate pairs. We will seek ladder realization of (62) as rjuj + vj − vj−1 = −shˆjuj , uj+1 − uj + ˆrj vj = −shj vj , (63) for j = 0, . . . , n with boundary conditions un+1 = 0, v1 = −1, and 4n real parameters hi, hˆi, ri and rˆi, i = 1, . . . , n, that can be considered, respectively, as the equivalent discrete inductances, capacitors and also primary and dual conductors. Alternatively, they can be viewed as respectively masses, spring stiness, primary and dual dampers of a mechanical string. Reordering variables would bring (63) into tridiagonal form, so from the spectral measure given by (62 ) the coe cients of (63) can be obtained via a non-symmetric Lanczos algorithm written in J-symmetric form and fn(s) can be equivalently computed as fn(s) = u1. The cases considered in the original FDGQR correspond to either (i) real y, θ or (ii) real y and imaginary θ. Both cases are covered by the Stieltjes theorem, that yields in case (i) real positive h, hˆ and trivial r, rˆ, and in case (ii) real positive h,r and trivial hˆ,rˆ. This result allowed us a simple interpretation of (62) as the staggered nite-dierence approximation of the underlying PDE problem [2]. For PDEs in more than one variables (including topologically rich data-manifolds), a nite-dierence interpretation is obtained via a MIMO extensions in block form, e.g., [4, 3]. The main di culty of extending this approach to general passive problems is that the Stieltjes theory is no longer applicable. Moreover, the tridiagonal realization of a passive ROM transfer function (62) via the ladder network (63) cannot always be obtained in port-Hamiltonian form, i.e., the equivalent primary and dual conductors may change sign [1]. 100 Embedding of the Stieltjes problems, e.g., the case (i) was done by mapping h and hˆ into values of acoustic (or electromagnetic) impedance at grid cells, that required a special coordinate stretching (known as travel time coordinate transform) for continuous problems. Likewise, to circumvent possible non-positivity of conductors for the non-Stieltjes case, we introduce an additional complex s-dependent coordinate stretching, vanishing as s → ∞ [1]. This stretching applied in the discrete setting induces a diagonal factorization, removes oscillating coe cients, and leads to an accurate embedding for moderate variations of the coe cients of the continuum problems, i.e., it maps discrete coe cients onto the values of their continuum counterparts. Not only does this embedding yields an approximate linear algebraic algorithm for the solution of the inverse problems for dissipative PDEs, it also leads to new insight into the properties of their ROM realizations. We will also discuss another approach to embedding, based on Krein-Nudelman theory [5], that results in special data-driven adaptive grids. References [1] Borcea, Liliana and Druskin, Vladimir and Zimmerling, Jörn, A reduced order model approach to inverse scattering in lossy layered media, Journal of Scienti c Computing, V. 89, N1, pp. 136,2021 [2] Druskin, Vladimir and Knizhnerman, Leonid, Gaussian spectral rules for the three-point second dierences: I. A two-point positive de nite problem in a semi-in nite domain, SIAM Journal on Numerical Analysis, V. 37, N 2, pp.403422, 1999 [3] Druskin, Vladimir and Mamonov, Alexander V and Zaslavsky, Mikhail, Distance preserving model order reduction of graph-Laplacians and cluster analysis, Druskin, Vladimir and Mamonov, Alexander V and Zaslavsky, Mikhail, Journal of Scienti c Computing, V. 90, N 1, pp 130, 2022 [4] Druskin, Vladimir and Moskow, Shari and Zaslavsky, Mikhail LippmannSchwingerLanczos algorithm for inverse scattering problems, Inverse Problems, V. 37, N. 7, 2021, [5] Mark Adolfovich Nudelman The Krein String and Characteristic Functions of Maximal Dissipative Operators, Journal of Mathematical Sciences, 2004, V 124, pp 49184934 Go back to Plenary Speakers Go back to Speakers Go backmore » « less
-
more » « less
Abstract Asymptotic and spectral results on the initial boundary‐value problem for the coupled bending‐torsion vibration model (which is important in such areas of engineering sciences as bridge and tall building designs, aerospace and oil pipes modeling, etc.) are presented. The model is given by a system of two hyperbolic partial differential equations equipped with a three‐parameter family of non‐self‐adjoint (linear feedback type) boundary conditions modeling the actions of self‐straining actuators. The system is rewritten in the form of the first‐order evolution equation in a Hilbert space of a four‐component Cauchy data. It is shown that the dynamics generator is a matrix differential operator with compact resolvent, whose discrete spectrum splits asymptotically into two disjoint subsets called the α‐branch and the β‐branch, respectively. Precise spectral asymptotics for the eigenvalues from each branch as the number of an eigenvalue tends to ∞ have been derived. It is also shown that the leading asymptotical term of the α‐branch eigenvalue depends only on the
torsion control parameter, while of the β‐branch eigenvalue depends on twobending control parameters.
