-
Topology optimization for the design of porous electrodes
Authors:
Thomas Roy,
Miguel A. Salazar de Troya,
Marcus A. Worsley,
Victor A. Beck
Abstract:
Porous electrodes are an integral part of many electrochemical devices since they have high porosity to maximize electrochemical transport and high surface area to maximize activity. Traditional porous electrode materials are typically homogeneous, stochastic collections of small scale particles and offer few opportunities to engineer higher performance. Fortunately, recent breakthroughs in advanc…
▽ More
Porous electrodes are an integral part of many electrochemical devices since they have high porosity to maximize electrochemical transport and high surface area to maximize activity. Traditional porous electrode materials are typically homogeneous, stochastic collections of small scale particles and offer few opportunities to engineer higher performance. Fortunately, recent breakthroughs in advanced and additive manufacturing are yielding new methods to structure and pattern porous electrodes across length scales. These architected electrodes are emerging as a promising new technology to continue to drive improvement; however, it is still unclear which structures to employ and few tools are available to guide their design. In this work we address this gap by applying topology optimization to the design of porous electrodes. We demonstrate our framework on two applications: a porous electrode driving a steady Faradaic reaction and a transiently operated electrode in a supercapacitor. We present computationally designed electrodes that minimize energy losses in a half-cell. For low conductivity materials, the optimization algorithm creates electrode designs with a hierarchy of length scales. Further, the designed electrodes are found to outperform undesigned, homogeneous electrodes. Finally, we present three-dimensional porous electrode designs. We thus establish a topology optimization framework for designing porous electrodes.
△ Less
Submitted 19 May, 2022; v1 submitted 23 November, 2021;
originally announced November 2021.
-
Three-dimensional topology optimization of heat exchangers with the level-set method
Authors:
Miguel A. Salazar de Troya,
Daniel A. Tortorelli,
Julian Andrej,
Victor A. Beck
Abstract:
We design heat exchangers using level-set method based topology optimization. The heat exchange between two fluids in separate channels is maximized while constraining the pressure drop across each channel. The flow is modeled by an incompressible Navier-Stokes-Brinkmann equation and the heat transfer is modeled by a convection-diffusion equation with high Peclet number. Each fluid region is subje…
▽ More
We design heat exchangers using level-set method based topology optimization. The heat exchange between two fluids in separate channels is maximized while constraining the pressure drop across each channel. The flow is modeled by an incompressible Navier-Stokes-Brinkmann equation and the heat transfer is modeled by a convection-diffusion equation with high Peclet number. Each fluid region is subject to its own set of Navier-Stokes-Brinkmann equations where the Brinkmann term models the other fluid as solid, thereby preventing mixing. A level-set defines the interface that separates the two fluids. The Hamilton-Jacobi equation advects the level-set, allowing for topological changes of the channels. The velocity of the Hamilton-Jacobi equation is defined by the shape derivatives of the cost and constraint functions with respect to normal interface perturbations. We present results in three-dimensions with different heat exchanger configurations and operating conditions.
△ Less
Submitted 17 November, 2021;
originally announced November 2021.
-
Another source of mesh dependence in topology optimization
Authors:
Miguel A. Salazar de Troya,
Geoffrey M. Oxberry,
Cosmin G. Petra,
Daniel A Tortorelli
Abstract:
The topology optimization community has regularly employed nonlinear programming (NLP) algorithms from the operations research community. However, these algorithms are implemented in the real vector space $\mathbb{R}^n$ instead of the proper function space where the design variable resides. In this article, we show how the volume fraction variable discretization on non-uniform meshes affects the c…
▽ More
The topology optimization community has regularly employed nonlinear programming (NLP) algorithms from the operations research community. However, these algorithms are implemented in the real vector space $\mathbb{R}^n$ instead of the proper function space where the design variable resides. In this article, we show how the volume fraction variable discretization on non-uniform meshes affects the convergence of $\mathbb{R}^n$ based NLP algorithms. We do so by first summarizing the functional analysis tools necessary to understand why convergence is affected by the mesh. Namely, the distinction between derivative definitions and the role of the mesh-dependent inner product within the NLP algorithm. These tools are then used to make the Globally Convergent Method of Moving Asymptotes (GCMMA), a popular NLP algorithm in the topology optimization community, converge in a mesh independent fashion when starting from the same initial design. We then benchmark our algorithms with three common problems in topology optimization.
△ Less
Submitted 2 November, 2021; v1 submitted 22 June, 2021;
originally announced June 2021.
-
Computing $\mathcal{L}$-invariants via the Greenberg-Stevens formula
Authors:
Samuele Anni,
Gebhard Boeckle,
Peter Mathias Graef,
Alvaro Troya
Abstract:
In this article, we describe how to compute slopes of $p$-adic $\mathcal{L}$-invariants of arbitrary weight and level by means of the Greenberg-Stevens formula. Our method is based on work of Lauder and Vonk on computing the reverse characteristic series of the $U_p$ operator on overconvergent modular forms. Using higher derivatives of this characteristic series, we construct a polynomial whose ze…
▽ More
In this article, we describe how to compute slopes of $p$-adic $\mathcal{L}$-invariants of arbitrary weight and level by means of the Greenberg-Stevens formula. Our method is based on work of Lauder and Vonk on computing the reverse characteristic series of the $U_p$ operator on overconvergent modular forms. Using higher derivatives of this characteristic series, we construct a polynomial whose zeros are precisely the $\mathcal{L}$-invariants appearing in the corresponding space of modular forms with fixed sign of the Atkin-Lehner involution at $p$. In addition, we describe how to compute this polynomial efficiently. In the final section, we give computational evidence for relations between slopes of $\mathcal{L}$-invariants for small primes.
△ Less
Submitted 28 January, 2019; v1 submitted 26 July, 2018;
originally announced July 2018.