1 Introduction

Due to high performance, high efficiency and high power density, permanent-magnet (PM) machines are becoming more and more popular [13]. Consequently, these devices are currently broadly used in applications as robotics, hybrid vehicles, computer peripherals and so on, see, e.g., [48]. However, the PM machines suffer by construction from a considerable level of mechanical vibration and acoustic noise. More precisely, the interaction of the air-gap harmonics (stator slot driven) and the magnetomotive force harmonics (magnet driven) produces a high cogging torque (CT). On the other hand, the torque ripple is primarily provoked by the CT and higher harmonics of back-electromotive force (EMF). Also the magnetic saturation in the stator and the rotor cores [9] as well as the controller-induced parasitic torque ripples [10] might further disturb the electromagnetic torque [11].

From this perspective, especially the mitigation of the torque fluctuations is a key issue for the design of a PM machine because its result may simultaneously affect the machine performance. Especially, in the context of the deterministic/stochastic topology optimization of a PM machine, the consideration of more than one competing objective into a cost functional seems to be still a challenging problem [3, 12]. More specifically, when a multi-objective approach is involved in the designing process, a certain trade-off between conflicting criteria needs to be fulfilled. For this reason, often a Pareto front technique is accepted as an alternative. Furthermore, under assumption that the Pareto front is convex, it can be approximated by the weighted average method (WAM) or the ϵ-method [1315]. However, in practice it is rather hard to verify this assumption, especially when nonlinear problems are considered. In such a situation, objective functions are approximated numerically, whereas a genetic or ant colony-based algorithm is recommended for the identification of the global front Pareto [3, 16]. It should be also noticed that in some cases, when a periodic functional may be applied, e.g., for a lumped model of electric machine [17] or the periodicity of objectives is a result of the geometrical structure of electric machines [12], it is also possible to prove the convexity in a rigorous mathematical way.

Various methods for suppressing the CT have been proposed in the literature. For example in [18] the authors employed the auxiliary slots for this purpose. Some solutions apply an appropriately chosen combination of slot/pole number [19] or the optimized ratio of pole arc to pole pinch [9] in order to reduce the CT. Other efficient methods for mitigating the CT involve shaping the rotor magnets and/or stator teeth [20] including redistribution of a PM and iron material within the domain of interest using topological methods, as proposed in [6, 8, 2124]. Moreover, the statistics-based approach such as the Taguchi method [25], or its generalization called the regression-based surface response methods, are proposed in [11, 26], especially in industrial applications to reduce the noise to signal ratio. To this last group, also techniques based on the perturbation method for calculating the first and the second derivative may be included. Based on the sensitivity information they intend to estimate deterministically the impact of the input variability on output characteristics and in consequence on the result of optimization [27]. On the one hand, this ’deterministic’ estimation of uncertainties is limits to the range of the perturbation \(|\delta| = 6-8\%\), see, e.g., [2729]. On the other hand, the load related to the calculation of the second derivative might be really large, especially when a cost functional involves a standard deviation. Clearly, the advantage of this approach is the immediate availability of a gradient which allows to carry out the strategy, whose aim is to reduce the influence of the deterministic uncertainty onto the optimization result [28]. More recently, the efficient approach, which benefits from both the perturbation technique and the stochastic-based method has been developed [29] to estimate the statistical moments.

In many engineering applications, a physical model is affected by a relatively large amount of uncertainty in the input data including, e.g., the model coefficients, the excitation term, initial/boundary conditions or the geometry of a model. For instance, in the case of an electric machine, the source of the uncertainty has been schematically shown in Figure 1. In this respect, in order to develop a reliable numerical simulation, it is necessary to include uncertainty quantification due to the variations of input data [30]. This differs significantly from the deterministic approach. Depending on the available data, the uncertainty can be represented in the mathematical model using the worse-case scenario analysis, evidence theory, fuzzy set theory and probabilistic framework, see, e.g., [31] and references therein. For this reason, in this paper we deal with the non-intrusive approach, namely a type of the spectral collocation method [32], combined with the generalized polynomial chaos [33], to investigate the propagation of the uncertainty through a model of electric machine. Additionally, this technique allows to straightforwardly include the surface response model into the optimization flow [3436].

Figure 1
figure 1

Exemplary sources of input uncertainty in a model of electric machine.

The topology is a major contributor to the electromagnetic torque fluctuations. Therefore in this paper, we address the topology optimization of a PM machine. Since the results of the design procedure are highly influenced by unknown material characteristics [37], these uncertainties have to be taken into account in the course of a robust optimization. Thus the soft ferromagnetic material should be modeled using uncertainty. In particular, the relative permeability/reluctivity of the magnetic material needs an accurate model in order to improve the accuracy of the magnetic flux density of permanent magnets (for certain applications [38, 39]). Therefore, in our optimization model, we take the reluctivity as uncertain.

In our case of the topology optimization, we have to trace two interfaces between different materials with some assumed variations such as air, iron and PM poles of rotor, the modified multilevel set method (MLSM) has been used [40, 41]. The level set method [42] has found a wide range of applications also in electrical engineering. For instance, it is used to address shape or topology optimization problems [6, 22].

The proposed approach is innovative, since stochastic modeling of uncertainties are combined with a topology optimization for minimal electromagnetic torque fluctuations (of the CT) and at the same time allowing for a robust optimization on the basis of a suitable optimization criterion. The current paper is an extended version of [35] with many more details and new results for an analysis of a PM electric machine in on-load state (with excitation currents involved). More precisely, we paid a lot of attention to investigate the impact of the optimization methodology on other machine parameters such as the electromagnetic torque, the torque ripple, the back electromotive force and an analysis of its frequency spectrum as the important source of noise and vibrations. However, it should be noticed that in this paper we focus mainly on a robust low cogging torque design under uncertainty which resulted in no-load steady state analysis of stochastic curl-curl equation (a density of excitation currents \(J(\mathbf {x}) = 0\)). Consequently, the machine analysis in on-load state can be considered here as a post-processing procedure, since the electromagnetic (average) torque itself was not involved in the optimization task. Moreover, we restricted ourselves to the minimization of noise and vibrations caused predominantly by the cogging torque, the torque ripple and the back EMF, however, without coupling a vibro-acoustic modeling as in, e.g., [43] with the curl-curl equation. Instead the air-gap flux density (as equivalence of the back EMF) is considered in the optimization procedure as a second objective. It yields a considerably improvement of the wave form of the back electromotive which, in turn, directly leads to the reduction of noise and vibrations. Furthermore, to deal with a stochastic multi-objective problem, the trade-off method, incorporated in the level set method (LSM) as well as the AWM, involved in a robust functional, have been applied.

