为我编写一个python函数，使其能接受一个数组，使用matplotlib库，绘制其双向链表的演示图，并且要求能够表示表头，并且能将输入的数组内第一个与最后一个元素相连接

好的，下面是一个实现双向链表演示图的 Python 函数：

import matplotlib.pyplot as plt

def plot_doubly_linked_list(arr):
    # 构建链表节点
    class Node:
        def __init__(self, val):
            self.val = val
            self.prev = None
            self.next = None
    
    # 构建双向链表
    head = Node("head")
    cur = head
    for val in arr:
        node = Node(val)
        cur.next = node
        node.prev = cur
        cur = node
    tail = Node("tail")
    cur.next = tail
    tail.prev = cur
    tail.next = head.next
    head.next.prev = tail
    
    # 绘制链表图像
    fig, ax = plt.subplots()
    node = head.next
    x, y = [0], [0]
    while node is not tail:
        x.append(x[-1] + 1)
        y.append(y[-1])
        ax.arrow(x[-2], y[-1], 1, 0, head_width=0.1, length_includes_head=True)
        ax.text(x[-2] + 0.5, y[-1], node.val, ha="center", va="center")
        node = node.next
    ax.text(x[-1] + 0.5, y[-1], tail.val, ha="center", va="center")
    ax.axis("off")
    plt.show()

这个函数接受一个数组作为输入，然后先构建出该数组对应的双向链表，并使用 `matplotlib` 库绘制出链表的图像。其中，链表头和链表尾分别用节点 "head" 和 "tail" 来表示，并且使得输入的数组的第一个元素和最后一个元素在双向链表中相连接。