The paper is organized as follows: first we describe the PM machine, which we use as test case (Section 2). Then the deterministic model is set up (Section 3). Based on that, the stochastic forward problem is formulated in Section 4. Section 5 describes the optimization problem with the needed objective functions and the constraints. Then we combine topology optimization and uncertainties (Section 6). After a short description of the simulation in Section 7, we discuss numerical results (Section 8).

2 Test case description

A design of a PM machine has to provide the shape and placement of magnets, iron poles and air-gaps. These features primarily determine the torque characteristics and thus the proper and efficient functioning of a PM machine. Specifically, we consider as test case an electric controlled permanent magnet excited synchronous machine (ECPSM) [44]. For illustration, Figure 2 provides a partial assembly drawing of such a device and the related main parameters for the magnetic description are found in Table 1. In fact, the ECPSM rotor consists of two almost identical parts, which just have opposing direction of the PM poles (see Figure 2 ‘permanent magnet N’ and ‘permanent magnet S’). Furthermore, an additional DC control coil is mounted in the axial center of the machine, actually between the laminated stators. Via a DC-chopper, this allows for controlling the effective excitation of the machine. Eventually this results in a field weakening of \(1:4\), which is of particular importance for electric propulsion vehicles [44].

Figure 2
figure 2

Cross-section of an ECPSM (an electric controlled permanent magnet excited synchronous machine): surface-mounted PM rotor, three-phase windings, fixed excitation control auxiliary coil [ 6 ].

Table 1 Main parameters of the ECPSM (an electric controlled permanent magnet excited synchronous machine) design [ 6 ]

3 Mathematical model

In the following, we set up a deterministic model for the PM machine, which is suitable for optimization. This comprises a discussion of the domain, a strong and weak formulation and the objective functions.

3.1 Field quantity and simulation domain

The magnetic behavior of the PM machine can be formulated in terms of the unknown magnetic vector potential A and the so-called curl-curl equation. Here we disregard eddy currents, i.e., we assume \(\sigma\frac {\partial{\mathbf{A}}}{\partial t} = 0\), where σ denotes the conductivity. Especially for optimization, one needs an efficient computational model. Therefore we reduce the three (spatial-) dimensions of the problem into a simplified 2D FEM model, which provide us with acceptably accurate computation result. We validated this approach in our previous work [6, 41] using numerical simulation and experiment in the case of a similar topology. Thus \({\mathbf{A}} =(0, 0, A(x,y))\), which gives us a 2D problem. Moreover, this setting exhibits rotational symmetry with multiples of six. Hence we restrict the domain to one sextant, see Figure 3.

Figure 3
figure 3

Sextant domain for mathematical model: stator, rotor and three phases (A, B, C).

3.2 Strong formulation

Now, in 2D the curl-curl equation for the magnetic vector potential \(A=A(x,y)\) becomes the following Poisson equation:

$$ \nabla \cdot \bigl( \upsilon \bigl(\mathbf {x}, \bigl\vert \nabla A ( \mathbf {x})\bigr\vert ^{2} \bigr) \nabla A(\mathbf{x}) - \upsilon_{\mathrm{PM}}{ {\mathbf{M}}(\mathbf {x})} \bigr) = J(\mathbf {x}), \quad \mathbf {x}\in \mathrm{D} \subset{\mathbb{R}}^{2}, $$
(1)

where the domain D denotes the sextant region in our test case. Here \(J(\mathbf {x})\) denotes the given current density (at position \(\mathbf {x}=(x,y)\)), \({\mathbf{M}}(\mathbf {x})\) represents the given remanent flux density of the PM, υ is the reluctivity and \(\upsilon_{\mathrm{PM}}\) the reluctivity of the permanent magnets. Moreover, we assume

$$ {\mathbf{M}}(\mathbf {x}): = b_{r}(\mathbf {x}){\mathbf{T}}(\mathbf {x}), $$
(2)

where \({\mathbf{T}(\mathbf {x})}\) describes the radial direction of the remanent flux density and \(b_{r}(\mathbf {x})\) denotes a positive and bounded scalar function for the respective magnitude.

This quasi-linear elliptic problem (1) is equipped with periodic boundary conditions on the radii of D and it is also equipped with a homogeneous Dirichlet condition on the outer arc: \(A(\mathbf {x})=0\).

The reluctivity υ describes as real parameter the material relation \({\mathbf{H}}=\upsilon(\mathbf {x}, |{\mathbf{B}}|^{2}){\mathbf{B}}\), where \({\mathbf{B}}=\nabla\times{\mathbf{A}}\) and H denote the magnetic flux density and the magnetic field strength, respectively. On the one hand, it depends nonlinearly on \(B:=|\mathbf{B}|= |\nabla\times{\mathbf{A}}|= |\nabla A|\), where \(|\cdot|\) denotes the Euclidean norm and we use the 2D setting \({\mathbf{A}}= (0, 0, A(x,y) )\). On the other hand, the reluctivity depends on the respective local material, i.e., it depends on the position x. In our case, our connected domain is composed of iron (Fe), air, and permanent magnets:

$$\mathrm{D} = \mathrm{D}_{\mathrm{Fe}} \cup\mathrm{D}_{\mathrm {air}} \cup \mathrm{D}_{\mathrm{PM}}. $$

Thus the reluctivity reads

$$ {\upsilon}\bigl({\mathbf{x}}, \bigl\vert \nabla A ({\mathbf{x}}) \bigr\vert ^{2}\bigr) = \left \{ \textstyle\begin{array}{l@{\quad}l} \upsilon_{ \mathrm{Fe}}({\mathbf{x}},\vert \nabla A ({\mathbf{x}}) \vert ^{2}) & \mbox{for } {\mathbf{x}} \in\mathrm{D}_{\mathrm{Fe}}, \\ \upsilon_{\mathrm{air}} & \mbox{for } {\mathbf{x}} \in\mathrm{D}_{\mathrm{air}}, \\ \upsilon_{\mathrm{PM}} & \mbox{for } {\mathbf{x}} \in\mathrm{D}_{\mathrm{PM}} . \end{array}\displaystyle \right . $$
(3)

That is, the reluctivity υ is discontinuous across material borders and nonlinear in ferromagnetic materials. In the following, we assume that \(\upsilon_{\mathrm{air}}=\upsilon_{0}\) is the vacuum reluctivity and that the electromagnetic material is soft. Moreover, we remark that the nonlinear dependence of \(\upsilon_{\mathrm{Fe}}\) on \(|\nabla A|^{2}\) is given by a spline interpolation of measurement data.

3.3 Weak form

We assume \(J\in L^{2} ({\mathrm{D}_{\mathrm{F}}} )\) and \({\mathbf{M}}\in(L^{2} ({\mathrm{D}_{\mathrm{F}}} ))^{3}\), where \({\mathrm{D}_{\mathrm{F}}}:={6\mathrm{D}}\) denotes the full circle. A function \(A \in V: = H_{0}^{1} ({\mathrm{D}_{\mathrm{F}}} )=\{ A \in H^{1} ({\mathrm{D}_{\mathrm{F}}} ): A|_{\partial{\mathrm{D}_{\mathrm{F}}}} = 0\}\) is a weak solution of the quasi-linear elliptic Dirichlet boundary problem (1) if it holds

$$ \underbrace{ \int_{\mathrm{D}_{\mathrm{F}}} \bigl(\upsilon \bigl(\mathbf {x}, |\nabla A|^{2} \bigr) \nabla\varphi\nabla A \bigr)\, {\mathrm{d}} {\mathbf{x}}}_{=:a (\varphi, A )} = \underbrace{ \int_{\mathrm{D_{\mathrm{F}}}} \varphi J\, {\mathrm{d}} {\mathbf{x}}}_{=:l_{1} (\varphi, J )} + \underbrace{{\upsilon_{\mathrm{PM}}} \int_{\mathrm{D_{\mathrm{F}}}}{\mathbf{M}} \cdot\nabla\varphi\, {\mathrm{d}} { \mathbf{x}}}_{=:l_{2} ( \varphi, {{\mathbf{M}}} )} $$
(4)

for all \(\varphi\in V\). The symbol \(H^{1} ({\mathrm{D}_{\mathrm{F}}} )\) denotes the Sobolev space of the real-valued functions on \(\mathrm{D_{\mathrm{F}}}\) with square integrable weak gradients. The existence and uniqueness of solution for problem (4) is thoroughly investigated in, e.g., [45].

4 Stochastic forward problem

The characteristics of ferromagnetic materials are usually deduced from measurements. In our case, this applies to the reluctivity υ, which suffers from measurement uncertainties. Now, the result for the electrical machine design is strongly affected by the unknown material characteristics and geometric uncertainties, for example, the air-gap thickness, see in [28, 37]. The latter effect can be also simulated by changing the material parameter using the level set methodology (see below). This leaves us to include these material uncertainties into the mathematical model and thus into the optimization procedure in order to achieve a robust design. Therefore, in our work, the reluctivity becomes a random field, which allows us to quantify these uncertainties. The respective modeling is our next subject.

4.1 Stochastic modeling of uncertain reluctivities

We recall the reluctivity υ (3), which is material dependent. We have: iron, air and permanent magnet domains. Besides the variations of iron and permanent magnet reluctivities, especially the uncertainty of \(\upsilon_{\mathrm{air}}\) is crucial from the engineering viewpoint, since it allows us to simulate the variations of the air-gap thickness. For an uncertainty quantification, the reluctivities become random variables on some probability space \((\varOmega ,\mathscr {F},\mathbb{P})\) with sample space Ω, sigma-algebra \(\mathscr {F}\) and probability measure \(\mathbb{P}\). In our stochastic model, we introduce random perturbations within the material parameters. The random field reads as

$$ {\upsilon}\bigl({\mathbf{x}}, \vert \nabla A\vert , { \boldsymbol{\xi}}\bigr) = \left \{ \textstyle\begin{array}{l@{\quad}l} \upsilon_{ \mathrm{Fe}}({\mathbf{x}},| A ({\mathbf{x}}) |^{2}) (1 + \delta_{1} \xi_{1}) & \mbox{for } {\mathbf{x}} \in \mathrm{D}_{\mathrm{Fe}}, \\ \upsilon_{\mathrm{air}} (1 + \delta_{2} \xi_{2}) & \mbox{for } {\mathbf{x}} \in \mathrm{D}_{\mathrm{air}}, \\ \upsilon_{\mathrm{PM}} (1 + \delta_{3} \xi_{3}) & \mbox{for } {\mathbf{x}} \in \mathrm{D}_{\mathrm{PM}} \end{array}\displaystyle \right . $$
(5)

with random vector \({\boldsymbol{\xi}} = (\xi_{1},\xi_{2},\xi_{3})\). Therein, the random variables \(\xi_{j}\) (\(j=1,2,3\)) are assumed to be independent and identically uniformly distributed in the interval \([-1,1]\). Thus, the parameters \(\delta_{j} > 0\) (\(j=1,2,3\)) specify the relative magnitude of the perturbation in the material parameters. For the later numerical simulations, we choose \(\delta_{j} = 0.1\) for all j, which corresponds to perturbations of 10%. Thus we have \({\boldsymbol{\xi}}: \varOmega \rightarrow[-1, 1]^{3} =: \varPi \).

For uncertainty quantification, we need the expectation and the variance among other quantities. The expected value of a function \(f : \varPi \rightarrow\mathbb{R}\), which depends on the random variables, is defined as

$$ \mathbb{E} [ f ] := \int_{\varOmega } f\bigl({\boldsymbol{\xi}}(\omega)\bigr) \, { \mathrm{d}}\mathbb{P}(\omega) = \int_{\varPi } f({\boldsymbol{\xi}}) \rho({\boldsymbol{\xi}}) \, \mathrm{d} {\boldsymbol{\xi}} $$
(6)

provided that the integral is finite. In our case of uniform random distributions, the joint probability density function is constant: \(\rho({\boldsymbol{\xi}}) = \frac{1}{8}\). Furthermore, given two functions \(f,g : \varPi \rightarrow\mathbb{R}\), the expected value (6) induces an inner product

$$ \langle f , g \rangle:=\mathbb{E} ( f g ) $$
(7)

on the Hilbert space \(L^{2}(\varOmega ) = \{ f : \mathbb{E}[ f^{2} ] < \infty\}\). The variance of a function \(f \in L^{2} (\varOmega )\) is simply

$$ \operatorname{Var} [ f ] := \mathbb{E} \bigl[ f^{2} \bigr] - \mathbb{E} [ f ]^{2} . $$
(8)

4.2 Polynomial chaos expansion

Our uncertainty quantification is based on the concept of the polynomial chaos expansion (PCE). The homogeneous polynomial chaos was introduced in [46] for Gaussian probability distributions. Later this concept was extended to other probability distributions, which resulted in the generalized polynomial chaos, see [33, 47].

Given a function \(f \in L^{2}(\varOmega )\), the associated PCE reads as

$$ f ({\boldsymbol{\xi}}) = \sum_{i=0}^{\infty}f_{i} \varPsi _{i}({\boldsymbol{\xi}}) . $$
(9)

The expansion (9) converges in the \(L^{2}\)-norm of the probability space under certain assumptions [48, 49], which are fulfilled for many random distributions such as the Gaussian, uniform and beta distribution. On the one hand, the functions \(\varPsi _{i} : \varPi \rightarrow\mathbb{R}\) represent a complete orthonormalFootnote 1 system of basis polynomials. Thus it holds that

$$\langle \varPsi _{i} , \varPsi _{j} \rangle= \left \{ \textstyle\begin{array}{l@{\quad}l} 0 & \mbox{for } i \neq j, \\ 1 & \mbox{for } i = j \end{array}\displaystyle \right . $$

using the inner product (7). These orthonormal polynomials follow from the choice of the probability distributions in the stochastic modeling. Each traditional probability distribution exhibits its own orthogonal system, see [47]. In our case, the uniform distribution implies the Legendre polynomials as basis. We remark that the multivariate polynomials are just the products of the univariate orthonormal polynomials for each random variable. On the other hand, the coefficients \(f_{i}\) in (9) satisfy the relation

$$ f_{i} = \langle f , \varPsi _{i} \rangle\quad \mbox{for each } i , $$
(10)

i.e., they result from the projection of the function f onto the basis polynomials. In our numerical simulation, these coefficients represent the unknowns, which are used to describe the desired solutions of our problem. For traditional random variables, the series (9) is convergent in the norm of \(L^{2}(\varOmega )\).

We further remark that the PCE (9) includes the information of the expected value (6) as well as the variance (8) of the function f:

$$ \mathbb{E} [ f ] = f_{0} ,\qquad \operatorname{Var} [ f ] = \sum_{i=1}^{\infty}f_{i}^{2} $$
(11)

under the assumption that \(\varPsi _{0} \equiv1\) and that the coefficients are given exactly by (10).

To enable a numerical realization, the series (9) has to be truncated at some integer \(N_{\max}\). Often all multivariate polynomials up to some total degree are included in the truncated expansion. This truncation causes that the associated variance is just an approximation of the exact variance in (11). Furthermore, the coefficients (10) are typically not given exactly, since they are influenced by numerical errors. If a function f is also space-dependent, then the PCE (9) is considered pointwise for each \({\mathbf{x}} \in{\mathrm{D}}\).

4.3 Stochastic PDE model and PCE approximation

Now, we return to our PDE problem (1). For the uncertainty quantification, we consider the case of no load state with the excitation density current \(J=0\). Consequently, in the Section 5 about the modeling and the optimization problem we will mainly focus on reducing the cogging torque (no-current torque) as an undesirable component for the operation of the ECPSM machine and on improving a wave form of the electromagnetic force when taking the uncertainties into account. Inserting the random field model for the reluctivities (5), we obtain the following stochastic forward problem for our three subdomains \(\mathrm{D} = \mathrm{D}_{\mathrm{air}} \cup\mathrm{D}_{\mathrm{Fe}} \cup\mathrm {D}_{\mathrm{PM}}\):

$$ \left \{ \textstyle\begin{array}{l@{\quad}l} \nabla\cdot ( \upsilon_{\mathrm{Fe}} ( \mathbf {x}, |\nabla A(\mathbf {x}, {\boldsymbol{\xi}})|^{2}, \xi_{1} ) \nabla A(\mathbf {x}, {\boldsymbol{\xi}}) )= 0, & \text{in } \mathrm{D}_{\mathrm{Fe}}, \\ \nabla\cdot (\upsilon_{\mathrm{air}} ( \mathbf {x}, \xi_{2} ) \nabla A(\mathbf {x}, {\boldsymbol{\xi}}) ) = 0, & \text{in } \mathrm{D}_{\mathrm{air}}, \\ \nabla\cdot ( \upsilon_{\mathrm{PM}}({{ \xi_{3} }} ) \nabla A(\mathbf {x}, {\boldsymbol{\xi}}) ) = \nabla\cdot\upsilon_{\mathrm{PM}} ({{ \xi_{3} }}) { {\mathbf{M}}}(\mathbf{x}), & \text{in } \mathrm{D}_{\mathrm{PM}}, \end{array}\displaystyle \right . $$
(12)

where \(A : \mathrm{D} \times \varOmega \rightarrow\mathbb{R}\), \(A = A({\mathbf{x}},{\boldsymbol{\xi}})\) becomes an unknown random field. This random field is approximated by a truncated PCE (9)

$$ A ( \mathbf {x}, {\boldsymbol{\xi}} ) = \sum _{i=0}^{N_{\max}} a_{i} ( \mathbf {x}) \varPsi _{i} ( {\boldsymbol{\xi}} ) $$
(13)

for some integer \(N_{\max}\) and unknown coefficient functions \(a_{i} : {\mathrm{D}} \rightarrow\mathbb{R}\), which are defined by (10) pointwise for \(\mathbf {x}\in{\mathrm{D}}\).

4.4 Stochastic collocation

There are mainly two classes of numerical methods for the approximative computation of the coefficient functions \(a_{i}\): stochastic collocation methods (SCM) and stochastic Galerkin techniques, see, e.g., [33, 49]. We apply the SCM for our problem, since this strategy represents a non-intrusive approach, where the codes for the simulation of the deterministic case can be reused in the stochastic case.

In the SCM, the probabilistic integrals (10) are approximated by a sampling scheme or a multi-dimensional quadrature formula. In fact, any quadrature formula is defined by a set of nodes \({\boldsymbol{\xi}}^{(k)} \in \varPi \) and a set of weights \(w_{k} \in\mathbb{R}\), for \(k=1,\ldots,K\). The approximations read as

$$ a_{i} ({\mathbf{x}}) = \bigl\langle A ( {\mathbf{x}}, \cdot) , \varPsi _{i}( \cdot) \bigr\rangle \approx \sum _{k=1}^{K} w_{k} A \bigl( {\mathbf{x}} , { \boldsymbol{\xi}}^{(k)} \bigr) \varPsi _{i} \bigl( {\boldsymbol{ \xi}}^{(k)} \bigr) $$
(14)

for \(i=0,1,\ldots,N_{\max}\). That is, each term in the sum (14) involves the vector potential A at a particular node in Π. Thus we have to solve our original PDE problem (1) K times for different realizations of the reluctivity. This computation can be done by separate runs of a numerical method for the deterministic case.

As multi-dimensional quadrature on \([-1,1]^{Q}\), we apply the Stroud formulas with constant weight function, see [50, 51]. This type of quadrature methods exhibits an optimality property with respect to the number of required nodes to calculate the integral exactly for all multivariate polynomials up to a total degree R. For example, it holds that \(K=2Q\) for \(R=3\) and \(K=2Q^{2}+1\) for \(R=5\).

Finally, the mean and the standard deviation are obtained from the representation (13) via

$$ \mathbb{E} \bigl[ A ( {\mathbf{x}} , \cdot ) \bigr] \approx a_{0} ({\mathbf{x}}) \quad \mbox{and}\quad \operatorname{std} \bigl[ A ( {\mathbf{x}} , \cdot ) \bigr] \approx \sqrt{ \sum _{i=1}^{N} \bigl\vert a_{i} ({ \mathbf{x}}) \bigr\vert ^{2} } $$
(15)

using the symbols \(a_{i}\) also for the approximation of the exact coefficient functions from (14) for convenience.

5 Modeling of the optimization problem

We need to define how the quality of the machine design is measured and the optimization variables as well as their variations.

5.1 Objective functions

For the optimization, one has to assess the quality of the design of a PM motor. Here we will have two ingredients, i.e., we set up a bi-objective optimization problem.

On the one hand, the assessment is based on the cogging torque fluctuations. The cogging torque T can be directly computed from the magnetic field distribution (Maxwell stress tensor method) as a function of the rotor position θ [1]:

$$ T(\mathbf{x})= \upsilon_{\mathrm{air}} \oint_{S}{{\mathbf{x}} \times \biggl( \bigl({\mathbf{n}} \cdot {\mathbf{B}}(\mathbf {x})\bigr){\mathbf{B}}(\mathbf {x}) -\frac{{|{\mathbf{B}}(\mathbf {x})|^{2}}}{2}{\mathbf{n}} \biggr) } \, \mathrm{d} {S}(\mathbf {x}), $$
(16)

where n denotes the unit outward normal vector and S a closed surface, which is located in the air-gap and surrounds the rotor. T is mainly determined by the machine’s topology.

On the other hand, the root mean square (rms) value of the magnetic field density is employed to assess the quality as second criterion. In fact, this is done only in an approximated way, see [41]: the rms is calculated along a path of length L from location \(\boldsymbol{\alpha}_{n}\) to \(\boldsymbol{\alpha}_{n+1}\), which lies completely in the air-gap:

$$ \bigl\vert B_{\mathrm{r},\mathrm{rms}} (\mathbf{x} )\bigr\vert ^{{2}}= \frac{1}{L} \int _{\boldsymbol{\alpha}_{n}}^{\boldsymbol{\alpha}_{n+1}} \bigl\vert {B}_{r}(\mathbf {x}) \bigr\vert ^{2}\, \mathrm{d} {\mathbf {x}} \geq\tau\cdot\bigl\vert {B_{\mathrm{r},\mathrm{rms}}}^{(0)}\bigr\vert ^{2}. $$
(17)

Here τ denotes an assumed level of the magnetic flux density in the air-gap, treated here as the fraction of the value \(|{B_{\mathrm {r},\mathrm{rms}}}^{(0)}|^{2}\), which is calculated for the initial configuration using (17).

Alternatively, the back-EMF (electromotive force) can be considered as a second objective in the topology optimization problem [24]. It results from the fact, that the harmonic content of the back-EMF is primarily responsible for the pulsation in the developed electromagnetic torque [9, 52]. Thus, the square of the back-EMF magnitude is defined as

$$ \bigl\vert U_{\mathrm{back}} (\mathbf{x} )\bigr\vert ^{2} := {L_{\mathrm{S}}}N_{\mathrm{wt}}{2\pi }\omega^{2} \sum_{i=1}^{m}{\frac{1}{|{\mathrm{S}}_{i}|} \int_{\mathrm{S }_{i}}\bigl\vert {\mathbf{A}}(\mathbf {x})\bigr\vert ^{2}\, \mathrm{d} {\mathbf{x}}}, $$
(18)

where \(L_{\mathrm{S}}\) refers to the axial length of the stator, \(N_{\mathrm{wt}}\) denotes the number of winding turns, \({\mathrm{S}}_{i}\) represents the cross-section area of the windings for every phase, while m specifies the number of phases.

From engineering viewpoint, both objectives, which compete each other, are very important. The first of them as a main component of the torque ripple is responsible for minimizing the noise and vibrations, which are crucial for the low-speed application. While the second function allows for ensuring possibly the bigger value of the flux density calculated in air-gap or, equivalently, the highest value of \(U_{\mathrm{back}}\). The spectrum of the latter has also impact on vibrations. As a result, it influences the electromagnetic torque as well. For a solution of the multi-objective problem the ϵ-method [13], incorporated in the LSM scheme has been applied. It means that a second criterion serves as a constraint bounded by some allowable range of parameters ϵ. On the one hand, this method requires some technical information about objectives preferences as well as the convexity of a Pareto front, what for the periodic functions is often fulfilled. On the other hand, the obtained solution might not necessary be globally non-dominated [53] due to the treatment of the \(B_{\mathrm{r}}\) objective as the fraction of areas. Therefore, in order to find a non-dominated globally solution a Pareto front technique need to be applied for a robust optimization.

5.2 Optimization variables and multi-level representation

In the course of the PM machine design optimization, the placement of iron, permanent magnets and air gaps are subject to variations. To this end, we denote the iron pole domain by \({\mathrm{D}}_{2}\), the magnet pole domain by \({\mathrm{D}}_{3}\) and the air gap region by \({\mathrm{D}}_{4}\), see Figure 4. Employing the modified multilevel set method (MLSM) [40, 41], we have to trace the two interfaces between different materials (iron/air and permanent magnet/air) by corresponding signed distance functions \(\phi_{1}\) and \(\phi_{2}\), see also Figure 4. Using the signed distance functions, we can describe the respective domains as:

$$ \begin{aligned} &\mathrm{D}_{1} =\{ {{{ \mathbf{x}}}\in\mathrm{D} \vert\phi_{1} } >0 \mbox{ and } \phi_{2} >0\}, \qquad \mathrm{D}_{2} =\{ {{{\mathbf{x}}}\in \mathrm{D} \vert\phi_{1} } >0 \mbox{ and } \phi_{2} < 0\}, \\ &\mathrm{D}_{3} =\{ {{{\mathbf{x}}}\in\mathrm{D} \vert \phi_{1} } < 0 \mbox{ and } \phi_{2} >0\}, \qquad \mathrm{D}_{4} =\{ {{{\mathbf{x}}}\in\mathrm{D} \vert \phi_{1} } < 0 \mbox{ and } \phi_{2} < 0\}. \end{aligned} $$
(19)
Figure 4
figure 4

Distribution of the signed distance function [ 35 ]. Here the shapes of rotors poles (the blue shape with black lines) are described by the zero-level set.

During optimization the signed distance functions \(\phi_{i}\) (\(i=1,2\)) are continuously adapted. Their evolution is governed by the following Hamilton-Jacobi-type equation [42]

$$ \frac{\partial\phi_{i} }{\partial t}=-\nabla\phi_{i} ( {{ {\mathbf{x}}},t} ) \frac{{\mathrm{d}}{{\mathbf{x}}}}{{\mathrm{d}}t}=V_{n, i} \vert {\nabla \phi_{i} } \vert , $$
(20)

with pseudo-time t and the normal component of the zero-level set velocity \(V_{n,i}\).

5.3 Optimization and uncertainty

For a robust optimization, that uncertainties of the reluctivities need to be included. We recall our stochastic model for the reluctivity υ (5), where \({\boldsymbol{\xi}} = (\xi_{1},\xi _{2},\xi_{3})\) denote the stochastic variations in υ for Fe, air and PM. In the multi-level set representation, the reluctivity υ and the remanent flux density coefficient \(b_{r}\) (of the PM-material, see above in (2)) become functions of the random variables ξ and the sign distance functions \(\boldsymbol{\phi} = (\phi_{1}, \phi_{2})\):

$$\begin{aligned}& \upsilon({\boldsymbol{\phi}}, {\boldsymbol{\xi}} ) = \upsilon_{1}({\xi}_{1}) H(\phi_{1}) H( \phi_{2}) +\upsilon _{2}({\xi}_{2}) H( \phi_{1} ) \bigl( {1-H(\phi_{2} )} \bigr) \\& \hphantom{\upsilon({\boldsymbol{\phi}}, {\boldsymbol{\xi}} ) ={}}{}+\upsilon_{3}({\xi}_{3}) \bigl( {1-H( \phi_{1} )} \bigr)H(\phi _{2} )+\upsilon_{4}({ \xi}_{4}) \bigl( {1-H(\phi_{1} )} \bigr) \bigl( {1-H( \phi_{2} )} \bigr), \end{aligned}$$
(21)
$$\begin{aligned}& b_{r}({\boldsymbol{\phi}}) = b_{r1}H(\phi_{1}) H(\phi_{2}) +b_{r2}H(\phi_{1} ) \bigl( {1-H( \phi_{2} )} \bigr) \\& \hphantom{b_{r}({\boldsymbol{\phi}}) ={}}{}+b_{r3} \bigl( {1-H(\phi_{1} )} \bigr)H( \phi_{2} )+b_{r4} \bigl( {1-H(\phi_{1} )} \bigr) \bigl( {1-H(\phi_{2} )} \bigr) \end{aligned}$$
(22)

with Heaviside function \(H(\cdot)\). Thus the standard level-set-based algorithm [40, 42] includes the following steps:

  1. (a)

    First, after a model initialization, using, e.g., a gradient topological method, the signed distance functions \(\phi_{i}\), \(i=1,2\) need to be calculated. In particular, it means that the shapes under colorred the consideration are described by the zero-level sets, shown on Figure 4 (without utilizing any additional parametrization function, besides a model discretization).

  2. (b)

    Based on the knowledge of the zero-level set velocity \(V_{n,i}\), modified by area constraints, for which the adjoint variable method or the continuum design sensitivity analysis might be applied, the corrections of the distribution of signed distance functions are calculated and then introduced into the model in every iteration. Here also the distribution of level sets can be modified based on the topological information. Additionally, the Tikhonov regularization or the total validation technique can be used in order to control the complexity/smoothness of the optimized shapes [6, 23].

  3. (c)

    Finally, stops criteria are checked and the optimization process is continued until they will be fulfilled.

6 Topology optimization under uncertainties

We have setup a shape optimization problem constrained by the elliptic PDEs (12) with random material variations. Now we need efficient and robust computation strategies.

6.1 Dual problem

When a nonlinear magnetostatic problem is considered, a variational formulation of a dual problem needs to be additionally formulated, e.g., [54] and [55]. In a magnetostatic case, it takes the form of

$$\begin{aligned}& \int_{\mathrm{D}_{\mathrm{F}}} \bigl(\upsilon \bigl(\mathbf {x}, |\nabla A|^{2} \bigr) \nabla\varphi\nabla\zeta \bigr) \, {\mathrm{d}} {\mathbf{x}} + \int_{\mathrm{D}_{\mathrm{F}}} \bigl(2\partial_{B}{\upsilon \bigl(\mathbf {x}, | \nabla A |^{2} \bigr)}\cdot\nabla\varphi\nabla \zeta \bigr)\, { \mathrm{d}} {\mathbf{x}} \\& \quad = \int_{\mathrm{D}_{\mathrm{F}}} ( \varphi J + {\upsilon_{\mathrm{PM}}} {\mathbf{M}} \nabla\varphi)\, {\mathrm{d}} {\mathbf{x}} \quad \mbox{for all } \varphi\in V \end{aligned}$$
(23)

with adjoint variable ζ. A discussion of the existence and uniqueness of solution of (23) can be found in [45, 54].

In the steady-state analysis and using a Newton-Raphson algorithm, the adjoint variable ζ can be computed directly. This is due to the fact that the converged system of the direct problem (4) and the adjoint problem (23) are the same [56]. This technique, the so-called frozen method was successfully applied for calculating the electromagnetic force in the nonlinear magnetostatic system [55] and for providing the on-load CT [57].

6.2 Robust topology optimization problem

The minimization of the cogging torque in our 2D magnetostatic case can be equivalently represented as the minimization of the magnetic energy \(W_{\mathrm{r}}\) variation [21, 41].

In our context of the shape optimization problem with the PDE constraint (12), the magnetic energy is defined as

$$ W_{\mathrm{r}}({\phi_{1}, \phi_{2}, { \boldsymbol{\xi}}}) = \int_{\mathrm{D}} {{\mathbf{B}}(\phi_{1}, \phi_{2}) {\mathbf{H}}(\phi_{1}, \phi_{2}) \, {\mathrm{d}} \mathbf{x}} + \sum_{i=1}^{2} {\beta_{i}} { \operatorname{TV}(\phi_{i})}. $$
(24)

Here \(\operatorname{TV}(\cdot)\) denotes the total variation regularization with given coefficient \(\beta_{i}\); it is used to control the geometrical complexity of obtained shapes [6, 40].

Now, employing the magnetic energy in the yield function of the minimization process allows us to compute the sensitivity an efficient way [21]. This reads as follows:

$$ \frac{\partial W_{\mathrm{r}}}{\partial{\mathbf{p}} }= \int_{\gamma} { ( {\upsilon}_{1} -{\upsilon}_{2} )} \nabla\times{\mathbf{A}}^{*} \cdot\nabla\times{ \mathbf{A}}^{**} - ( {\mathbf{M}}_{1} - {\mathbf{M}}_{2} ) \cdot\nabla\times{\mathbf{A}}^{**}\, \mathrm{d} \gamma,\quad \text{in } {\mathrm{D}} $$
(25)

with \({\upsilon}_{1}\) and \({\upsilon}_{2}\) as well as \({\mathbf{M}}_{1}\) and \({\mathbf{M}}_{2}\) representing reluctivities and remanent flux density for different domains, as well as \({\mathbf{A}}^{*}:=A\) and \({\mathbf{A}}^{**}:=\zeta\) denoting the magnetic vector potential in the primal and dual problem. The vector of parameters p is defined as follows \({\mathbf{p}} = ({\boldsymbol{\upsilon}}, { b_{r}})\).

Moreover, (24) is subjected to the constraint (17), where \({B}_{r}\) is replaced by \({B}_{r}(\phi_{1}, \phi_{2})\). In our optimization procedure, this constraint is realized in an approximative way. It is introduced as two separate area constraints, one for each rotor pole cf. [22, 41, 58]:

$$\begin{aligned}& G_{1}({\boldsymbol{\phi}}) =|{\mathrm{D}}_{{2}}|/|{ \mathrm{D}}_{{2_{0}}}|-S_{ {2}} = 0, \\& G_{2}({\boldsymbol{\phi}}) =|{\mathrm{D}}_{{3}}|/|{ \mathrm{D}}_{{3_{0}}}|-S_{ {3}} = 0, \end{aligned}$$

where \(S_{{2}}\) and \(S_{{3}}\) are prescribed coefficients, which is a kind of standard approach in a robust framework), while \({\mathrm{D}}_{{3_{0}}}\) and \({\mathrm{D}}_{{2_{0}}}\) represent initial areas of a PM and iron pole, respectively.

Finally, let the random space be sampled at \(K+1\) quadrature grid points (using the Stroud formula). Thus, a stochastic multi-objective topology optimization problem is formulated in terms of a robust functional [59], consisting of the expectation and the standard deviation using the WAM [13]:

$$\begin{aligned} \begin{aligned} &\min_{\boldsymbol{\phi}} \bigl( {\mathbb{E}} \bigl[ W_{\mathrm{r}}( \phi_{1}, \phi_{2}, {\boldsymbol{ \xi}} ) \bigr] +\kappa\sqrt{\operatorname{Var} \bigl[ W_{\mathrm{r}}( \phi_{1}, \phi_{2}, {\boldsymbol{\xi}} ) \bigr]} \bigr) \\ &\quad \text{s.t. } {{\mathbf{K}}} \bigl( {\upsilon}^{k} \bigr){ { \mathbf{A}}}^{k}={{\mathbf{f}}}^{k}, \quad k=0,\ldots,K, \\ &\hphantom{\quad \text{s.t. }}|{\mathrm{D}}_{2}| \leq S_{2}\cdot|{ \mathrm{D}}_{{2_{0}}}|\quad \text{and} \quad |{\mathrm{D}}_{3}| \leq S_{3}\cdot|{\mathrm{D}}_{{3_{0}}}| \end{aligned} \end{aligned}$$
(26)

with prescribed parameter \(\kappa= 3\) (analogously to three-sigma rule of thumb used in statistics and empirical science), and stiffness matrix K.

Here, one can compute the total derivative of the magnetic energy (24) on the basis of the forward analysis, only. That is, the forward model is calculated in the collocation points, while using the models for υ (21), \(b_{r}\) (22) and the sensitivity (25) as well as the coefficients of the PCE (14) and the moments (15). We remark that a similar approach was used in [60, 61] for the solution of stochastic identification/control problems for constrained PDEs with random input data. However, their type of cost functional was different. It should be also emphasized that in contrary to the work by [22] about the deterministic low ripple torque design, in our paper we deal with the low cogging torque design of the ECPSM machine under uncertainties.

7 Simulation procedure

Furthermore, the algorithm for the robust topology optimization has been implemented using the Comsol (COMSOL 3.5a, The COMSOL Inc., Burlington, MA, 2008) and Matlab (MATLAB 7.10, The MathWorks Inc., Natick, MA, 2010) scripts. Thus the Finite Element method is used to solve both the weak formulations of primary and dual system, defined by (4) and (23), respectively. The respective triangular mesh consists of 81,016 elements with each second order Lagrange polynomials for the A-formulation. As a reluctivity model for iron parts, the soft iron material without losses has been applied and a standard spline interpolation of measured data are used for the nonlinear dependence on \(|\nabla A|^{2}\). The computation time (wall clock time) for a fixed position of rotor and stator in our configuration was about 30.31 s. This did involve \(163\text{,}283\) degrees of freedom. Additionally, every rotor pole has been divided into 468 voxels. This applies to PM and iron pole, separately. The UQ analysis has been performed using the software implemented by [62]. The Stroud-5 formula has been used for this purpose. The optimized shapes of rotor poles have been found in the 10th iteration of the optimization process. We have applied the Stroud-3 formula in order to obtain the final results for the UQ analysis of the CT, the back EMF, the electromagnetic torque and the magnetic flux density in the air-gap, respectively.

8 Numerical results

The above described procedure has been applied to design the rotor poles of the ECPSM for no-load state, Figure 2, with parameters in Table 1 Subject to optimization is the shape of the iron pole and the PM pole. The initial domains of the respective poles and the corresponding field in the ECPSM machine are represented in Figure 5. This is the starting point for the optimization. In addition, the reluctivities are assumed to be uncertain (5) with maximum deviation of 10%Footnote 2 for the respective nominal value. The rotor poles after optimization are depicted in Figure 6.Footnote 3

Figure 5
figure 5

An initial topology of the ECPSM [ 35 ].

Figure 6
figure 6

The optimized topology of the ECPSM [ 35 ].

Afterwards, to discuss the quality of the design, the CT is computed for two periods of both the initial and the optimized topology. And the interaction of the stator teeth with the rotor poles is investigated. The results for the mean and standard deviation of the CT are depicted in Figure 7. The peak value of the mean value of the CT is reduced about 83%. In order to investigate the influence the robust optimization on the back EMF and the magnetic flux density in the air-gap under rotor poles, we show the mean and standard deviation calculated for both considered quantities in Figures 8 and 9, respectively. Additionally, for the last quantity we perform a spectral analysis using FFT, which is depicted on Figure 10. Based on this we are able to calculate the total harmonic distortion (THD)Footnote 4 factor that allows for assessing the improvement of waveform of the back EMF, which in our case becomes around 32%.

Figure 7
figure 7

Mean and standard deviation for initial and optimized topology of the ECPSM: cogging torque versus mechanical degree.

Figure 8
figure 8

Mean and standard deviation for initial and optimized topology of the ECPSM: magnetic flux density in the air-gap under magnet and iron poles.

Figure 9
figure 9

Mean and standard deviation for initial and optimized topology of the ECPSM: back-EMF waveforms versus electric degree.

Figure 10
figure 10

FFT analysis of the back EMF mean for initial and optimized model of ECPSM.

Finally, we also computed the electromagnetic torque, shown on Figure 11. It means that we analyzed the machine in an on-load mode with defined excitation currents defined the right side of equation (1). The detailed analysis for the machine before and after the optimization is presented in the form of Table 2. Unfortunately, we have also to report that the root mean square of the flux density in the air-gap, the back EMF and the electromagnetic torque are decreased by around 15%, 10% and 17%, respectively. Surely this can be seen as a drawback of the proposed method. On the other hand, robustness is included.

Figure 11
figure 11

Mean and standard deviation for initial and optimized topology of the ECPSM: electromagnetic torque versus electric degree.

Table 2 Values of some physical parameters of the ECPSM model before and after optimization

9 Conclusion

In this paper we demonstrated how to combine the stochastic collocation method (SCM) with the multi-level set method (MLSM) and how to apply this technique efficiently for the robust topology optimization of a PM synchronous machine. In the end, the shape of rotor poles were optimized also with respect to the level of noise and vibrations. This did result in significant reductions of both the rms of the CT (82%) and the mean value of the standard deviation (43%). Thereby we were able to take variations with respect to manufacturing tolerances/imperfections into account by assuming a random field for the reluctivities. As a drawback, we reported a small decrease in the root mean square values of the electromagnetic torque and back EMF. However, it should be noticed that aims of the low cogging torque robust topology optimization (the electric machine in the no-load mode) have been completely fulfilled. Additionally, the waveform has been considerably improved about 32%, while the torque ripple has been reduced around 52%. The detailed analysis presented in Table 2 indicates that further research should be focused on the low ripple torque robust design in the on-load state (with excitation currents included). Then, the robust optimization of the electric machine could be performed when taking both the ripple torque and the average electromagnetic torque into account. This is considered as a further direction of our investigation. This work also highlights the effectiveness of the proposed methodology.